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.006 seconds for pdg_app/to_review_derivation: node_properties, derivation4283135
0.03 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation4479873
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1500714
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1500714
0.017 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1500714
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1500714
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index4479873
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3758687
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3758687
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3758687
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3758687
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7938704
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7938704
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7938704
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7938704
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3367819
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3367819
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3367819
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3367819
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1062760
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1062760
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1062760
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1062760
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9200245
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9200245
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9200245
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9200245
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8732016
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8732016
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8732016
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8732016
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5998689
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5998689
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5998689
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5998689
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7653354
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7653354
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7653354
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7653354
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3279421
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3279421
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3279421
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3279421
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5152660
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5152660
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5152660
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5152660
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8840670
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8840670
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8840670
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8840670
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3918531
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3918531
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3918531
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3918531
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2239342
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2239342
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2239342
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2239342
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3987537
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3987537
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3987537
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3987537
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4403665
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4403665
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4403665
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4403665
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8119670
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8119670
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8119670
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8119670
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9517945
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9517945
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9517945
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9517945
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4396582
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4396582
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4396582
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4396582
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3701832
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3701832
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3701832
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3701832
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7702139
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7702139
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7702139
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7702139
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6245160
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6245160
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6245160
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6245160
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8373937
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8373937
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8373937
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8373937
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2319264
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2319264
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2319264
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2319264
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6028418
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6028418
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6028418
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6028418
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7992887
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7992887
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7992887
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7992887
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2126730
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2126730
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2126730
0.035 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2126730
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4100951
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4100951
0.03 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4100951
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4100951
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1628236
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1628236
0.066 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1628236
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1628236
0.075 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8085136
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8085136
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8085136
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8085136
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4937261
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4937261
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4937261
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4937261
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5086564
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5086564
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5086564
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5086564
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5134905
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5134905
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5134905
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5134905
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6317305
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6317305
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6317305
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6317305
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9740318
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9740318
0.037 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9740318
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9740318
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3449384
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3449384
0.029 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3449384
0.039 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3449384
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4466271
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4466271
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4466271
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4466271
0.056 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7335630
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7335630
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7335630
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7335630
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2208668
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2208668
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2208668
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2208668
0.021 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation4283135
0.016 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id4283135000010
0.029 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule4283135
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5292501
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5292501
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5292501
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5292501
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2638711
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2638711
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2638711
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2638711
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6799635
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6799635
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6799635
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6799635
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5935094
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5935094
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5935094
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5935094
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6426294
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6426294
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6426294
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6426294
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5047384
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5047384
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5047384
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5047384
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1611018
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1611018
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1611018
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1611018
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6871587
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6871587
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6871587
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6871587
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9482173
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9482173
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9482173
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9482173
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7370874
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7370874
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7370874
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7370874
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8898794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8898794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8898794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8898794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8842074
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8842074
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8842074
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8842074
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5010622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5010622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5010622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5010622
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5156754
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5156754
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5156754
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5156754
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7864010
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7864010
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7864010
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7864010
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4420139
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4420139
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4420139
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4420139
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1752608
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1752608
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1752608
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1752608
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7743338
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7743338
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7743338
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7743338
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7111063
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7111063
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7111063
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7111063
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3818001
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3818001
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3818001
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3818001
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5970958
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5970958
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5970958
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5970958
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4443166
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4443166
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4443166
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4443166
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5057709
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5057709
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5057709
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5057709
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9689025
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9689025
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9689025
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9689025
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6972573
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6972573
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6972573
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6972573
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3100258
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3100258
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3100258
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3100258
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3792402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3792402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3792402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3792402
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5942024
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5942024
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5942024
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5942024
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2281447
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2281447
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2281447
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2281447
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9364925
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9364925
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9364925
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9364925
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3273109
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3273109
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3273109
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3273109
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8558318
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8558318
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8558318
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8558318
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3812603
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3812603
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3812603
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3812603
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8406326
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8406326
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8406326
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8406326
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1761312
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1761312
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1761312
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1761312
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9478844
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9478844
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9478844
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9478844
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5962633
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5962633
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5962633
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5962633
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1300337
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1300337
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1300337
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1300337
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1981262
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1981262
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1981262
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1981262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8953930
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8953930
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8953930
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8953930
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1246172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1246172
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1246172
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1246172
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3215069
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3215069
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3215069
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3215069
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8926317
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8926317
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8926317
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8926317
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7389551
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7389551
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7389551
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7389551
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9841343
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9841343
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9841343
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9841343
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1435330
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1435330
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1435330
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1435330
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4200884
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4200884
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4200884
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4200884
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3522510
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3522510
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3522510
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3522510
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7200885
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7200885
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7200885
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7200885
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5854494
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5854494
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5854494
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5854494
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2492649
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2492649
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2492649
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2492649
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8296151
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8296151
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8296151
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8296151
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5874579
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5874579
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5874579
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5874579
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3444031
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3444031
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3444031
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3444031
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3680563
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3680563
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3680563
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3680563
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2219469
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2219469
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2219469
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2219469
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2931149
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2931149
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2931149
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2931149
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2493885
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2493885
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2493885
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2493885
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8261531
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8261531
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8261531
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8261531
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5542729
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5542729
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5542729
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5542729
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1210281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1210281
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1210281
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1210281
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4088438
0.019 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4088438
0.018 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4088438
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4088438
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7015755
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7015755
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7015755
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7015755
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9665651
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9665651
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9665651
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9665651
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1193231
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1193231
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1193231
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1193231
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6725222
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6725222
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6725222
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6725222
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1147081
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1147081
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1147081
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1147081
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6367644
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6367644
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6367644
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6367644
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7492792
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7492792
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7492792
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7492792
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6703652
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6703652
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6703652
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6703652
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6464778
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6464778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6464778
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6464778
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8257167
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8257167
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8257167
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8257167
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5954081
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5954081
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5954081
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5954081
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5538957
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5538957
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5538957
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5538957
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3895585
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3895585
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3895585
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3895585
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4023397
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4023397
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4023397
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4023397
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5059607
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5059607
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5059607
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5059607
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1439264
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1439264
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1439264
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1439264

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)