Review Derivation: Physics Derivation Graph

MESSAGES:

pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: IndexErrorlist index out of range
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)
pdg_app/to_review_derivation sympy_validate_step.validate_step: SyntaxErrorinvalid syntax (<string>, line 0)

Return to navigation page or list derivations

Review optics: Law of refraction to Brewster's angle

abstract: \cite{2001_HRW}; see figure 34-27 on page 824
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.			8945218208 $\theta_{\rm Brewster} + \theta_{\rm refracted}=90^{\circ}$	no validation is available for declarations
2	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}.	8945218208 $\theta_{\rm Brewster} + \theta_{\rm refracted}=90^{\circ}$	9025853427 $\theta_{\rm Brewster}$	1310571337 $\theta_{\rm refracted}=90^{\circ} - \theta_{\rm Brewster}$	invalid syntax (<string>, line 0)
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6450985774 $n_1 \sin( \theta_1 )=n_2 \sin( \theta_2 )$	no validation is available for declarations
4	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}.	6450985774 $n_1 \sin( \theta_1 )=n_2 \sin( \theta_2 )$	7154592211 $\theta_2$ 2773628333 $\theta_1$ 9029795851 $\theta_{\rm Brewster}$ 6353701615 $\theta_{\rm refracted}$	2575937347 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( \theta_{\rm refracted} )$	list index out of range
5	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}.	2575937347 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( \theta_{\rm refracted} )$ 1310571337 $\theta_{\rm refracted}=90^{\circ} - \theta_{\rm Brewster}$		7696214507 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( 90^{\circ} - \theta_{\rm Brewster} )$	invalid syntax (<string>, line 0)
6	111299: declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			8588429722 $\sin( 90^{\circ} - x )=\cos( x )$	no validation is available for declarations
7	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}.	8588429722 $\sin( 90^{\circ} - x )=\cos( x )$	7375348852 $\theta_{\rm Brewster}$ 1512581563 $x$	6831637424 $\sin( 90^{\circ} - \theta_{\rm Brewster} )=\cos( \theta_{\rm Brewster} )$	invalid syntax (<string>, line 0)
8	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}.	7696214507 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( 90^{\circ} - \theta_{\rm Brewster} )$ 6831637424 $\sin( 90^{\circ} - \theta_{\rm Brewster} )=\cos( \theta_{\rm Brewster} )$		3061811650 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \cos( \theta_{\rm Brewster} )$	invalid syntax (<string>, line 0)
9	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}.	3061811650 $n_1 \sin( \theta_{\rm Brewster} )=n_2 \cos( \theta_{\rm Brewster} )$	7857757625 $n_1$	9756089533 $\sin( \theta_{\rm Brewster} )=\frac{n_2}{n_1} \cos( \theta_{\rm Brewster} )$	valid
10	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}.	9756089533 $\sin( \theta_{\rm Brewster} )=\frac{n_2}{n_1} \cos( \theta_{\rm Brewster} )$	5632428182 $\cos( \theta_{\rm Brewster} )$	2768857871 $\frac{\sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}=\frac{n_2}{n_1}$	valid
11	111299: declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			4968680693 $\tan( x )=\frac{ \sin( x )}{\cos( x )}$	no validation is available for declarations
12	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}.	4968680693 $\tan( x )=\frac{ \sin( x )}{\cos( x )}$	9906920183 $x$ 7321695558 $\theta_{\rm Brewster}$	4501377629 $\tan( \theta_{\rm Brewster} )=\frac{ \sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}$	valid
13	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}.	4501377629 $\tan( \theta_{\rm Brewster} )=\frac{ \sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}$ 2768857871 $\frac{\sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}=\frac{n_2}{n_1}$		3417126140 $\tan( \theta_{\rm Brewster} )=\frac{ n_2 }{ n_1 }$	valid
14	111490: apply function to both sides of expression number of inputs: 1; feeds: 2; outputs: 1 Apply function $#1$ with argument $#2$ to Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}	3417126140 $\tan( \theta_{\rm Brewster} )=\frac{ n_2 }{ n_1 }$	6023986360 $x$ 5453995431 $\arctan{ x }$	8495187962 $\theta_{\rm Brewster}=\arctan{ \left( \frac{ n_1 }{ n_2 } \right) }$	recognized infrule but not yet supported
15	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8495187962 $\theta_{\rm Brewster}=\arctan{ \left( \frac{ n_1 }{ n_2 } \right) }$			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.005 seconds for pdg_app/to_review_derivation: node_properties, derivation 8607489
0.008 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation8765396
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5159731
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5159731
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5159731
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5159731
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index8765396
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3605298
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3605298
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3605298
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3605298
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8602899
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8602899
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8602899
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8602899
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4161057
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4161057
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4161057
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4161057
0.019 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7776514
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7776514
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7776514
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7776514
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7877263
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7877263
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7877263
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7877263
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2943135
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2943135
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2943135
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2943135
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1503824
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1503824
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1503824
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1503824
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1235276
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1235276
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1235276
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1235276
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4769933
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4769933
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4769933
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4769933
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3870387
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3870387
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3870387
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3870387
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2049282
0.009 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2049282
0.014 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2049282
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2049282
0.018 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1522693
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1522693
0.014 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1522693
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1522693
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1382361
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1382361
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1382361
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1382361
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2877656
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2877656
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2877656
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2877656
0.005 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation8607489
0.01 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id8607489522862
0.021 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule8607489
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9928404
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9928404
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9928404
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9928404
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3619324
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3619324
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3619324
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3619324
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2878872
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2878872
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2878872
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2878872
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3586969
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3586969
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3586969
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3586969
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6628510
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6628510
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6628510
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6628510
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2355531
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2355531
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2355531
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2355531
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4541685
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4541685
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4541685
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4541685
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1882550
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1882550
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1882550
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1882550
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4137684
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4137684
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4137684
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4137684
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4148279
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4148279
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4148279
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4148279
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5008268
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5008268
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5008268
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5008268
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9491402
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9491402
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9491402
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9491402
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7655895
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7655895
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7655895
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7655895
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1262810
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1262810
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1262810
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1262810
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4832904
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4832904
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4832904
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4832904
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8142245
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8142245
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8142245
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8142245
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2968633
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2968633
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2968633
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2968633
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1310169
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1310169
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1310169
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1310169
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5241228
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5241228
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5241228
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5241228
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID5356369
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT5356369
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED5356369
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT5356369
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3714229
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3714229
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3714229
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3714229
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2132917
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2132917
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2132917
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2132917
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6602091
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6602091
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6602091
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6602091
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4066290
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4066290
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4066290
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4066290
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1495275
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1495275
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1495275
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1495275
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8584626
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8584626
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8584626
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8584626
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8356442
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8356442
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8356442
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8356442
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2026044
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2026044
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2026044
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2026044
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8421454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8421454
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8421454
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8421454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8837562
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8837562
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8837562
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8837562

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.			8945218208 \(\theta_{\rm Brewster} + \theta_{\rm refracted}=90^{\circ}\)	no validation is available for declarations
2	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}.	8945218208 \(\theta_{\rm Brewster} + \theta_{\rm refracted}=90^{\circ}\)	9025853427 \(\theta_{\rm Brewster}\)	1310571337 \(\theta_{\rm refracted}=90^{\circ} - \theta_{\rm Brewster}\)	invalid syntax (<string>, line 0)
3	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6450985774 \(n_1 \sin( \theta_1 )=n_2 \sin( \theta_2 )\)	no validation is available for declarations
4	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}.	6450985774 \(n_1 \sin( \theta_1 )=n_2 \sin( \theta_2 )\)	7154592211 \(\theta_2\) 2773628333 \(\theta_1\) 9029795851 \(\theta_{\rm Brewster}\) 6353701615 \(\theta_{\rm refracted}\)	2575937347 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( \theta_{\rm refracted} )\)	list index out of range
5	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}.	2575937347 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( \theta_{\rm refracted} )\) 1310571337 \(\theta_{\rm refracted}=90^{\circ} - \theta_{\rm Brewster}\)		7696214507 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( 90^{\circ} - \theta_{\rm Brewster} )\)	invalid syntax (<string>, line 0)
6	111299: declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			8588429722 \(\sin( 90^{\circ} - x )=\cos( x )\)	no validation is available for declarations
7	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}.	8588429722 \(\sin( 90^{\circ} - x )=\cos( x )\)	7375348852 \(\theta_{\rm Brewster}\) 1512581563 \(x\)	6831637424 \(\sin( 90^{\circ} - \theta_{\rm Brewster} )=\cos( \theta_{\rm Brewster} )\)	invalid syntax (<string>, line 0)
8	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}.	7696214507 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \sin( 90^{\circ} - \theta_{\rm Brewster} )\) 6831637424 \(\sin( 90^{\circ} - \theta_{\rm Brewster} )=\cos( \theta_{\rm Brewster} )\)		3061811650 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \cos( \theta_{\rm Brewster} )\)	invalid syntax (<string>, line 0)
9	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}.	3061811650 \(n_1 \sin( \theta_{\rm Brewster} )=n_2 \cos( \theta_{\rm Brewster} )\)	7857757625 \(n_1\)	9756089533 \(\sin( \theta_{\rm Brewster} )=\frac{n_2}{n_1} \cos( \theta_{\rm Brewster} )\)	valid
10	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}.	9756089533 \(\sin( \theta_{\rm Brewster} )=\frac{n_2}{n_1} \cos( \theta_{\rm Brewster} )\)	5632428182 \(\cos( \theta_{\rm Brewster} )\)	2768857871 \(\frac{\sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}=\frac{n_2}{n_1}\)	valid
11	111299: declare identity number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an identity.			4968680693 \(\tan( x )=\frac{ \sin( x )}{\cos( x )}\)	no validation is available for declarations
12	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}.	4968680693 \(\tan( x )=\frac{ \sin( x )}{\cos( x )}\)	9906920183 \(x\) 7321695558 \(\theta_{\rm Brewster}\)	4501377629 \(\tan( \theta_{\rm Brewster} )=\frac{ \sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}\)	valid
13	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}.	4501377629 \(\tan( \theta_{\rm Brewster} )=\frac{ \sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}\) 2768857871 \(\frac{\sin( \theta_{\rm Brewster} )}{\cos( \theta_{\rm Brewster} )}=\frac{n_2}{n_1}\)		3417126140 \(\tan( \theta_{\rm Brewster} )=\frac{ n_2 }{ n_1 }\)	valid
14	111490: apply function to both sides of expression number of inputs: 1; feeds: 2; outputs: 1 Apply function $#1$ with argument $#2$ to Eq.~\\ref{eq:#3}; yields Eq.~\\ref{eq:#4}	3417126140 \(\tan( \theta_{\rm Brewster} )=\frac{ n_2 }{ n_1 }\)	6023986360 \(x\) 5453995431 \(\arctan{ x }\)	8495187962 \(\theta_{\rm Brewster}=\arctan{ \left( \frac{ n_1 }{ n_2 } \right) }\)	recognized infrule but not yet supported
15	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	8495187962 \(\theta_{\rm Brewster}=\arctan{ \left( \frac{ n_1 }{ n_2 } \right) }\)			no validation is available for declarations