This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Clicking on the step index will take you to the page where you can edit that step.
Index  Inference Rule  Input latex  Feeds latex  Output latex  step validity  dimension check  unit check  notes 

1  declare initial expr 



no validation is available for declarations 
5900595848:

5900595848:


6  substitute RHS of expr 1 into expr 2 



valid 
3131111133:
0404050504: 1293923844: 
3131111133:
0404050504: 1293923844: 

2  declare initial expr 



no validation is available for declarations 
0404050504:

0404050504:


5  substitute RHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is (pdg2321*pdg9491  2*pdg3141)/(pdg1357*pdg9491) 
3132131132:
dimensions are consistent 5900595848: 0934990943: 
3132131132:
N/A 5900595848: 0934990943: 

8  multiply both sides by 



LHS diff is pdg9491*(pdg4201 + pdg6235) RHS diff is (pdg4201 + pdg6235)/pdg4201 
3131111133:
2131616531: 
3131111133:
2131616531: 

3  declare initial expr 



no validation is available for declarations 
3131211131:
dimensions are consistent 
3131211131:
N/A 

11  declare final expr 



no validation is available for declarations 
3121513111:

3121513111:


7  substitute RHS of expr 1 into expr 2 



valid 
1293923844:
0934990943: 3121513111: 
1293923844:
0934990943: 3121513111: 

4  declare initial expr 



no validation is available for declarations 
3131111133:

3131111133:


9  divide both sides by 



valid 
2131616531:
2113211456: dimensions are consistent 
2131616531:
2113211456: N/A 

10  substitute RHS of expr 1 into expr 2 



LHS diff is 0 RHS diff is 2*pdg3141*(pdg4201*pdg9491  1)/pdg9491 
2113211456:
dimensions are consistent 3131211131: dimensions are consistent 3132131132: dimensions are consistent 
2113211456:
N/A 3131211131: N/A 3132131132: N/A 