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 |
|---|---|---|---|---|---|---|---|---|
| 27 | substitute RHS of expr 1 into expr 2 |
|
|
|
valid |
9337785146:
7267155233: 4872970974: |
9337785146:
7267155233: 4872970974: |
|
| 14 | substitute RHS of expr 1 into expr 2 |
|
|
|
valid |
4648451961:
4270680309: 9356924046: |
4648451961:
4270680309: 9356924046: |
|
| 18 | substitute RHS of expr 1 into expr 2 |
|
|
|
valid |
2857430695:
7735737409: 4784793837: |
2857430695:
7735737409: 4784793837: |
|
| 31 | simplify |
|
|
|
valid |
1772416655:
error for dim with 1772416655 1809909100: |
1772416655:
N/A 1809909100: |
|
| 32 | multiply both sides by |
|
|
|
valid |
1809909100:
3806977900: |
1809909100:
3806977900: |
|
| 6 | declare initial expr |
|
|
|
no validation is available for declarations |
8357234146:
|
8357234146:
|
|
| 17 | substitute RHS of expr 1 into expr 2 |
|
|
|
valid |
9397152918:
9356924046: 7735737409: |
9397152918:
9356924046: 7735737409: |
|
| 29 | substitute RHS of expr 1 into expr 2 |
|
|
|
LHS diff is (-pdg5579 + pg5579)/pdg1467 RHS diff is (pdg1357*pdg1467*pdg4202 - pdg4093 + pdg8849)/pdg1467 |
4872970974:
2770069250: 3591237106: error for dim with 3591237106 |
4872970974:
2770069250: 3591237106: N/A |
|
| 7 | change two variables in expr |
|
|
|
valid |
8357234146:
7676652285: |
8357234146:
7676652285: |
|
| 11 | divide both sides by |
|
|
|
valid |
5733146966:
4270680309: |
5733146966:
4270680309: |
|
| 1 | declare initial expr |
|
|
|
no validation is available for declarations |
5136652623:
|
5136652623:
|
|
| 2 | change three variables in expr |
|
|
|
valid |
5136652623:
7875206161: |
5136652623:
7875206161: |
|
| 28 | divide both sides by |
|
|
|
valid |
5514556106:
2770069250: |
5514556106:
2770069250: |
|
| 10 | subtract expr 1 from expr 2 |
|
|
|
valid |
4928007622:
7676652285: 5733146966: |
4928007622:
7676652285: 5733146966: |
|
| 16 | declare initial expr |
|
|
|
no validation is available for declarations |
2857430695:
|
2857430695:
|
|
| 25 | divide both sides by |
|
|
|
valid |
7734996511:
7267155233: |
7734996511:
7267155233: |
|
| 23 | change two variables in expr |
|
|
|
valid |
6715248283:
4669290568: |
6715248283:
4669290568: |
|
| 19 | declare initial expr |
|
|
|
no validation is available for declarations |
5345738321:
|
5345738321:
|
|
| 22 | change two variables in expr |
|
|
|
valid |
6715248283:
2431507955: |
6715248283:
2431507955: |
assumes constant force |
| 5 | subtract expr 1 from expr 2 |
|
|
|
valid |
4303372136:
7875206161: 5514556106: |
4303372136:
7875206161: 5514556106: |
|
| 34 | declare final expr |
|
|
|
no validation is available for declarations |
8558338742:
|
8558338742:
|
|
| 20 | substitute RHS of expr 1 into expr 2 |
|
|
|
valid |
5345738321:
4784793837: 2186083170: dimensions are consistent |
5345738321:
4784793837: 2186083170: N/A |
|
| 12 | declare initial expr |
|
|
|
no validation is available for declarations |
5781981178:
|
5781981178:
|
|
| 8 | change two variables in expr |
|
|
|
valid |
8357234146:
4928007622: |
8357234146:
4928007622: |
|
| 21 | declare initial expr |
|
|
|
no validation is available for declarations |
6715248283:
|
6715248283:
|
|
| 24 | subtract expr 1 from expr 2 |
|
|
|
valid |
4669290568:
2431507955: 7734996511: |
4669290568:
2431507955: 7734996511: |
|
| 33 | add X to both sides |
|
|
|
valid |
3806977900:
8558338742: |
3806977900:
8558338742: |
|
| 13 | change two variables in expr |
|
|
|
valid |
5781981178:
4648451961: |
5781981178:
4648451961: |
|
| 26 | declare initial expr |
|
|
|
no validation is available for declarations |
9337785146:
|
9337785146:
|
|
| 15 | declare initial expr |
|
|
|
no validation is available for declarations |
9397152918:
|
9397152918:
|
|
| 3 | change three variables in expr |
|
|
|
valid |
5136652623:
4303372136: |
5136652623:
4303372136: |
|
| 30 | substitute RHS of expr 1 into expr 2 |
|
|
|
LHS diff is (pdg5579 - pg5579)/pdg1467 RHS diff is 0 |
2186083170:
dimensions are consistent 3591237106: error for dim with 3591237106 1772416655: error for dim with 1772416655 |
2186083170:
N/A 3591237106: N/A 1772416655: N/A |