This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
Index | Inference Rule | Input latex | Feeds latex | Output latex | step validity | dimension check | unit check | notes |
---|---|---|---|---|---|---|---|---|
6 | replace constant with value |
|
|
|
no check performed |
9440616166:
7846240076: |
9440616166:
7846240076: |
|
4 | divide both sides by |
|
|
|
valid |
9407192813:
2308660627: |
9407192813:
2308660627: |
|
8 | replace constant with value |
|
|
|
Nothing to split |
7112613117:
1132941271: |
7112613117:
1132941271: |
|
1 | change variable X to Y |
|
|
|
valid |
5345738321:
2484824786: dimensions are consistent |
5345738321:
2484824786: N/A |
|
2 | change three variables in expr |
|
|
|
LHS diff is 0 RHS diff is pdg5156*pdg6277*(pdg5022 - pdg5458)/pdg3236**2 |
6935745841:
8661803554: |
6935745841:
8661803554: |
|
9 | simplify |
|
|
|
Nothing to split |
1132941271:
3364286646: |
1132941271:
3364286646: |
|
7 | replace constant with value |
|
|
|
Nothing to split |
7846240076:
7112613117: |
7846240076:
7112613117: |
|
0.5 | declare initial expr |
|
|
|
no validation is available for declarations |
5345738321:
|
5345738321:
|
|
3 | LHS of expr 1 equals LHS of expr 2 |
|
|
|
valid |
8661803554:
4800170179: dimensions are consistent 9407192813: |
8661803554:
4800170179: N/A 9407192813: |
|
1.5 | declare initial expr |
|
|
|
no validation is available for declarations |
6935745841:
|
6935745841:
|
|
5 | multiply both sides by |
|
|
|
valid |
2308660627:
9440616166: |
2308660627:
9440616166: |
|
1.25 | change variable X to Y |
|
|
|
valid |
2484824786:
dimensions are consistent 4800170179: dimensions are consistent |
2484824786:
N/A 4800170179: N/A |