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.011 seconds for pdg_app/to_review_derivation: node_properties, derivation2281111
0.012 seconds for compute/get_dict_of_steps_in_derivation: steps_in_this_derivation2866491
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3550700
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3550700
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3550700
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3550700
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_sequence_index2866491
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2812217
0.01 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2812217
0.009 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2812217
0.008 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2812217
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6182280
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6182280
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6182280
0.007 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6182280
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1859892
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1859892
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1859892
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1859892
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8194333
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8194333
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8194333
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8194333
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3494035
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3494035
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3494035
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3494035
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7360515
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7360515
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7360515
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7360515
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2163172
0.014 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2163172
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2163172
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2163172
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1026082
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1026082
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1026082
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1026082
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1274759
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1274759
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1274759
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1274759
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1283003
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1283003
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1283003
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1283003
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule3039853
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT3039853
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED3039853
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT3039853
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4384007
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4384007
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4384007
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4384007
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7675853
0.006 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7675853
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7675853
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7675853
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8058044
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8058044
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8058044
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8058044
0.006 seconds for pdg_app/to_review_derivation: get_list_of_step_dicts_in_this_derivation2281111
0.013 seconds for pdg_app/to_review_derivation: get_list_of_sequence_values_for_derivation_id2281111000011
0.038 seconds for pdg_app/to_review_derivation: get_list_node_dicts_of_type inference_rule2281111
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5128540
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5128540
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5128540
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5128540
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9828206
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9828206
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9828206
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9828206
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6117770
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6117770
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6117770
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6117770
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4287068
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4287068
0.005 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4287068
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4287068
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1940460
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1940460
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1940460
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1940460
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7751941
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7751941
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7751941
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7751941
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2845620
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2845620
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2845620
0.004 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2845620
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7697831
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7697831
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7697831
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7697831
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1068648
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1068648
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1068648
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1068648
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1234469
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1234469
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1234469
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1234469
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7219160
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7219160
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7219160
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7219160
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4865822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4865822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4865822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4865822
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8034204
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8034204
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8034204
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8034204
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8390124
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8390124
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8390124
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8390124
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5545567
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5545567
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5545567
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5545567
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5943644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5943644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5943644
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5943644
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2291244
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2291244
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2291244
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2291244
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9306269
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9306269
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9306269
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9306269
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule2504479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT2504479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED2504479
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT2504479
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7162706
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7162706
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7162706
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7162706
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule6407694
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT6407694
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED6407694
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT6407694
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule8146700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT8146700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED8146700
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT8146700
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5243107
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5243107
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5243107
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5243107
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule9936099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT9936099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED9936099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT9936099
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7543843
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7543843
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7543843
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7543843
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule5434218
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT5434218
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED5434218
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT5434218
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4786186
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4786186
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4786186
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4786186
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule4993465
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT4993465
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED4993465
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT4993465
0.003 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule7613262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT7613262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED7613262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT7613262
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_has_inference_rule1407517
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_INPUT1407517
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_FEED1407517
0.002 seconds for compute/get_dict_of_steps_in_derivation: step_id_has_expressions, HAS_OUTPUT1407517

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