Welcome to the Physics Derivation Graph

MESSAGES:

Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
invalid syntax (<string>, line 0)
Type Tuple cannot be instantiated; use tuple() instead
invalid syntax (<string>, line 0)
invalid syntax (<string>, line 0)

Return to navigation page or list derivations

Review particle in a 1D box

abstract:
reference:

step	inference rule	input	feed	output	validity (as per SymPy)
20	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	9988949211 $(\sin(x))^2=\frac{1 - \cos(2 x)}{2}$	0004934845 $x$ 0009484724 $\frac{n \pi}{W}x$	7575738420 $\left(\sin\left(\frac{n \pi}{W}x\right) \right)^2=\frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2}$	LHS diff is 0 RHS diff is cos(2pdg0001464pdg0001592pdg0003141/pdg0002523)/2 - cos(2pdg0001592pdg0003141pdg0004037/pdg0002523)/2
32	ID: 111524; square root both sides number of inputs: 1; feeds: 0; outputs: 2 Take the square root of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2} and Eq.~\\ref{eq:#3}.	8485867742 $\frac{2}{W}=a^2$		9485747245 $\sqrt{\frac{2}{W}}=a$ 9485747246 $-\sqrt{\frac{2}{W}}=a$	recognized infrule but not yet supported
2	ID: 111237; declare guess solution number of inputs: 1; feeds: 0; outputs: 1 Judicious choice as a guessed solution to Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2},	5727578862 $\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)$		8582885111 $\psi(x)=a \sin(kx) + b \cos(kx)$	no validation is available for declarations
33	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9485747245 $\sqrt{\frac{2}{W}}=a$ 2944838499 $\psi(x)=a \sin(\frac{n \pi}{W} x)$		9393939991 $\psi(x)=-\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)$	LHS diff is 0 RHS diff is pdg0009139sin(pdg0001592pdg0003141pdg0004037/pdg0002523) + sqrt(2)sqrt(1/pdg0002523)sin(pdg0001464pdg0001592*pdg0003141/pdg0002523)
27	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	5857434758 $\int a dx=a x$	0002929944 $1/2$ 0004948585 $a$	8575746378 $\int \frac{1}{2} dx=\frac{1}{2} x$	Type Tuple cannot be instantiated; use tuple() instead
38	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8575748999 $\frac{d^2}{dx^2} \left(a \sin(k x) + b \cos(k x) \right)=-k^2 \left(a \sin(kx) + b \cos(kx) \right)$		8485757728 $a \frac{d^2}{dx^2}\sin(kx) + b \frac{d^2}{dx^2}\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(kx)$	invalid syntax (<string>, line 0)
26	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			5857434758 $\int a dx=a x$	no validation is available for declarations
24	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			0948572140 $\int \cos(a x) dx=\frac{1}{a}\sin(a x)$	no validation is available for declarations
28	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8575746378 $\int \frac{1}{2} dx=\frac{1}{2} x$ 1202310110 $\frac{1}{a^2}=\int_0^W \frac{1}{2} dx - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx$		1202312210 $\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx$	Type Tuple cannot be instantiated; use tuple() instead
34	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2944838499 $\psi(x)=a \sin(\frac{n \pi}{W} x)$ 9485747246 $-\sqrt{\frac{2}{W}}=a$		9393939992 $\psi(x)=\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)$	LHS diff is -sqrt(2)sqrt(1/pdg0002523) - pdg0009489(pdg0001464) RHS diff is pdg0009139 - sqrt(2)sqrt(1/pdg0002523)sin(pdg0001464pdg0001592*pdg0003141/pdg0002523)
23	ID: 111581; expand integrand number of inputs: 1; feeds: 0; outputs: 1 Expand integrand of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9858028950 $\frac{1}{a^2}=\int_0^W \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx$		1202310110 $\frac{1}{a^2}=\int_0^W \frac{1}{2} dx - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx$	recognized infrule but not yet supported
13	ID: 111493; normalization condition number of inputs: 0; feeds: 0; outputs: 1 Normalization condition is Eq.~\\ref{eq:#1}.			1934748140 $\int \|\psi(x)\|^2 dx=1$	no validation is available for assumptions
17	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4857472413 $1=\int \psi(x)\psi(x)^* dx$ 2944838499 $\psi(x)=a \sin(\frac{n \pi}{W} x)$		0203024440 $1=\int_0^W a \sin\left(\frac{n \pi}{W} x\right) \psi(x)^* dx$	invalid syntax (<string>, line 0)
25	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	0948572140 $\int \cos(a x) dx=\frac{1}{a}\sin(a x)$	0009485858 $\frac{2n\pi}{W}$ 0004831494 $a$	7564894985 $\int \cos\left(\frac{2n\pi}{W} x\right) dx=\frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right)$	Type Tuple cannot be instantiated; use tuple() instead
15	ID: 111268; swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	1934748140 $\int \|\psi(x)\|^2 dx=1$		8572657110 $1=\int \|\psi(x)\|^2 dx$	Type Tuple cannot be instantiated; use tuple() instead
37	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8582885111 $\psi(x)=a \sin(kx) + b \cos(kx)$ 5727578862 $\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)$		8575748999 $\frac{d^2}{dx^2} \left(a \sin(k x) + b \cos(k x) \right)=-k^2 \left(a \sin(kx) + b \cos(kx) \right)$	invalid syntax (<string>, line 0)
18	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0203024440 $1=\int_0^W a \sin\left(\frac{n \pi}{W} x\right) \psi(x)^* dx$ 8849289982 $\psi(x)^*=a \sin(\frac{n \pi}{W} x)$		8889444440 $1=\int_0^W a^2 \left(\sin\left(\frac{n \pi}{W} x\right) \right)^2 dx$	Type Tuple cannot be instantiated; use tuple() instead
14	ID: 111996; conjugate function X number of inputs: 1; feeds: 1; outputs: 1 Conjugate $#1$ in Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2944838499 $\psi(x)=a \sin(\frac{n \pi}{W} x)$	0009587738 $\psi$	8849289982 $\psi(x)^*=a \sin(\frac{n \pi}{W} x)$	recognized infrule but not yet supported
31	ID: 111182; multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4857475848 $\frac{1}{a^2}=\frac{W}{2}$	0009485857 $a^2\frac{2}{W}$	8485867742 $\frac{2}{W}=a^2$	valid
22	ID: 111975; divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	8576785890 $1=\int_0^W a^2 \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx$	0000040490 $a^2$	9858028950 $\frac{1}{a^2}=\int_0^W \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx$	Type Tuple cannot be instantiated; use tuple() instead
40	ID: 111345; claim LHS equals RHS number of inputs: 1; feeds: 0; outputs: 0 Thus we see that LHS of Eq.~\\ref{eq:#1} is equal to RHS.	8484544728 $-a k^2\sin(k x) + -b k^2\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(k x)$			invalid syntax (<string>, line 0)
16	ID: 111166; expand magnitude to conjugate number of inputs: 1; feeds: 1; outputs: 1 Expand $#1$ in Eq.~\\ref{eq:#2} with conjugate; yields Eq.~\\ref{eq:#3}.	8572657110 $1=\int \|\psi(x)\|^2 dx$	0009458842 $\psi(x)$	4857472413 $1=\int \psi(x)\psi(x)^* dx$	recognized infrule but not yet supported
35	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9393939992 $\psi(x)=\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)$			no validation is available for declarations
30	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	0439492440 $\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2}\left. \frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right) \right\|_0^W$		4857475848 $\frac{1}{a^2}=\frac{W}{2}$	LHS diff is 0 RHS diff is -pdg0002523sin(2pdg0001592pdg0003141pdg0004037/pdg0002523)/(4pdg0001592pdg0003141)
19	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			9988949211 $(\sin(x))^2=\frac{1 - \cos(2 x)}{2}$	no validation is available for declarations
29	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	1202312210 $\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx$ 7564894985 $\int \cos\left(\frac{2n\pi}{W} x\right) dx=\frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right)$		0439492440 $\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2}\left. \frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right) \right\|_0^W$	Type Tuple cannot be instantiated; use tuple() instead
5	ID: 111355; LHS of expr 1 equals LHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 LHS of Eq.~\\ref{eq:#1} is equal to LHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9585727710 $\psi(x=0)=0$ 8582885111 $\psi(x)=a \sin(kx) + b \cos(kx)$		8577275751 $0=a \sin(0) + b\cos(0)$	input diff is -pdg0009489(pdg0004037) + pdg0009489(Eq(pdg0001464, 0)) diff is 0 diff is pdg0001939cos(pdg0004037pdg0005321) - pdg0001939 + pdg0009139sin(pdg0004037pdg0005321)
7	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	1293913110 $0=b$ 8582885111 $\psi(x)=a \sin(kx) + b \cos(kx)$		9059289981 $\psi(x)=a \sin(k x)$	invalid syntax (<string>, line 0)
3	ID: 111802; boundary condition for expression number of inputs: 1; feeds: 0; outputs: 1 A boundary condition for Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2}	5727578862 $\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)$		9585727710 $\psi(x=0)=0$	no validation is available for assumptions
4	ID: 111802; boundary condition for expression number of inputs: 1; feeds: 0; outputs: 1 A boundary condition for Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2}	5727578862 $\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)$		9495857278 $\psi(x=W)=0$	no validation is available for assumptions
10	ID: 111698; expr 1 is true under condition expr 2 number of inputs: 2; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is valid when Eq.~\\ref{eq:#2} occurs; yields Eq.~\\ref{eq:#3}.	1857710291 $0=a \sin(n \pi)$ 1020010291 $0=a \sin(k W)$		1010923823 $k W=n \pi$	recognized infrule but not yet supported
9	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			1857710291 $0=a \sin(n \pi)$	no validation is available for declarations
12	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9059289981 $\psi(x)=a \sin(k x)$ 1858772113 $k=\frac{n \pi}{W}$		2944838499 $\psi(x)=a \sin(\frac{n \pi}{W} x)$	invalid syntax (<string>, line 0)
6	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8577275751 $0=a \sin(0) + b\cos(0)$		1293913110 $0=b$	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5727578862 $\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)$	no validation is available for declarations
21	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8889444440 $1=\int_0^W a^2 \left(\sin\left(\frac{n \pi}{W} x\right) \right)^2 dx$ 7575738420 $\left(\sin\left(\frac{n \pi}{W}x\right) \right)^2=\frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2}$		8576785890 $1=\int_0^W a^2 \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx$	Type Tuple cannot be instantiated; use tuple() instead
11	ID: 111975; divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	1010923823 $k W=n \pi$	0001334112 $W$	1858772113 $k=\frac{n \pi}{W}$	valid
39	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8485757728 $a \frac{d^2}{dx^2}\sin(kx) + b \frac{d^2}{dx^2}\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(kx)$		8484544728 $-a k^2\sin(k x) + -b k^2\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(k x)$	invalid syntax (<string>, line 0)
8	ID: 111355; LHS of expr 1 equals LHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 LHS of Eq.~\\ref{eq:#1} is equal to LHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9495857278 $\psi(x=W)=0$ 9059289981 $\psi(x)=a \sin(k x)$		1020010291 $0=a \sin(k W)$	invalid syntax (<string>, line 0)

Hold the mouse over a node to highlight that node and its neighbors. You can zoom in/out. You can pan the image. You can move nodes by clicking and dragging.

Actions: Edit Derivation

Generate Tex file or PDF file

Delete Derivation and all associated steps

This does not remove expressions, symbols, and operations.

timing of Neo4j queries:

0.005 seconds for pdg_app/to_review_derivation: node_properties, derivation1950981
0.026 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3006581
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9954091
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9954091
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9954091
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9954091
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index3006581
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9107698
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9107698
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9107698
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9107698
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9374452
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9374452
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9374452
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9374452
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4202380
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4202380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4202380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4202380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3148133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3148133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3148133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3148133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6061136
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6061136
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6061136
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6061136
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9719488
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9719488
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9719488
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9719488
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9945717
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9945717
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9945717
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9945717
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9591214
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9591214
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9591214
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9591214
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1873289
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1873289
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1873289
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1873289
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9097958
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9097958
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9097958
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9097958
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4233977
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4233977
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4233977
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4233977
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1824852
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1824852
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1824852
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1824852
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6377511
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6377511
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6377511
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6377511
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7723961
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7723961
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7723961
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7723961
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9755220
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9755220
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9755220
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9755220
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3791459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3791459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3791459
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3791459
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4975939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4975939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4975939
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4975939
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1479202
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1479202
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1479202
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1479202
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7576289
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7576289
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7576289
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7576289
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2199337
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2199337
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2199337
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2199337
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5312238
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5312238
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5312238
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5312238
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4224653
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4224653
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4224653
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4224653
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7941622
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7941622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7941622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7941622
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1564685
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1564685
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1564685
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1564685
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9661392
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9661392
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9661392
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9661392
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8822391
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8822391
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8822391
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8822391
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3783060
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3783060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3783060
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3783060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2996188
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2996188
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2996188
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2996188
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4882760
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4882760
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4882760
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4882760
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7995096
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7995096
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7995096
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7995096
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5459433
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5459433
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5459433
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5459433
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8994733
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8994733
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8994733
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8994733
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7839900
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7839900
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7839900
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7839900
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2642979
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2642979
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2642979
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2642979
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8479638
0.025 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8479638
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8479638
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8479638
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7945281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7945281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7945281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7945281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8727865
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8727865
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8727865
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8727865
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5173592
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5173592
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5173592
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5173592
0.011 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1950981
0.01 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1950981000010
0.017 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule1950981
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6792432
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6792432
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6792432
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6792432
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1174292
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1174292
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1174292
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1174292
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2424925
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2424925
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2424925
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2424925
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9720338
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9720338
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9720338
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9720338
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4241456
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4241456
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4241456
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4241456
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4040062
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4040062
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4040062
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4040062
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3621504
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3621504
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3621504
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3621504
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4121036
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4121036
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4121036
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4121036
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9652226
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9652226
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9652226
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9652226
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9284116
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9284116
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9284116
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9284116
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4651852
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4651852
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4651852
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4651852
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8544765
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8544765
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8544765
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8544765
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2271208
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2271208
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2271208
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2271208
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4251065
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4251065
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4251065
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4251065
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2018532
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2018532
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2018532
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2018532
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2540476
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2540476
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2540476
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2540476
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9011393
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9011393
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9011393
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9011393
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8993479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8993479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8993479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8993479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4938918
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4938918
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4938918
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4938918
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1406037
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1406037
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1406037
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1406037
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5906011
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5906011
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5906011
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5906011
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2598096
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2598096
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2598096
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2598096
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5405242
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5405242
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5405242
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5405242
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9341460
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9341460
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9341460
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9341460
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6190990
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6190990
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6190990
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6190990
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8692444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8692444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8692444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8692444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5094263
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5094263
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5094263
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5094263
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6730753
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6730753
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6730753
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6730753
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2937307
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2937307
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2937307
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2937307
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1272993
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1272993
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1272993
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1272993
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9479069
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9479069
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9479069
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9479069
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8273905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8273905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8273905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8273905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2885946
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2885946
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2885946
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2885946
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8751358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8751358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8751358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8751358
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3147652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3147652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3147652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3147652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4961879
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4961879
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4961879
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4961879
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3471379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3471379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3471379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3471379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9721297
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9721297
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9721297
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9721297
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2173660
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2173660
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2173660
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2173660
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5334834
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5334834
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5334834
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5334834
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4499328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4499328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4499328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4499328
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1152134
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1152134
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1152134
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1152134
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4628330
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4628330
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4628330
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4628330
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7577679
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7577679
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7577679
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7577679
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8555118
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8555118
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8555118
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8555118
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2239295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2239295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2239295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2239295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9280668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9280668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9280668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9280668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4307380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4307380
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4307380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4307380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7844856
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7844856
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7844856
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7844856
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5297772
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5297772
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5297772
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5297772
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2384375
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2384375
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2384375
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2384375
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1885399
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1885399
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1885399
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1885399
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3633044
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3633044
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3633044
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3633044
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5154854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5154854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5154854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5154854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5087630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5087630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5087630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5087630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7753767
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7753767
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7753767
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7753767
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1027478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1027478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1027478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1027478
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3330132
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3330132
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3330132
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3330132
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2340551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2340551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2340551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2340551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9182921
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9182921
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9182921
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9182921
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2412964
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2412964
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2412964
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2412964
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1644778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1644778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1644778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1644778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9428295
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9428295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9428295
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9428295
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5994683
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5994683
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5994683
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5994683
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1228376
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1228376
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1228376
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1228376
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3500872
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3500872
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3500872
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3500872
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1071006
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1071006
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1071006
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1071006
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4818630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4818630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4818630
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4818630
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1529601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1529601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1529601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1529601
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8155275
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8155275
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8155275
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8155275
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3003905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3003905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3003905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3003905
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4978308
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4978308
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4978308
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4978308
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7843571
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7843571
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7843571
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7843571
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6428566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6428566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6428566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6428566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5650060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5650060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5650060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5650060
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8870045
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8870045
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8870045
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8870045
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3393866
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3393866
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3393866
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3393866
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9412481
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9412481
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9412481
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9412481

step	inference rule	input	feed	output	validity (as per SymPy)
20	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	9988949211 \((\sin(x))^2=\frac{1 - \cos(2 x)}{2}\)	0004934845 \(x\) 0009484724 \(\frac{n \pi}{W}x\)	7575738420 \(\left(\sin\left(\frac{n \pi}{W}x\right) \right)^2=\frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2}\)	LHS diff is 0 RHS diff is cos(2pdg0001464pdg0001592pdg0003141/pdg0002523)/2 - cos(2pdg0001592pdg0003141pdg0004037/pdg0002523)/2
32	ID: 111524; square root both sides number of inputs: 1; feeds: 0; outputs: 2 Take the square root of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2} and Eq.~\\ref{eq:#3}.	8485867742 \(\frac{2}{W}=a^2\)		9485747245 \(\sqrt{\frac{2}{W}}=a\) 9485747246 \(-\sqrt{\frac{2}{W}}=a\)	recognized infrule but not yet supported
2	ID: 111237; declare guess solution number of inputs: 1; feeds: 0; outputs: 1 Judicious choice as a guessed solution to Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2},	5727578862 \(\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)\)		8582885111 \(\psi(x)=a \sin(kx) + b \cos(kx)\)	no validation is available for declarations
33	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9485747245 \(\sqrt{\frac{2}{W}}=a\) 2944838499 \(\psi(x)=a \sin(\frac{n \pi}{W} x)\)		9393939991 \(\psi(x)=-\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)\)	LHS diff is 0 RHS diff is pdg0009139sin(pdg0001592pdg0003141pdg0004037/pdg0002523) + sqrt(2)sqrt(1/pdg0002523)sin(pdg0001464pdg0001592*pdg0003141/pdg0002523)
27	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	5857434758 \(\int a dx=a x\)	0002929944 \(1/2\) 0004948585 \(a\)	8575746378 \(\int \frac{1}{2} dx=\frac{1}{2} x\)	Type Tuple cannot be instantiated; use tuple() instead
38	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8575748999 \(\frac{d^2}{dx^2} \left(a \sin(k x) + b \cos(k x) \right)=-k^2 \left(a \sin(kx) + b \cos(kx) \right)\)		8485757728 \(a \frac{d^2}{dx^2}\sin(kx) + b \frac{d^2}{dx^2}\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(kx)\)	invalid syntax (<string>, line 0)
26	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			5857434758 \(\int a dx=a x\)	no validation is available for declarations
24	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			0948572140 \(\int \cos(a x) dx=\frac{1}{a}\sin(a x)\)	no validation is available for declarations
28	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8575746378 \(\int \frac{1}{2} dx=\frac{1}{2} x\) 1202310110 \(\frac{1}{a^2}=\int_0^W \frac{1}{2} dx - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx\)		1202312210 \(\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx\)	Type Tuple cannot be instantiated; use tuple() instead
34	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2944838499 \(\psi(x)=a \sin(\frac{n \pi}{W} x)\) 9485747246 \(-\sqrt{\frac{2}{W}}=a\)		9393939992 \(\psi(x)=\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)\)	LHS diff is -sqrt(2)sqrt(1/pdg0002523) - pdg0009489(pdg0001464) RHS diff is pdg0009139 - sqrt(2)sqrt(1/pdg0002523)sin(pdg0001464pdg0001592*pdg0003141/pdg0002523)
23	ID: 111581; expand integrand number of inputs: 1; feeds: 0; outputs: 1 Expand integrand of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9858028950 \(\frac{1}{a^2}=\int_0^W \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx\)		1202310110 \(\frac{1}{a^2}=\int_0^W \frac{1}{2} dx - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx\)	recognized infrule but not yet supported
13	ID: 111493; normalization condition number of inputs: 0; feeds: 0; outputs: 1 Normalization condition is Eq.~\\ref{eq:#1}.			1934748140 \(\int \|\psi(x)\|^2 dx=1\)	no validation is available for assumptions
17	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4857472413 \(1=\int \psi(x)\psi(x)^* dx\) 2944838499 \(\psi(x)=a \sin(\frac{n \pi}{W} x)\)		0203024440 \(1=\int_0^W a \sin\left(\frac{n \pi}{W} x\right) \psi(x)^* dx\)	invalid syntax (<string>, line 0)
25	ID: 111886; change variable X to Y number of inputs: 1; feeds: 2; outputs: 1 Change variable $#1$ to $#2$ in Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	0948572140 \(\int \cos(a x) dx=\frac{1}{a}\sin(a x)\)	0009485858 \(\frac{2n\pi}{W}\) 0004831494 \(a\)	7564894985 \(\int \cos\left(\frac{2n\pi}{W} x\right) dx=\frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right)\)	Type Tuple cannot be instantiated; use tuple() instead
15	ID: 111268; swap LHS with RHS number of inputs: 1; feeds: 0; outputs: 1 Swap LHS of Eq.~\\ref{eq:#1} with RHS; yields Eq.~\\ref{eq:#2}.	1934748140 \(\int \|\psi(x)\|^2 dx=1\)		8572657110 \(1=\int \|\psi(x)\|^2 dx\)	Type Tuple cannot be instantiated; use tuple() instead
37	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8582885111 \(\psi(x)=a \sin(kx) + b \cos(kx)\) 5727578862 \(\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)\)		8575748999 \(\frac{d^2}{dx^2} \left(a \sin(k x) + b \cos(k x) \right)=-k^2 \left(a \sin(kx) + b \cos(kx) \right)\)	invalid syntax (<string>, line 0)
18	ID: 111556; substitute LHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	0203024440 \(1=\int_0^W a \sin\left(\frac{n \pi}{W} x\right) \psi(x)^* dx\) 8849289982 \(\psi(x)^*=a \sin(\frac{n \pi}{W} x)\)		8889444440 \(1=\int_0^W a^2 \left(\sin\left(\frac{n \pi}{W} x\right) \right)^2 dx\)	Type Tuple cannot be instantiated; use tuple() instead
14	ID: 111996; conjugate function X number of inputs: 1; feeds: 1; outputs: 1 Conjugate $#1$ in Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	2944838499 \(\psi(x)=a \sin(\frac{n \pi}{W} x)\)	0009587738 \(\psi\)	8849289982 \(\psi(x)^*=a \sin(\frac{n \pi}{W} x)\)	recognized infrule but not yet supported
31	ID: 111182; multiply both sides by number of inputs: 1; feeds: 1; outputs: 1 Multiply both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	4857475848 \(\frac{1}{a^2}=\frac{W}{2}\)	0009485857 \(a^2\frac{2}{W}\)	8485867742 \(\frac{2}{W}=a^2\)	valid
22	ID: 111975; divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	8576785890 \(1=\int_0^W a^2 \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx\)	0000040490 \(a^2\)	9858028950 \(\frac{1}{a^2}=\int_0^W \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx\)	Type Tuple cannot be instantiated; use tuple() instead
40	ID: 111345; claim LHS equals RHS number of inputs: 1; feeds: 0; outputs: 0 Thus we see that LHS of Eq.~\\ref{eq:#1} is equal to RHS.	8484544728 \(-a k^2\sin(k x) + -b k^2\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(k x)\)			invalid syntax (<string>, line 0)
16	ID: 111166; expand magnitude to conjugate number of inputs: 1; feeds: 1; outputs: 1 Expand $#1$ in Eq.~\\ref{eq:#2} with conjugate; yields Eq.~\\ref{eq:#3}.	8572657110 \(1=\int \|\psi(x)\|^2 dx\)	0009458842 \(\psi(x)\)	4857472413 \(1=\int \psi(x)\psi(x)^* dx\)	recognized infrule but not yet supported
35	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9393939992 \(\psi(x)=\sqrt{\frac{2}{W}} \sin\left(\frac{n \pi}{W} x\right)\)			no validation is available for declarations
30	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	0439492440 \(\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2}\left. \frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right) \right\|_0^W\)		4857475848 \(\frac{1}{a^2}=\frac{W}{2}\)	LHS diff is 0 RHS diff is -pdg0002523sin(2pdg0001592pdg0003141pdg0004037/pdg0002523)/(4pdg0001592pdg0003141)
19	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			9988949211 \((\sin(x))^2=\frac{1 - \cos(2 x)}{2}\)	no validation is available for declarations
29	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	1202312210 \(\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2} \int_0^W \cos\left(2\frac{n \pi}{W}x\right) dx\) 7564894985 \(\int \cos\left(\frac{2n\pi}{W} x\right) dx=\frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right)\)		0439492440 \(\frac{1}{a^2}=\frac{1}{2}W - \frac{1}{2}\left. \frac{W}{2n\pi}\sin\left(\frac{2n\pi}{W} x\right) \right\|_0^W\)	Type Tuple cannot be instantiated; use tuple() instead
5	ID: 111355; LHS of expr 1 equals LHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 LHS of Eq.~\\ref{eq:#1} is equal to LHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9585727710 \(\psi(x=0)=0\) 8582885111 \(\psi(x)=a \sin(kx) + b \cos(kx)\)		8577275751 \(0=a \sin(0) + b\cos(0)\)	input diff is -pdg0009489(pdg0004037) + pdg0009489(Eq(pdg0001464, 0)) diff is 0 diff is pdg0001939cos(pdg0004037pdg0005321) - pdg0001939 + pdg0009139sin(pdg0004037pdg0005321)
7	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	1293913110 \(0=b\) 8582885111 \(\psi(x)=a \sin(kx) + b \cos(kx)\)		9059289981 \(\psi(x)=a \sin(k x)\)	invalid syntax (<string>, line 0)
3	ID: 111802; boundary condition for expression number of inputs: 1; feeds: 0; outputs: 1 A boundary condition for Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2}	5727578862 \(\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)\)		9585727710 \(\psi(x=0)=0\)	no validation is available for assumptions
4	ID: 111802; boundary condition for expression number of inputs: 1; feeds: 0; outputs: 1 A boundary condition for Eq.~\\ref{eq:#1} is Eq.~\\ref{eq:#2}	5727578862 \(\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)\)		9495857278 \(\psi(x=W)=0\)	no validation is available for assumptions
10	ID: 111698; expr 1 is true under condition expr 2 number of inputs: 2; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is valid when Eq.~\\ref{eq:#2} occurs; yields Eq.~\\ref{eq:#3}.	1857710291 \(0=a \sin(n \pi)\) 1020010291 \(0=a \sin(k W)\)		1010923823 \(k W=n \pi\)	recognized infrule but not yet supported
9	ID: 111299; declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			1857710291 \(0=a \sin(n \pi)\)	no validation is available for declarations
12	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9059289981 \(\psi(x)=a \sin(k x)\) 1858772113 \(k=\frac{n \pi}{W}\)		2944838499 \(\psi(x)=a \sin(\frac{n \pi}{W} x)\)	invalid syntax (<string>, line 0)
6	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8577275751 \(0=a \sin(0) + b\cos(0)\)		1293913110 \(0=b\)	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5727578862 \(\frac{d^2}{dx^2} \psi(x)=-k^2 \psi(x)\)	no validation is available for declarations
21	ID: 111634; substitute RHS of expr 1 into expr 2 number of inputs: 2; feeds: 0; outputs: 1 Substitute RHS of Eq.~\\ref{eq:#1} into Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8889444440 \(1=\int_0^W a^2 \left(\sin\left(\frac{n \pi}{W} x\right) \right)^2 dx\) 7575738420 \(\left(\sin\left(\frac{n \pi}{W}x\right) \right)^2=\frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2}\)		8576785890 \(1=\int_0^W a^2 \frac{1-\cos\left(2\frac{n \pi}{W}x\right)}{2} dx\)	Type Tuple cannot be instantiated; use tuple() instead
11	ID: 111975; divide both sides by number of inputs: 1; feeds: 1; outputs: 1 Divide both sides of Eq.~\\ref{eq:#2} by $#1$; yields Eq.~\\ref{eq:#3}.	1010923823 \(k W=n \pi\)	0001334112 \(W\)	1858772113 \(k=\frac{n \pi}{W}\)	valid
39	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	8485757728 \(a \frac{d^2}{dx^2}\sin(kx) + b \frac{d^2}{dx^2}\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(kx)\)		8484544728 \(-a k^2\sin(k x) + -b k^2\cos(k x)=-a k^2 \sin(kx) + -b k^2 \cos(k x)\)	invalid syntax (<string>, line 0)
8	ID: 111355; LHS of expr 1 equals LHS of expr 2 number of inputs: 2; feeds: 0; outputs: 1 LHS of Eq.~\\ref{eq:#1} is equal to LHS of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	9495857278 \(\psi(x=W)=0\) 9059289981 \(\psi(x)=a \sin(k x)\)		1020010291 \(0=a \sin(k W)\)	invalid syntax (<string>, line 0)