Welcome to the Physics Derivation Graph

MESSAGES:

'NoneType' object has no attribute 'shape'
list index out of range
list index out of range

Return to navigation page or list derivations

Review angle of maximum distance for projectile motion

abstract:
reference:

step	inference rule	input	feed	output	validity (as per SymPy)
7	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}.	1087417579 $0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta)$	4829590294 $t_f$	2086924031 $0=- \frac{1}{2} g t_f + v_0 \sin(\theta)$	valid
4	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}.	9112191201 $y_f=0$ 5379546684 $y_f=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0$		8198310977 $0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0$	valid
22	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	5353282496 $d=\frac{v_0^2}{g}$			no validation is available for declarations
16	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			2405307372 $\sin(2 x)=2 \sin(x) \cos(x)$	no validation is available for declarations
10	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5438722682 $x=v_0 t \cos(\theta) + x_0$	no validation is available for declarations
21	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	3607070319 $d=\frac{v_0^2}{g} \sin\left(2 \frac{\pi}{4}\right)$		5353282496 $d=\frac{v_0^2}{g}$	LHS diff is 0 RHS diff is pdg0005153*2(sin(pdg0003141/2) - 1)/pdg0001649
12	ID: 111278; boundary condition number of inputs: 1; feeds: 0; outputs: 1 Boundary condition: Eq.~\\ref{eq:#2} when Eq.~\\ref{eq#1}.	4370074654 $t=t_f$		2378095808 $x_f=x_0 + d$	no validation is available for assumptions
13	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}.	3485125659 $x_f=v_0 t_f \cos(\theta) + x_0$ 2378095808 $x_f=x_0 + d$		4268085801 $x_0 + d=v_0 t_f \cos(\theta) + x_0$	LHS diff is -pdg0001943 + pdg0002467pdg0005153cos(pdg0001575) RHS diff is pdg0001943 - pdg0002467pdg0005153cos(pdg0001575)
14	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}.	4268085801 $x_0 + d=v_0 t_f \cos(\theta) + x_0$	8072682558 $x_0$	7233558441 $d=v_0 t_f \cos(\theta)$	valid
11	ID: 111984; change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	5438722682 $x=v_0 t \cos(\theta) + x_0$	6732786762 $t$ 5194141542 $x_f$ 6463266449 $t_f$ 3273630811 $x$	3485125659 $x_f=v_0 t_f \cos(\theta) + x_0$	list index out of range
2	ID: 111984; change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	9862900242 $y=- \frac{1}{2} g t^2 + v_0 t \sin(\theta) + y_0$	4162188238 $t_f$ 8120663858 $y_f$ 8406170337 $y$ 2403773761 $t$	5379546684 $y_f=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0$	list index out of range
6	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}.	8198310977 $0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0$ 1650441634 $y_0=0$		1087417579 $0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta)$	LHS diff is pdg0001469 RHS diff is pdg0001469
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}.	2519058903 $\sin(2 \theta)=2 \sin(\theta) \cos(\theta)$ 2297105551 $d=v_0 \frac{2 v_0 \sin(\theta)}{g} \cos(\theta)$		8922441655 $d=\frac{v_0^2}{g} \sin(2 \theta)$	valid
3	ID: 111278; boundary condition number of inputs: 1; feeds: 0; outputs: 1 Boundary condition: Eq.~\\ref{eq:#2} when Eq.~\\ref{eq#1}.	5373931751 $t=t_f$		9112191201 $y_f=0$	no validation is available for assumptions
23	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	1541916015 $\theta=\frac{\pi}{4}$			no validation is available for declarations
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}.	1191796961 $\frac{1}{2} g t_f=v_0 \sin(\theta)$	2510804451 $2/g$	4778077984 $t_f=\frac{2 v_0 \sin(\theta)}{g}$	valid
15	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}.	7233558441 $d=v_0 t_f \cos(\theta)$ 4778077984 $t_f=\frac{2 v_0 \sin(\theta)}{g}$		2297105551 $d=v_0 \frac{2 v_0 \sin(\theta)}{g} \cos(\theta)$	LHS diff is -pdg0001943 + pdg0002467 RHS diff is 2pdg0005153(-pdg0005153cos(pdg0001575) + 1)sin(pdg0001575)/pdg0001649
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9862900242 $y=- \frac{1}{2} g t^2 + v_0 t \sin(\theta) + y_0$	no validation is available for declarations
8	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}.	2086924031 $0=- \frac{1}{2} g t_f + v_0 \sin(\theta)$	6974054946 $\frac{1}{2} g t_f$	1191796961 $\frac{1}{2} g t_f=v_0 \sin(\theta)$	valid
20	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}.	8922441655 $d=\frac{v_0^2}{g} \sin(2 \theta)$ 1541916015 $\theta=\frac{\pi}{4}$		3607070319 $d=\frac{v_0^2}{g} \sin\left(2 \frac{\pi}{4}\right)$	LHS diff is pdg0001575 - pdg0001943 RHS diff is pdg0003141/4 - pdg0005153*2sin(pdg0003141/2)/pdg0001649
5	ID: 111104; declare assumption number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an assumption.			1650441634 $y_0=0$	no validation is available for declarations
17	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}.	2405307372 $\sin(2 x)=2 \sin(x) \cos(x)$	7214442790 $x$ 7587034465 $\theta$	2519058903 $\sin(2 \theta)=2 \sin(\theta) \cos(\theta)$	valid
19	ID: 111773; maximum of expression number of inputs: 1; feeds: 1; outputs: 1 The maximum of Eq.~\\ref{eq:#2} with respect to $#1$ is Eq.~\\ref{eq:#3}	8922441655 $d=\frac{v_0^2}{g} \sin(2 \theta)$	5667870149 $\theta$	1541916015 $\theta=\frac{\pi}{4}$	recognized infrule but not yet supported

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.012 seconds for pdg_app/to_review_derivation: node_properties, derivation3706003
0.026 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation3588282
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9278032
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9278032
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9278032
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9278032
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index3588282
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3480759
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3480759
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3480759
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3480759
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9917724
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9917724
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9917724
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9917724
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3635238
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3635238
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3635238
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3635238
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4592570
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4592570
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4592570
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4592570
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6165353
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6165353
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6165353
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6165353
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4889484
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4889484
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4889484
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4889484
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1880273
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1880273
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1880273
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1880273
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2604223
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2604223
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2604223
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2604223
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9466752
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9466752
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9466752
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9466752
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4795399
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4795399
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4795399
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4795399
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7192656
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7192656
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7192656
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7192656
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4548213
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4548213
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4548213
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4548213
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2690250
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2690250
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2690250
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2690250
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6603114
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6603114
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6603114
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6603114
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5655376
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5655376
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5655376
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5655376
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9983855
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9983855
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9983855
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9983855
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8656877
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8656877
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8656877
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8656877
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9766889
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9766889
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9766889
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9766889
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2484495
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2484495
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2484495
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2484495
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3066459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3066459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3066459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3066459
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9405288
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9405288
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9405288
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9405288
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2389691
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2389691
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2389691
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2389691
0.007 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation3706003
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id3706003201726
0.018 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule3706003
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3470285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3470285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3470285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3470285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4105285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4105285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4105285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4105285
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1401949
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1401949
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1401949
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1401949
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3897304
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3897304
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3897304
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3897304
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8022852
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8022852
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8022852
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8022852
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9420267
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9420267
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9420267
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9420267
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9521543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9521543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9521543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9521543
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7803514
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7803514
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7803514
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7803514
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7234890
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7234890
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7234890
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7234890
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2890429
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2890429
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2890429
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2890429
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5150819
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5150819
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5150819
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5150819
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9307381
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9307381
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9307381
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9307381
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2074359
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2074359
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2074359
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2074359
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7937462
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7937462
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7937462
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7937462
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4407873
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4407873
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4407873
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4407873
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3685985
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3685985
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3685985
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3685985
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3403437
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3403437
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3403437
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3403437
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6192125
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6192125
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6192125
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6192125
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6557187
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6557187
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6557187
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6557187
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1774133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1774133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1774133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1774133
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9214980
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9214980
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9214980
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9214980
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1686104
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1686104
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1686104
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1686104
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7151605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7151605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7151605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7151605
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2911015
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2911015
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2911015
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2911015
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5889539
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5889539
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5889539
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5889539
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2501191
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2501191
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2501191
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2501191
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6296301
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6296301
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6296301
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6296301
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9835892
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9835892
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9835892
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9835892
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6930346
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6930346
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6930346
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6930346
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9918333
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9918333
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9918333
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9918333
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3001108
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3001108
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3001108
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3001108
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5331877
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5331877
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5331877
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5331877
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9668219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9668219
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9668219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9668219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2413867
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2413867
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2413867
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2413867
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4557728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4557728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4557728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4557728
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9624450
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9624450
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9624450
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9624450
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9893492
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9893492
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9893492
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9893492
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4283284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4283284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4283284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4283284
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2927379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2927379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2927379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2927379
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5025090
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5025090
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5025090
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5025090
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7082506
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7082506
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7082506
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7082506
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3041209
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3041209
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3041209
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3041209
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2338817
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2338817
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2338817
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2338817
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9999346
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9999346
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9999346
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9999346
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4128737
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4128737
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4128737
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4128737
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9755910
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9755910
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9755910
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9755910

step	inference rule	input	feed	output	validity (as per SymPy)
7	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}.	1087417579 \(0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta)\)	4829590294 \(t_f\)	2086924031 \(0=- \frac{1}{2} g t_f + v_0 \sin(\theta)\)	valid
4	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}.	9112191201 \(y_f=0\) 5379546684 \(y_f=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0\)		8198310977 \(0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0\)	valid
22	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	5353282496 \(d=\frac{v_0^2}{g}\)			no validation is available for declarations
16	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			2405307372 \(\sin(2 x)=2 \sin(x) \cos(x)\)	no validation is available for declarations
10	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			5438722682 \(x=v_0 t \cos(\theta) + x_0\)	no validation is available for declarations
21	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	3607070319 \(d=\frac{v_0^2}{g} \sin\left(2 \frac{\pi}{4}\right)\)		5353282496 \(d=\frac{v_0^2}{g}\)	LHS diff is 0 RHS diff is pdg0005153*2(sin(pdg0003141/2) - 1)/pdg0001649
12	ID: 111278; boundary condition number of inputs: 1; feeds: 0; outputs: 1 Boundary condition: Eq.~\\ref{eq:#2} when Eq.~\\ref{eq#1}.	4370074654 \(t=t_f\)		2378095808 \(x_f=x_0 + d\)	no validation is available for assumptions
13	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}.	3485125659 \(x_f=v_0 t_f \cos(\theta) + x_0\) 2378095808 \(x_f=x_0 + d\)		4268085801 \(x_0 + d=v_0 t_f \cos(\theta) + x_0\)	LHS diff is -pdg0001943 + pdg0002467pdg0005153cos(pdg0001575) RHS diff is pdg0001943 - pdg0002467pdg0005153cos(pdg0001575)
14	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}.	4268085801 \(x_0 + d=v_0 t_f \cos(\theta) + x_0\)	8072682558 \(x_0\)	7233558441 \(d=v_0 t_f \cos(\theta)\)	valid
11	ID: 111984; change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	5438722682 \(x=v_0 t \cos(\theta) + x_0\)	6732786762 \(t\) 5194141542 \(x_f\) 6463266449 \(t_f\) 3273630811 \(x\)	3485125659 \(x_f=v_0 t_f \cos(\theta) + x_0\)	list index out of range
2	ID: 111984; change two variables in expression number of inputs: 1; feeds: 4; outputs: 1 Change variable $#1$ to $#2$ and $#3$ to $#4$ in Eq.~\\ref{eq:#5}; yields Eq.~\\ref{eq:#6}.	9862900242 \(y=- \frac{1}{2} g t^2 + v_0 t \sin(\theta) + y_0\)	4162188238 \(t_f\) 8120663858 \(y_f\) 8406170337 \(y\) 2403773761 \(t\)	5379546684 \(y_f=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0\)	list index out of range
6	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}.	8198310977 \(0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta) + y_0\) 1650441634 \(y_0=0\)		1087417579 \(0=- \frac{1}{2} g t_f^2 + v_0 t_f \sin(\theta)\)	LHS diff is pdg0001469 RHS diff is pdg0001469
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}.	2519058903 \(\sin(2 \theta)=2 \sin(\theta) \cos(\theta)\) 2297105551 \(d=v_0 \frac{2 v_0 \sin(\theta)}{g} \cos(\theta)\)		8922441655 \(d=\frac{v_0^2}{g} \sin(2 \theta)\)	valid
3	ID: 111278; boundary condition number of inputs: 1; feeds: 0; outputs: 1 Boundary condition: Eq.~\\ref{eq:#2} when Eq.~\\ref{eq#1}.	5373931751 \(t=t_f\)		9112191201 \(y_f=0\)	no validation is available for assumptions
23	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	1541916015 \(\theta=\frac{\pi}{4}\)			no validation is available for declarations
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}.	1191796961 \(\frac{1}{2} g t_f=v_0 \sin(\theta)\)	2510804451 \(2/g\)	4778077984 \(t_f=\frac{2 v_0 \sin(\theta)}{g}\)	valid
15	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}.	7233558441 \(d=v_0 t_f \cos(\theta)\) 4778077984 \(t_f=\frac{2 v_0 \sin(\theta)}{g}\)		2297105551 \(d=v_0 \frac{2 v_0 \sin(\theta)}{g} \cos(\theta)\)	LHS diff is -pdg0001943 + pdg0002467 RHS diff is 2pdg0005153(-pdg0005153cos(pdg0001575) + 1)sin(pdg0001575)/pdg0001649
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9862900242 \(y=- \frac{1}{2} g t^2 + v_0 t \sin(\theta) + y_0\)	no validation is available for declarations
8	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}.	2086924031 \(0=- \frac{1}{2} g t_f + v_0 \sin(\theta)\)	6974054946 \(\frac{1}{2} g t_f\)	1191796961 \(\frac{1}{2} g t_f=v_0 \sin(\theta)\)	valid
20	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}.	8922441655 \(d=\frac{v_0^2}{g} \sin(2 \theta)\) 1541916015 \(\theta=\frac{\pi}{4}\)		3607070319 \(d=\frac{v_0^2}{g} \sin\left(2 \frac{\pi}{4}\right)\)	LHS diff is pdg0001575 - pdg0001943 RHS diff is pdg0003141/4 - pdg0005153*2sin(pdg0003141/2)/pdg0001649
5	ID: 111104; declare assumption number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an assumption.			1650441634 \(y_0=0\)	no validation is available for declarations
17	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}.	2405307372 \(\sin(2 x)=2 \sin(x) \cos(x)\)	7214442790 \(x\) 7587034465 \(\theta\)	2519058903 \(\sin(2 \theta)=2 \sin(\theta) \cos(\theta)\)	valid
19	ID: 111773; maximum of expression number of inputs: 1; feeds: 1; outputs: 1 The maximum of Eq.~\\ref{eq:#2} with respect to $#1$ is Eq.~\\ref{eq:#3}	8922441655 \(d=\frac{v_0^2}{g} \sin(2 \theta)\)	5667870149 \(\theta\)	1541916015 \(\theta=\frac{\pi}{4}\)	recognized infrule but not yet supported