Welcome to the Physics Derivation Graph

MESSAGES:

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.006 seconds for pdg_app/to_review_derivation: node_properties, derivation4478745
0.025 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation9592688
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4932583
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4932583
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4932583
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4932583
0.015 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index9592688
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7157637
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7157637
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7157637
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7157637
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9578828
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9578828
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9578828
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9578828
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3447053
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3447053
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3447053
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3447053
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8843260
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8843260
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8843260
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8843260
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5637757
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5637757
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5637757
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5637757
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3760707
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3760707
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3760707
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3760707
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8345554
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8345554
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8345554
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8345554
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7179725
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7179725
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7179725
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7179725
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1492387
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1492387
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1492387
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1492387
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8550682
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8550682
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8550682
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8550682
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6143635
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6143635
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6143635
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6143635
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2529000
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2529000
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2529000
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2529000
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2168176
0.094 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2168176
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2168176
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2168176
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1220390
0.032 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1220390
0.075 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1220390
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1220390
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7648770
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7648770
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7648770
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7648770
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8738527
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8738527
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8738527
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8738527
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5133674
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5133674
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5133674
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5133674
0.02 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3323495
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3323495
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3323495
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3323495
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8505419
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8505419
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8505419
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8505419
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6493326
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6493326
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6493326
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6493326
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1183981
0.015 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1183981
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1183981
0.018 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1183981
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3519653
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3519653
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3519653
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3519653
0.018 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation4478745
0.018 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id4478745201726
0.054 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule4478745
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2465934
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2465934
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2465934
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2465934
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7908784
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7908784
0.025 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7908784
0.025 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7908784
0.023 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1150199
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1150199
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1150199
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1150199
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8071390
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8071390
0.012 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8071390
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8071390
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4777142
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4777142
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4777142
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4777142
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5454214
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5454214
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5454214
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5454214
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3149123
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3149123
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3149123
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3149123
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7860496
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7860496
0.016 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7860496
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7860496
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8287981
0.017 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8287981
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8287981
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8287981
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2613115
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2613115
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2613115
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2613115
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3582156
0.017 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3582156
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3582156
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3582156
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1159270
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1159270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1159270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1159270
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2881222
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2881222
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2881222
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2881222
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4695816
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4695816
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4695816
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4695816
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6056417
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6056417
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6056417
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6056417
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4765247
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4765247
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4765247
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4765247
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2983036
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2983036
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2983036
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2983036
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1081267
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1081267
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1081267
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1081267
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6946022
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6946022
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6946022
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6946022
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7898647
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7898647
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7898647
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7898647
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5020618
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5020618
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5020618
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5020618
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5992941
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5992941
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5992941
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5992941
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9463947
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9463947
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9463947
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9463947
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9062848
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9062848
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9062848
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9062848
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6872595
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6872595
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6872595
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6872595
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5631016
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5631016
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5631016
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5631016
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7975034
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7975034
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7975034
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7975034
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3570168
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3570168
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3570168
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3570168
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5829732
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5829732
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5829732
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5829732
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6139329
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6139329
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6139329
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6139329
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5515797
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5515797
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5515797
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5515797
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6969797
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6969797
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6969797
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6969797
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4041226
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4041226
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4041226
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4041226
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6333826
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6333826
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6333826
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6333826
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6491765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6491765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6491765
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6491765
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3028099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3028099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3028099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3028099
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7766710
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7766710
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7766710
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7766710
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7170730
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7170730
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7170730
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7170730
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3904955
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3904955
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3904955
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3904955
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4585676
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4585676
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4585676
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4585676
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3000863
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3000863
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3000863
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3000863
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8697439
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8697439
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8697439
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8697439
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9616501
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9616501
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9616501
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9616501
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1551950
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1551950
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1551950
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1551950
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1522769
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1522769
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1522769
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1522769
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5215440
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5215440
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5215440
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5215440

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