Review Derivation: Physics Derivation Graph

MESSAGES:

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: IndexErrorlist index out of range
pdg_app/to_review_derivation sympy_validate_step.validate_step: IndexErrorlist index out of range

Return to navigation page or list derivations

Review total electrical resistance for circuit with two resistors in parallel

abstract:
reference: http://www.dfcd.net/articles/derivations/resistors.html

step	inference rule	input	feed	output	step validity (as per SymPy)
1	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}.	4087145886 $V=I R$	1323602089 $I_1$ 7191277455 $R$ 2867848403 $I$ 5258419993 $R_1$	4128500715 $V=I_1 R_1$	list index out of range
2	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}.	4087145886 $V=I R$	5585739998 $I$ 5463275819 $I_2$ 9746066299 $R_2$ 1377431959 $R$	9243879541 $V=I_2 R_2$	list index out of range
3	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}.	9243879541 $V=I_2 R_2$	3031116098 $R_2$	7002609475 $\frac{V}{R_2}=I_2$	valid
4	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}.	4128500715 $V=I_1 R_1$	5181421075 $R_1$	2051901211 $\frac{V}{R_1}=I_1$	valid
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6753224061 $I_{\rm total}=I_1 + I_2$	no validation is available for declarations
6	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}.	4087145886 $V=I R$	7410124465 $R_{\rm total}$ 7798615279 $I_{\rm total}$ 1100332145 $R$ 9053099840 $I$	2271186630 $V=I_{\rm total} R_{\rm total}$	list index out of range
7	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}.	2271186630 $V=I_{\rm total} R_{\rm total}$	6546594355 $R_{\rm total}$	2809345867 $\frac{V}{R_{\rm total}}=I_{\rm total}$	valid
8	111246: substitute LHS of three expressions into expression number of inputs: 4; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} and LHS of Eq.~\\ref{eq:#3} into Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	7002609475 $\frac{V}{R_2}=I_2$ 6753224061 $I_{\rm total}=I_1 + I_2$ 2051901211 $\frac{V}{R_1}=I_1$ 2809345867 $\frac{V}{R_{\rm total}}=I_{\rm total}$		4866160902 $\frac{V}{R_{\rm total}}=\frac{V}{R_1} + \frac{V}{R_2}$	recognized infrule but not yet supported
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}.	4866160902 $\frac{V}{R_{\rm total}}=\frac{V}{R_1} + \frac{V}{R_2}$	3433441359 $V$	1457415749 $\frac{1}{R_{\rm total}}=\frac{1}{R_1} + \frac{1}{R_2}$	valid
10	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	1457415749 $\frac{1}{R_{\rm total}}=\frac{1}{R_1} + \frac{1}{R_2}$			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 1241080
0.007 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation1228679
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6530621
0.01 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6530621
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6530621
0.011 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6530621
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_step_has_sequence_index1228679
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1852692
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1852692
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1852692
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1852692
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7335063
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7335063
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7335063
0.007 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7335063
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9553738
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9553738
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9553738
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9553738
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2284551
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2284551
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2284551
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2284551
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3861683
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3861683
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3861683
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3861683
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1035409
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1035409
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1035409
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1035409
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID8482576
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT8482576
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED8482576
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT8482576
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2929222
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2929222
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2929222
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2929222
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID9287234
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT9287234
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED9287234
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT9287234
0.003 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation1241080
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id1241080681943
0.031 seconds for pdg_app/to_review_derivation: get_nodes_of_type inference_rule1241080
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1905454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1905454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1905454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1905454
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6850729
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6850729
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6850729
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6850729
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1552820
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1552820
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1552820
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1552820
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7670188
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7670188
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7670188
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7670188
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4732939
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4732939
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4732939
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4732939
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6356691
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6356691
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6356691
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6356691
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID2995617
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT2995617
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED2995617
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT2995617
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6594109
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6594109
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6594109
0.012 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6594109
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1990069
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1990069
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1990069
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1990069
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7035491
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7035491
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7035491
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7035491
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3768731
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3768731
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3768731
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3768731
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID7309592
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT7309592
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED7309592
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT7309592
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3683048
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3683048
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3683048
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3683048
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6721703
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6721703
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6721703
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6721703
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6168260
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6168260
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6168260
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6168260
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4037634
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4037634
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4037634
0.004 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4037634
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID3043817
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT3043817
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED3043817
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT3043817
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID6606425
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT6606425
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED6606425
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT6606425
0.002 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID1795949
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT1795949
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED1795949
0.005 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT1795949
0.008 seconds for compute/get_dict_of_steps_in_derivation: get_inference_rule_connected_to_step_ID4910856
0.003 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type HAS_INPUT4910856
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_FEED4910856
0.006 seconds for compute/get_dict_of_steps_in_derivation: get_expressions_from_step_id_and_expr_type, HAS_OUTPUT4910856

step	inference rule	input	feed	output	step validity (as per SymPy)
1	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}.	4087145886 \(V=I R\)	1323602089 \(I_1\) 7191277455 \(R\) 2867848403 \(I\) 5258419993 \(R_1\)	4128500715 \(V=I_1 R_1\)	list index out of range
2	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}.	4087145886 \(V=I R\)	5585739998 \(I\) 5463275819 \(I_2\) 9746066299 \(R_2\) 1377431959 \(R\)	9243879541 \(V=I_2 R_2\)	list index out of range
3	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}.	9243879541 \(V=I_2 R_2\)	3031116098 \(R_2\)	7002609475 \(\frac{V}{R_2}=I_2\)	valid
4	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}.	4128500715 \(V=I_1 R_1\)	5181421075 \(R_1\)	2051901211 \(\frac{V}{R_1}=I_1\)	valid
5	111981: declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			6753224061 \(I_{\rm total}=I_1 + I_2\)	no validation is available for declarations
6	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}.	4087145886 \(V=I R\)	7410124465 \(R_{\rm total}\) 7798615279 \(I_{\rm total}\) 1100332145 \(R\) 9053099840 \(I\)	2271186630 \(V=I_{\rm total} R_{\rm total}\)	list index out of range
7	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}.	2271186630 \(V=I_{\rm total} R_{\rm total}\)	6546594355 \(R_{\rm total}\)	2809345867 \(\frac{V}{R_{\rm total}}=I_{\rm total}\)	valid
8	111246: substitute LHS of three expressions into expression number of inputs: 4; feeds: 0; outputs: 1 Substitute LHS of Eq.~\\ref{eq:#1} and LHS of Eq.~\\ref{eq:#2} and LHS of Eq.~\\ref{eq:#3} into Eq.~\\ref{eq:#4}; yields Eq.~\\ref{eq:#5}.	7002609475 \(\frac{V}{R_2}=I_2\) 6753224061 \(I_{\rm total}=I_1 + I_2\) 2051901211 \(\frac{V}{R_1}=I_1\) 2809345867 \(\frac{V}{R_{\rm total}}=I_{\rm total}\)		4866160902 \(\frac{V}{R_{\rm total}}=\frac{V}{R_1} + \frac{V}{R_2}\)	recognized infrule but not yet supported
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}.	4866160902 \(\frac{V}{R_{\rm total}}=\frac{V}{R_1} + \frac{V}{R_2}\)	3433441359 \(V\)	1457415749 \(\frac{1}{R_{\rm total}}=\frac{1}{R_1} + \frac{1}{R_2}\)	valid
10	111341: declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	1457415749 \(\frac{1}{R_{\rm total}}=\frac{1}{R_1} + \frac{1}{R_2}\)			no validation is available for declarations