Review Derivation: Physics Derivation Graph

MESSAGES:

pdg_app/to_review_derivation sympy_validate_step.validate_step: TypeErrorType Tuple cannot be instantiated; use tuple() instead
pdg_app/to_review_derivation sympy_validate_step.validate_step: IndexErrorlist index out of range

Return to navigation page or list derivations

Review work and force and energy

abstract:
reference:

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			1590774089 $dW=F dx$	no validation is available for declarations
2	111408: integrate number of inputs: 1; feeds: 0; outputs: 1 Integrate Eq.~ref{eq:#1}; yields Eq.~ref{eq:#2}.	1590774089 $dW=F dx$		5542528160 $\int dW=F \int_0^x dx$	recognized infrule but not yet supported
3	111662: evaluate definite integral number of inputs: 1; feeds: 0; outputs: 1 Evaluate definite integral Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5542528160 $\int dW=F \int_0^x dx$		3512166162 $W=F x$	Type Tuple cannot be instantiated; use tuple() instead
4	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}.	5345738321 $F=m a$ 3512166162 $W=F x$		8953094349 $W=m a x$	valid
5	111236: change three variables in expression number of inputs: 1; feeds: 6; outputs: 1 Change of variable $#1$ to $#2$ and $#3$ to $#4$ and $#5$ to $#6$ in Eq.~\\ref{eq:#7}; yields Eq.~\\ref{eq:#8}.	5611024898 $d=\frac{1}{2 a} (v^2 - v_0^2)$	9623791270 $d$ 6701855578 $v_2$ 3183197515 $v_1$ 3652511721 $v$ 5398681502 $v$ 8111389082 $x$	3253234559 $x=\frac{v_2^2 - v_1^2}{2 a}$	list index out of range
6	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}.	3253234559 $x=\frac{v_2^2 - v_1^2}{2 a}$ 8953094349 $W=m a x$		9413699705 $W=m a \frac{v_2^2 - v_1^2}{2 a}$	valid
7	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9413699705 $W=m a \frac{v_2^2 - v_1^2}{2 a}$		4811121942 $W=\frac{1}{2} m v_2^2 - \frac{1}{2} m v_1^2$	valid
8	111732: substitute LHS of two expressions into expression number of inputs: 3; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} into Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	7676652285 $KE_2=\frac{1}{2} m v_2^2$ 4811121942 $W=\frac{1}{2} m v_2^2 - \frac{1}{2} m v_1^2$ 4928007622 $KE_1=\frac{1}{2} m v_1^2$		3360172339 $W=KE_2 - KE_1$	recognized infrule but not yet supported
9	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3360172339 $W=KE_2 - KE_1$			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.004 seconds for pdg_app/to_review_derivation: node_properties, derivation 8096005
0.005 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation5397682
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6879146
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6879146
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6879146
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6879146
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index5397682
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6619797
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6619797
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6619797
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6619797
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7565661
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7565661
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7565661
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7565661
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6639420
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6639420
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6639420
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6639420
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4630624
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4630624
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4630624
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4630624
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1023228
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1023228
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1023228
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1023228
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2145616
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2145616
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2145616
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2145616
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4135692
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4135692
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4135692
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4135692
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5819178
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5819178
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5819178
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5819178
0.004 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation8096005
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id8096005920011
0.043 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule8096005
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7288107
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7288107
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7288107
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7288107
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4222231
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4222231
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4222231
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4222231
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4968590
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4968590
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4968590
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4968590
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9559869
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9559869
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9559869
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9559869
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1368671
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1368671
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1368671
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1368671
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9810196
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9810196
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9810196
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9810196
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5602257
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5602257
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5602257
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5602257
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5687049
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5687049
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5687049
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5687049
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8353542
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8353542
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8353542
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8353542
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6576912
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6576912
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6576912
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6576912
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7591092
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7591092
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7591092
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7591092
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5129170
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5129170
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5129170
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5129170
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8657917
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8657917
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8657917
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8657917
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7398684
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7398684
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7398684
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7398684
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1114489
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1114489
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1114489
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1114489
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2684293
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2684293
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2684293
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2684293
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3590529
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3590529
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3590529
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3590529
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6480553
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6480553
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6480553
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6480553

step	inference rule	input	feed	output	step validity (as per SymPy)
1	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			1590774089 \(dW=F dx\)	no validation is available for declarations
2	111408: integrate number of inputs: 1; feeds: 0; outputs: 1 Integrate Eq.~ref{eq:#1}; yields Eq.~ref{eq:#2}.	1590774089 \(dW=F dx\)		5542528160 \(\int dW=F \int_0^x dx\)	recognized infrule but not yet supported
3	111662: evaluate definite integral number of inputs: 1; feeds: 0; outputs: 1 Evaluate definite integral Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5542528160 \(\int dW=F \int_0^x dx\)		3512166162 \(W=F x\)	Type Tuple cannot be instantiated; use tuple() instead
4	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}.	5345738321 \(F=m a\) 3512166162 \(W=F x\)		8953094349 \(W=m a x\)	valid
5	111236: change three variables in expression number of inputs: 1; feeds: 6; outputs: 1 Change of variable $#1$ to $#2$ and $#3$ to $#4$ and $#5$ to $#6$ in Eq.~\\ref{eq:#7}; yields Eq.~\\ref{eq:#8}.	5611024898 \(d=\frac{1}{2 a} (v^2 - v_0^2)\)	9623791270 \(d\) 6701855578 \(v_2\) 3183197515 \(v_1\) 3652511721 \(v\) 5398681502 \(v\) 8111389082 \(x\)	3253234559 \(x=\frac{v_2^2 - v_1^2}{2 a}\)	list index out of range
6	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}.	3253234559 \(x=\frac{v_2^2 - v_1^2}{2 a}\) 8953094349 \(W=m a x\)		9413699705 \(W=m a \frac{v_2^2 - v_1^2}{2 a}\)	valid
7	111457: simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9413699705 \(W=m a \frac{v_2^2 - v_1^2}{2 a}\)		4811121942 \(W=\frac{1}{2} m v_2^2 - \frac{1}{2} m v_1^2\)	valid
8	111732: substitute LHS of two expressions into expression number of inputs: 3; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} into Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}.	7676652285 \(KE_2=\frac{1}{2} m v_2^2\) 4811121942 \(W=\frac{1}{2} m v_2^2 - \frac{1}{2} m v_1^2\) 4928007622 \(KE_1=\frac{1}{2} m v_1^2\)		3360172339 \(W=KE_2 - KE_1\)	recognized infrule but not yet supported
9	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	3360172339 \(W=KE_2 - KE_1\)			no validation is available for declarations