Welcome to the Physics Derivation Graph

Return to navigation page or list derivations

Review quadratic equation derivation

abstract:
reference: https://en.wikipedia.org/wiki/Quadratic_formula#Derivations_of_the_formula

step	inference rule	input	feed	output	validity (as per SymPy)
10	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}.	5982958249 $x+(b/(2 a))=-\sqrt{(b/(2 a))^2 - (c/a)}$	0002838490 $b/(2 a)$	9582958293 $x=\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))$	LHS diff is 0 RHS diff is -sqrt((pdg0001939*2 - 4pdg0004231pdg0009139)/pdg0009139*2)
10.5	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}.	9582958294 $x+(b/(2 a))=\sqrt{(b/(2 a))^2 - (c/a)}$	0002449291 $b/(2 a)$	5982958248 $x=-\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))$	LHS diff is 0 RHS diff is sqrt((pdg0001939*2 - 4pdg0004231pdg0009139)/pdg0009139*2)
11	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5982958248 $x=-\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))$		9999999968 $x=\frac{-b-\sqrt{b^2-4ac}}{2 a}$	LHS diff is 0 RHS diff is (-pdg0009139sqrt((pdg00019392 - 4pdg0004231pdg0009139)/pdg00091392) + sqrt(pdg00019392 - 4pdg0004231pdg0009139))/(2pdg0009139)
11.5	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9582958293 $x=\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))$		9999999969 $x=\frac{-b+\sqrt{b^2-4ac}}{2 a}$	LHS diff is 0 RHS diff is (pdg0009139sqrt((pdg00019392 - 4pdg0004231pdg0009139)/pdg00091392) - sqrt(pdg00019392 - 4pdg0004231pdg0009139))/(2pdg0009139)
5	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}.	5938459282 $x^2 + (b/a)x=-c/a$	0004307451 $(b/(2 a))^2$	5928292841 $x^2 + (b/a)x + (b/(2 a))^2=-c/a + (b/(2 a))^2$	valid
4	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}.	5958392859 $x^2 + (b/a)x+(c/a)=0$	0006644853 $c/a$	5938459282 $x^2 + (b/a)x=-c/a$	LHS diff is pdg0001464*(-pdg0001939 + pdg0009139)/pdg0009139 RHS diff is 0
9	ID: 111524; square root both sides number of inputs: 1; feeds: 0; outputs: 2 Take the square root of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2} and Eq.~\\ref{eq:#3}.	9385938295 $(x+(b/(2 a)))^2=-(c/a) + (b/(2 a))^2$		9582958294 $x+(b/(2 a))=\sqrt{(b/(2 a))^2 - (c/a)}$ 5982958249 $x+(b/(2 a))=-\sqrt{(b/(2 a))^2 - (c/a)}$	recognized infrule but not yet supported
8	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}.	5959282914 $x^2 + x(b/a) + (b/(2 a))^2=(x+(b/(2 a)))^2$ 5928292841 $x^2 + (b/a)x + (b/(2 a))^2=-c/a + (b/(2 a))^2$		9385938295 $(x+(b/(2 a)))^2=-(c/a) + (b/(2 a))^2$	valid
7	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5928285821 $x^2 + 2 x (b/(2 a)) + (b/(2 a))^2=(x + (b/(2 a)))^2$		5959282914 $x^2 + x(b/a) + (b/(2 a))^2=(x+(b/(2 a)))^2$	valid
6	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}.	8582954722 $x^2 + 2 x h + h^2=(x + h)^2$	0004858592 $h$ 0000999900 $b/(2 a)$	5928285821 $x^2 + 2 x (b/(2 a)) + (b/(2 a))^2=(x + (b/(2 a)))^2$	valid
14	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9999999968 $x=\frac{-b-\sqrt{b^2-4ac}}{2 a}$			no validation is available for declarations
15	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9999999969 $x=\frac{-b+\sqrt{b^2-4ac}}{2 a}$			no validation is available for declarations
3	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}.	9285928292 $ax^2 + bx + c=0$	0002424922 $a$	5958392859 $x^2 + (b/a)x+(c/a)=0$	Algebraic error: LHS diff is pdg0001464*(pdg0001939 - pdg0009139)/pdg0009139, RHS diff is 0
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9285928292 $ax^2 + bx + c=0$	no validation is available for declarations
7.5	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			8582954722 $x^2 + 2 x h + h^2=(x + h)^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.006 seconds for pdg_app/to_review_derivation: node_properties, derivation4573338
0.021 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation8020567
0.011 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8670154
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8670154
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8670154
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8670154
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index8020567
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2925441
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2925441
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2925441
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2925441
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2051542
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2051542
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2051542
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2051542
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3456115
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3456115
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3456115
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3456115
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4113947
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4113947
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4113947
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4113947
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6290862
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6290862
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6290862
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6290862
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5096014
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5096014
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5096014
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5096014
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5906932
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5906932
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5906932
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5906932
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7513961
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7513961
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7513961
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7513961
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7794613
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7794613
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7794613
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7794613
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3623861
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3623861
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3623861
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3623861
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7667165
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7667165
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7667165
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7667165
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3145437
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3145437
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3145437
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3145437
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8330269
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8330269
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8330269
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8330269
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3869946
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3869946
0.013 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3869946
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3869946
0.006 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation4573338
0.007 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id4573338000011
0.042 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule4573338
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6997092
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6997092
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6997092
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6997092
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4460998
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4460998
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4460998
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4460998
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2105980
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2105980
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2105980
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2105980
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6188476
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6188476
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6188476
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6188476
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1562784
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1562784
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1562784
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1562784
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7154822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7154822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7154822
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7154822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5335707
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5335707
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5335707
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5335707
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5284477
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5284477
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5284477
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5284477
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7776916
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7776916
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7776916
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7776916
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8569557
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8569557
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8569557
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8569557
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8637854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8637854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8637854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8637854
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1128085
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1128085
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1128085
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1128085
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3606091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3606091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3606091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3606091
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2566452
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2566452
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2566452
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2566452
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5451447
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5451447
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5451447
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5451447
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1793398
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1793398
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1793398
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1793398
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1159691
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1159691
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1159691
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1159691
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1110219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1110219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1110219
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1110219
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7185820
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7185820
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7185820
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7185820
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6839792
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6839792
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6839792
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6839792
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4517092
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4517092
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4517092
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4517092
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5804531
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5804531
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5804531
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5804531
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2077671
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2077671
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2077671
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2077671
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9637746
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9637746
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9637746
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9637746
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6486753
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6486753
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6486753
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6486753
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6314996
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6314996
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6314996
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6314996
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7911781
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7911781
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7911781
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7911781
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2590541
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2590541
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2590541
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2590541
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5205579
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5205579
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5205579
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5205579
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6078611
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6078611
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6078611
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6078611

step	inference rule	input	feed	output	validity (as per SymPy)
10	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}.	5982958249 \(x+(b/(2 a))=-\sqrt{(b/(2 a))^2 - (c/a)}\)	0002838490 \(b/(2 a)\)	9582958293 \(x=\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))\)	LHS diff is 0 RHS diff is -sqrt((pdg0001939*2 - 4pdg0004231pdg0009139)/pdg0009139*2)
10.5	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}.	9582958294 \(x+(b/(2 a))=\sqrt{(b/(2 a))^2 - (c/a)}\)	0002449291 \(b/(2 a)\)	5982958248 \(x=-\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))\)	LHS diff is 0 RHS diff is sqrt((pdg0001939*2 - 4pdg0004231pdg0009139)/pdg0009139*2)
11	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5982958248 \(x=-\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))\)		9999999968 \(x=\frac{-b-\sqrt{b^2-4ac}}{2 a}\)	LHS diff is 0 RHS diff is (-pdg0009139sqrt((pdg00019392 - 4pdg0004231pdg0009139)/pdg00091392) + sqrt(pdg00019392 - 4pdg0004231pdg0009139))/(2pdg0009139)
11.5	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	9582958293 \(x=\sqrt{(b/(2 a))^2 - (c/a)}-(b/(2 a))\)		9999999969 \(x=\frac{-b+\sqrt{b^2-4ac}}{2 a}\)	LHS diff is 0 RHS diff is (pdg0009139sqrt((pdg00019392 - 4pdg0004231pdg0009139)/pdg00091392) - sqrt(pdg00019392 - 4pdg0004231pdg0009139))/(2pdg0009139)
5	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}.	5938459282 \(x^2 + (b/a)x=-c/a\)	0004307451 \((b/(2 a))^2\)	5928292841 \(x^2 + (b/a)x + (b/(2 a))^2=-c/a + (b/(2 a))^2\)	valid
4	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}.	5958392859 \(x^2 + (b/a)x+(c/a)=0\)	0006644853 \(c/a\)	5938459282 \(x^2 + (b/a)x=-c/a\)	LHS diff is pdg0001464*(-pdg0001939 + pdg0009139)/pdg0009139 RHS diff is 0
9	ID: 111524; square root both sides number of inputs: 1; feeds: 0; outputs: 2 Take the square root of both sides of Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2} and Eq.~\\ref{eq:#3}.	9385938295 \((x+(b/(2 a)))^2=-(c/a) + (b/(2 a))^2\)		9582958294 \(x+(b/(2 a))=\sqrt{(b/(2 a))^2 - (c/a)}\) 5982958249 \(x+(b/(2 a))=-\sqrt{(b/(2 a))^2 - (c/a)}\)	recognized infrule but not yet supported
8	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}.	5959282914 \(x^2 + x(b/a) + (b/(2 a))^2=(x+(b/(2 a)))^2\) 5928292841 \(x^2 + (b/a)x + (b/(2 a))^2=-c/a + (b/(2 a))^2\)		9385938295 \((x+(b/(2 a)))^2=-(c/a) + (b/(2 a))^2\)	valid
7	ID: 111457; simplify number of inputs: 1; feeds: 0; outputs: 1 Simplify Eq.~\\ref{eq:#1}; yields Eq.~\\ref{eq:#2}.	5928285821 \(x^2 + 2 x (b/(2 a)) + (b/(2 a))^2=(x + (b/(2 a)))^2\)		5959282914 \(x^2 + x(b/a) + (b/(2 a))^2=(x+(b/(2 a)))^2\)	valid
6	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}.	8582954722 \(x^2 + 2 x h + h^2=(x + h)^2\)	0004858592 \(h\) 0000999900 \(b/(2 a)\)	5928285821 \(x^2 + 2 x (b/(2 a)) + (b/(2 a))^2=(x + (b/(2 a)))^2\)	valid
14	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9999999968 \(x=\frac{-b-\sqrt{b^2-4ac}}{2 a}\)			no validation is available for declarations
15	ID: 111341; declare final expression number of inputs: 1; feeds: 0; outputs: 0 Eq.~\\ref{eq:#1} is one of the final equations.	9999999969 \(x=\frac{-b+\sqrt{b^2-4ac}}{2 a}\)			no validation is available for declarations
3	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}.	9285928292 \(ax^2 + bx + c=0\)	0002424922 \(a\)	5958392859 \(x^2 + (b/a)x+(c/a)=0\)	Algebraic error: LHS diff is pdg0001464*(pdg0001939 - pdg0009139)/pdg0009139, RHS diff is 0
1	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			9285928292 \(ax^2 + bx + c=0\)	no validation is available for declarations
7.5	ID: 111981; declare initial expression number of inputs: 0; feeds: 0; outputs: 1 Eq.~\\ref{eq:#1} is an initial equation.			8582954722 \(x^2 + 2 x h + h^2=(x + h)^2\)	no validation is available for declarations