Welcome to the Physics Derivation Graph

MESSAGES:

invalid syntax (<string>, line 0)
invalid syntax (<string>, line 0)

Return to navigation page or list derivations

Review equations of motion in 1D with constant acceleration - SUVAT (algebra)

abstract:
reference: https://en.wikipedia.org/wiki/Equations_of_motion

step	inference rule	input	feed	output	validity (as per SymPy)
19	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}.	9759901995 $v - v_0=a t$		4748157455 $a t=v - v_0$	valid
30	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	4580545876 $d=v t - a t^2 + \frac{1}{2} a t^2$		6421241247 $d=v t - \frac{1}{2} a t^2$	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3366703541 $a=\frac{v - v_0}{t}$	no validation is available for declarations
3	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4748157455 $a t=v - v_0$	6417359412 $v_0$	4798787814 $a t + v_0=v$	valid
5	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3462972452 $v=v_0 + a t$			no validation is available for declarations
14	ID: 111483; raise both sides to power number of inputs: 1; feeds: 1; outputs: 1 Raise both sides of Eq.~\\ref{eq:#2} to $#1$; yields Eq.~\\ref{eq:#3}.	3462972452 $v=v_0 + a t$	5799753649 $2$	7215099603 $v^2=v_0^2 + 2 a t v_0 + a^2 t^2$	recognized infrule but not yet supported
20	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}.	4748157455 $a t=v - v_0$	2242144313 $a$	1967582749 $t=\frac{v - v_0}{a}$	valid
12	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	1265150401 $d=\frac{2 v_0 + a t}{2} t$		9658195023 $d=v_0 t + \frac{1}{2} a t^2$	valid
31	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	6421241247 $d=v t - \frac{1}{2} a t^2$			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}.	8706092970 $d=\left(\frac{v + v_0}{2}\right)t$ 1967582749 $t=\frac{v - v_0}{a}$		5733721198 $d=\frac{1}{2} (v + v_0) \left( \frac{v - v_0}{a} \right)$	LHS diff is pdg0001467 - pdg0001943 RHS diff is (pdg0001357 - pdg0005153 - (pdg0001357 - pdg0005153)*(pdg0001357 + pdg0005153)/2)/pdg0009140
13	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9658195023 $d=v_0 t + \frac{1}{2} a t^2$			no validation is available for declarations
24	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8269198922 $2 a d=v^2 - v_0^2$	9070454719 $v_0^2$	4948763856 $2 a d + v_0^2=v^2$	valid
16	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}.	9658195023 $d=v_0 t + \frac{1}{2} a t^2$ 5144263777 $v^2=v_0^2 + 2 a \left( v_0 t +\frac{1}{2} a t^2 \right)$		7939765107 $v^2=v_0^2 + 2 a d$	invalid syntax (<string>, line 0)
9	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}.	9897284307 $\frac{d}{t}=\frac{v + v_0}{2}$	8865085668 $t$	8706092970 $d=\left(\frac{v + v_0}{2}\right)t$	valid
17	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	7939765107 $v^2=v_0^2 + 2 a d$			no validation is available for declarations
28	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}.	9658195023 $d=v_0 t + \frac{1}{2} a t^2$ 6457044853 $v - a t=v_0$		1259826355 $d=(v - a t) t + \frac{1}{2} a t^2$	LHS diff is pdg0001357 - pdg0001467pdg0009140 - pdg0001943 RHS diff is -pdg0001357pdg0001467 + pdg0001467*2pdg0009140/2 + pdg0005153
29	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	1259826355 $d=(v - a t) t + \frac{1}{2} a t^2$		4580545876 $d=v t - a t^2 + \frac{1}{2} a t^2$	valid
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}.	6175547907 $v_{\rm average}=\frac{v + v_0}{2}$ 3411994811 $v_{\rm average}=\frac{d}{t}$		9897284307 $\frac{d}{t}=\frac{v + v_0}{2}$	input diff is 0 diff is (pdg0001467(pdg0001357 + pdg0005153)/2 - pdg0001943)/pdg0001467 diff is (-pdg0001467(pdg0001357 + pdg0005153)/2 + pdg0001943)/pdg0001467
10	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}.	8706092970 $d=\left(\frac{v + v_0}{2}\right)t$ 3462972452 $v=v_0 + a t$		7011114072 $d=\frac{(v_0 + a t) + v_0}{2} t$	LHS diff is pdg0001357 - pdg0001943 RHS diff is -pdg0001467*2pdg0009140/2 - pdg0001467pdg0005153 + pdg0001467pdg0009140 + pdg0005153
23	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}.	5611024898 $d=\frac{1}{2 a} (v^2 - v_0^2)$	5542390646 $2 a$	8269198922 $2 a d=v^2 - v_0^2$	valid
2	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}.	3366703541 $a=\frac{v - v_0}{t}$	7083390553 $t$	4748157455 $a t=v - v_0$	valid
27	ID: 111282; subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3462972452 $v=v_0 + a t$	9645178657 $a t$	6457044853 $v - a t=v_0$	valid
22	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5733721198 $d=\frac{1}{2} (v + v_0) \left( \frac{v - v_0}{a} \right)$		5611024898 $d=\frac{1}{2 a} (v^2 - v_0^2)$	valid
18	ID: 111282; subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3462972452 $v=v_0 + a t$	6729698807 $v_0$	9759901995 $v - v_0=a t$	valid
4	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}.	4798787814 $a t + v_0=v$		3462972452 $v=v_0 + a t$	valid
25	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}.	4948763856 $2 a d + v_0^2=v^2$		7939765107 $v^2=v_0^2 + 2 a d$	valid
15	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	7215099603 $v^2=v_0^2 + 2 a t v_0 + a^2 t^2$		5144263777 $v^2=v_0^2 + 2 a \left( v_0 t +\frac{1}{2} a t^2 \right)$	invalid syntax (<string>, line 0)
26	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8706092970 $d=\left(\frac{v + v_0}{2}\right)t$			no validation is available for declarations
11	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	7011114072 $d=\frac{(v_0 + a t) + v_0}{2} t$		1265150401 $d=\frac{2 v_0 + a t}{2} t$	valid
7	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6175547907 $v_{\rm average}=\frac{v + v_0}{2}$	no validation is available for declarations
6	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3411994811 $v_{\rm average}=\frac{d}{t}$	no validation is available for declarations

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, derivation7612668
0.03 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation6846860
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2026657
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2026657
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2026657
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2026657
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index6846860
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5737402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5737402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5737402
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5737402
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8883539
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8883539
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8883539
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8883539
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4876157
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4876157
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4876157
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4876157
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5382497
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5382497
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5382497
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5382497
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7981670
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7981670
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7981670
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7981670
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7046155
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7046155
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7046155
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7046155
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4013587
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4013587
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4013587
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4013587
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6692788
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6692788
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6692788
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6692788
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6008390
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6008390
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6008390
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6008390
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5354089
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5354089
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5354089
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5354089
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5399361
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5399361
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5399361
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5399361
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8113428
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8113428
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8113428
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8113428
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3360984
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3360984
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3360984
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3360984
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2519247
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2519247
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2519247
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2519247
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5780099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5780099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5780099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5780099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2479105
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2479105
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2479105
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2479105
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3857158
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3857158
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3857158
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3857158
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8808207
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8808207
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8808207
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8808207
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2098435
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2098435
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2098435
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2098435
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6438606
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6438606
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6438606
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6438606
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8071626
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8071626
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8071626
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8071626
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5876031
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5876031
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5876031
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5876031
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8311886
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8311886
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8311886
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8311886
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8771783
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8771783
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8771783
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8771783
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4461705
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4461705
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4461705
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4461705
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2223560
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2223560
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2223560
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2223560
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9128696
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9128696
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9128696
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9128696
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6403422
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6403422
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6403422
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6403422
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9259887
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9259887
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9259887
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9259887
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7476585
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7476585
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7476585
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7476585
0.011 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation7612668
0.01 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id7612668332170
0.03 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule7612668
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2258120
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2258120
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2258120
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2258120
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2664795
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2664795
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2664795
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2664795
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3843282
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3843282
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3843282
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3843282
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7161413
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7161413
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7161413
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7161413
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1039340
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1039340
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1039340
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1039340
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7054597
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7054597
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7054597
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7054597
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5011973
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5011973
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5011973
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5011973
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2032645
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2032645
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2032645
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2032645
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7044208
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7044208
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7044208
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7044208
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9070438
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9070438
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9070438
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9070438
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3401003
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3401003
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3401003
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3401003
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8517917
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8517917
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8517917
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8517917
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2028756
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2028756
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2028756
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2028756
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8867632
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8867632
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8867632
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8867632
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3539551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3539551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3539551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3539551
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4648823
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4648823
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4648823
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4648823
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8610912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8610912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8610912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8610912
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2290412
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2290412
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2290412
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2290412
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4118868
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4118868
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4118868
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4118868
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4690364
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4690364
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4690364
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4690364
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7207164
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7207164
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7207164
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7207164
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4043838
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4043838
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4043838
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4043838
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9691226
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9691226
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9691226
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9691226
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2255005
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2255005
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2255005
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2255005
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6835965
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6835965
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6835965
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6835965
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2604120
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2604120
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2604120
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2604120
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3181794
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3181794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3181794
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3181794
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3591853
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3591853
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3591853
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3591853
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8486592
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8486592
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8486592
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8486592
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5336604
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5336604
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5336604
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5336604
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6110925
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6110925
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6110925
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6110925
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5722718
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5722718
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5722718
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5722718
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1484600
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1484600
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1484600
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1484600
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2709668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2709668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2709668
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2709668
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7942982
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7942982
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7942982
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7942982
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6681350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6681350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6681350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6681350
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2549652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2549652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2549652
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2549652
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6936098
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6936098
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6936098
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6936098
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8126418
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8126418
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8126418
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8126418
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7142485
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7142485
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7142485
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7142485
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1537032
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1537032
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1537032
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1537032
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1145443
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1145443
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1145443
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1145443
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5186262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5186262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5186262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5186262
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7485609
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7485609
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7485609
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7485609
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2629875
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2629875
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2629875
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2629875
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2802802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2802802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2802802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2802802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6984347
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6984347
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6984347
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6984347
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6139444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6139444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6139444
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6139444
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5267934
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5267934
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5267934
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5267934
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2736563
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2736563
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2736563
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2736563
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2104589
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2104589
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2104589
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2104589
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4294691
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4294691
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4294691
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4294691
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7736114
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7736114
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7736114
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7736114
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5080829
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5080829
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5080829
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5080829
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1732802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1732802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1732802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1732802
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3836326
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3836326
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3836326
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3836326
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8359727
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8359727
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8359727
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8359727
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9325906
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9325906
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9325906
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9325906
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8836380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8836380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8836380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8836380
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6774306
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6774306
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6774306
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6774306
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9912774
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9912774
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9912774
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9912774
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5891697
0.001 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5891697
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5891697
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5891697

step	inference rule	input	feed	output	validity (as per SymPy)
19	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}.	9759901995 \(v - v_0=a t\)		4748157455 \(a t=v - v_0\)	valid
30	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	4580545876 \(d=v t - a t^2 + \frac{1}{2} a t^2\)		6421241247 \(d=v t - \frac{1}{2} a t^2\)	valid
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3366703541 \(a=\frac{v - v_0}{t}\)	no validation is available for declarations
3	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	4748157455 \(a t=v - v_0\)	6417359412 \(v_0\)	4798787814 \(a t + v_0=v\)	valid
5	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3462972452 \(v=v_0 + a t\)			no validation is available for declarations
14	ID: 111483; raise both sides to power number of inputs: 1; feeds: 1; outputs: 1 Raise both sides of Eq.~\\ref{eq:#2} to $#1$; yields Eq.~\\ref{eq:#3}.	3462972452 \(v=v_0 + a t\)	5799753649 \(2\)	7215099603 \(v^2=v_0^2 + 2 a t v_0 + a^2 t^2\)	recognized infrule but not yet supported
20	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}.	4748157455 \(a t=v - v_0\)	2242144313 \(a\)	1967582749 \(t=\frac{v - v_0}{a}\)	valid
12	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	1265150401 \(d=\frac{2 v_0 + a t}{2} t\)		9658195023 \(d=v_0 t + \frac{1}{2} a t^2\)	valid
31	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	6421241247 \(d=v t - \frac{1}{2} a t^2\)			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}.	8706092970 \(d=\left(\frac{v + v_0}{2}\right)t\) 1967582749 \(t=\frac{v - v_0}{a}\)		5733721198 \(d=\frac{1}{2} (v + v_0) \left( \frac{v - v_0}{a} \right)\)	LHS diff is pdg0001467 - pdg0001943 RHS diff is (pdg0001357 - pdg0005153 - (pdg0001357 - pdg0005153)*(pdg0001357 + pdg0005153)/2)/pdg0009140
13	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9658195023 \(d=v_0 t + \frac{1}{2} a t^2\)			no validation is available for declarations
24	ID: 111530; add X to both sides number of inputs: 1; feeds: 1; outputs: 1 Add $#1$ to both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	8269198922 \(2 a d=v^2 - v_0^2\)	9070454719 \(v_0^2\)	4948763856 \(2 a d + v_0^2=v^2\)	valid
16	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}.	9658195023 \(d=v_0 t + \frac{1}{2} a t^2\) 5144263777 \(v^2=v_0^2 + 2 a \left( v_0 t +\frac{1}{2} a t^2 \right)\)		7939765107 \(v^2=v_0^2 + 2 a d\)	invalid syntax (<string>, line 0)
9	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}.	9897284307 \(\frac{d}{t}=\frac{v + v_0}{2}\)	8865085668 \(t\)	8706092970 \(d=\left(\frac{v + v_0}{2}\right)t\)	valid
17	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	7939765107 \(v^2=v_0^2 + 2 a d\)			no validation is available for declarations
28	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}.	9658195023 \(d=v_0 t + \frac{1}{2} a t^2\) 6457044853 \(v - a t=v_0\)		1259826355 \(d=(v - a t) t + \frac{1}{2} a t^2\)	LHS diff is pdg0001357 - pdg0001467pdg0009140 - pdg0001943 RHS diff is -pdg0001357pdg0001467 + pdg0001467*2pdg0009140/2 + pdg0005153
29	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	1259826355 \(d=(v - a t) t + \frac{1}{2} a t^2\)		4580545876 \(d=v t - a t^2 + \frac{1}{2} a t^2\)	valid
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}.	6175547907 \(v_{\rm average}=\frac{v + v_0}{2}\) 3411994811 \(v_{\rm average}=\frac{d}{t}\)		9897284307 \(\frac{d}{t}=\frac{v + v_0}{2}\)	input diff is 0 diff is (pdg0001467(pdg0001357 + pdg0005153)/2 - pdg0001943)/pdg0001467 diff is (-pdg0001467(pdg0001357 + pdg0005153)/2 + pdg0001943)/pdg0001467
10	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}.	8706092970 \(d=\left(\frac{v + v_0}{2}\right)t\) 3462972452 \(v=v_0 + a t\)		7011114072 \(d=\frac{(v_0 + a t) + v_0}{2} t\)	LHS diff is pdg0001357 - pdg0001943 RHS diff is -pdg0001467*2pdg0009140/2 - pdg0001467pdg0005153 + pdg0001467pdg0009140 + pdg0005153
23	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}.	5611024898 \(d=\frac{1}{2 a} (v^2 - v_0^2)\)	5542390646 \(2 a\)	8269198922 \(2 a d=v^2 - v_0^2\)	valid
2	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}.	3366703541 \(a=\frac{v - v_0}{t}\)	7083390553 \(t\)	4748157455 \(a t=v - v_0\)	valid
27	ID: 111282; subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3462972452 \(v=v_0 + a t\)	9645178657 \(a t\)	6457044853 \(v - a t=v_0\)	valid
22	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5733721198 \(d=\frac{1}{2} (v + v_0) \left( \frac{v - v_0}{a} \right)\)		5611024898 \(d=\frac{1}{2 a} (v^2 - v_0^2)\)	valid
18	ID: 111282; subtract X from both sides number of inputs: 1; feeds: 1; outputs: 1 Subtract $#1$ from both sides of Eq.~\\ref{eq:#2}; yields Eq.~\\ref{eq:#3}.	3462972452 \(v=v_0 + a t\)	6729698807 \(v_0\)	9759901995 \(v - v_0=a t\)	valid
4	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}.	4798787814 \(a t + v_0=v\)		3462972452 \(v=v_0 + a t\)	valid
25	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}.	4948763856 \(2 a d + v_0^2=v^2\)		7939765107 \(v^2=v_0^2 + 2 a d\)	valid
15	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	7215099603 \(v^2=v_0^2 + 2 a t v_0 + a^2 t^2\)		5144263777 \(v^2=v_0^2 + 2 a \left( v_0 t +\frac{1}{2} a t^2 \right)\)	invalid syntax (<string>, line 0)
26	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8706092970 \(d=\left(\frac{v + v_0}{2}\right)t\)			no validation is available for declarations
11	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	7011114072 \(d=\frac{(v_0 + a t) + v_0}{2} t\)		1265150401 \(d=\frac{2 v_0 + a t}{2} t\)	valid
7	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6175547907 \(v_{\rm average}=\frac{v + v_0}{2}\)	no validation is available for declarations
6	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			3411994811 \(v_{\rm average}=\frac{d}{t}\)	no validation is available for declarations