Welcome to the 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.011 seconds for pdg_app/to_review_derivation: node_properties, derivation 9519315
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation1483853
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5785908
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5785908
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5785908
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5785908
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index1483853
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1090557
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1090557
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1090557
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1090557
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8841270
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8841270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8841270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8841270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7463404
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7463404
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7463404
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7463404
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2454666
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2454666
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2454666
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2454666
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5670465
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5670465
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5670465
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5670465
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5689656
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5689656
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5689656
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5689656
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8268890
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8268890
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8268890
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8268890
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5261112
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5261112
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5261112
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5261112
0.004 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation9519315
0.008 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id9519315920011
0.024 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule9519315
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2990643
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2990643
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2990643
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2990643
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6239812
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6239812
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6239812
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6239812
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1480410
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1480410
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1480410
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1480410
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6816999
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6816999
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6816999
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6816999
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7772219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7772219
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7772219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7772219
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7176198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7176198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7176198
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7176198
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7547314
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7547314
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7547314
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7547314
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6359277
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6359277
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6359277
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6359277
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7795177
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7795177
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7795177
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7795177
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4126692
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4126692
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4126692
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4126692
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2409778
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2409778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2409778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2409778
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9871566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9871566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9871566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9871566
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1328746
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1328746
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1328746
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1328746
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3869079
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3869079
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3869079
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3869079
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9662885
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9662885
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9662885
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9662885
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8591486
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8591486
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8591486
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8591486
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3180213
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3180213
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3180213
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3180213
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2662644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2662644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2662644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2662644

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