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 

8  substitute LHS of two expressions into expr 



failed 
7676652285:
4928007622: 4811121942: 3360172339: 
7676652285:
4928007622: 4811121942: 3360172339: 

2  integrate 



no check performed 
1590774089:
5542528160: 
1590774089:
5542528160: 

7  simplify 



valid 
9413699705:
dimensions are consistent 4811121942: 
9413699705:
N/A 4811121942: 

9  declare final expr 



no validation is available for declarations 
3360172339:

3360172339:


3  evaluate definite integral 



valid 
5542528160:
3512166162: 
5542528160:
3512166162: 

1  declare initial expr 



no validation is available for declarations 
1590774089:

1590774089:


4  substitute LHS of expr 1 into expr 2 



LHS diff is pdg4202  pdg6789 RHS diff is pdg5156*pdg9140*(1  pdg4037) 
3512166162:
5345738321: 8953094349: dimensions are consistent 
3512166162:
5345738321: 8953094349: N/A 

5  change three variables in expr 



LHS diff is pdg1943  pdg4037 RHS diff is (pdg2473**2  pdg5153**2)/(2*pdg9140) 
5611024898:
3253234559: dimensions are consistent 
5611024898:
3253234559: N/A 

6  substitute LHS of expr 1 into expr 2 



valid 
3253234559:
dimensions are consistent 8953094349: dimensions are consistent 9413699705: dimensions are consistent 
3253234559:
N/A 8953094349: N/A 9413699705: N/A 