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:
inconsistent dimensions 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: inconsistent dimensions |
2186083170:
N/A 3591237106: N/A 1772416655: N/A |