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 | 
|---|---|---|---|---|---|---|---|---|
| 7 | divide both sides by | 
 | 
 | 
 | valid | 1087417579: 2086924031: | 1087417579: 2086924031: | |
| 4 | LHS of expr 1 equals LHS of expr 2 | 
 |  | 
 | input diff is 0 diff is -pdg1469 + pdg1649*pdg2467**2/2 - pdg2467*pdg5153*sin(pdg1575) diff is pdg1469 - pdg1649*pdg2467**2/2 + pdg2467*pdg5153*sin(pdg1575) | 5379546684: 9112191201: 8198310977: | 5379546684: 9112191201: 8198310977: | |
| 22 | declare final expr | 
 |  |  | no validation is available for declarations | 5353282496: | 5353282496: | |
| 16 | declare initial expr |  |  | 
 | no validation is available for declarations | 2405307372: | 2405307372: | |
| 10 | declare initial expr |  |  | 
 | no validation is available for declarations | 5438722682: | 5438722682: | |
| 21 | simplify | 
 |  | 
 | LHS diff is 0 RHS diff is pdg5153**2*(sin(pdg3141/2) - 1)/pdg1649 | 3607070319: 5353282496: | 3607070319: 5353282496: | |
| 12 | boundary condition | 
 |  | 
 | no validation is available for assumptions | 4370074654: 2378095808: | 4370074654: 2378095808: | |
| 13 | substitute LHS of expr 1 into expr 2 | 
 |  | 
 | valid | 2378095808: 3485125659: 4268085801: | 2378095808: 3485125659: 4268085801: | |
| 14 | subtract X from both sides | 
 | 
 | 
 | valid | 4268085801: 7233558441: | 4268085801: 7233558441: | |
| 11 | change two variables in expr | 
 | 
 | 
 | valid | 5438722682: 3485125659: | 5438722682: 3485125659: | |
| 2 | change two variables in expr | 
 | 
 | 
 | valid | 9862900242: 5379546684: | 9862900242: 5379546684: | |
| 6 | substitute LHS of expr 1 into expr 2 | 
 |  | 
 | LHS diff is pdg1469 RHS diff is pdg1469 | 8198310977: 1650441634: 1087417579: | 8198310977: 1650441634: 1087417579: | |
| 18 | substitute LHS of expr 1 into expr 2 | 
 |  | 
 | valid | 2519058903: 2297105551: 8922441655: error for dim with 8922441655 | 2519058903: 2297105551: 8922441655: N/A | |
| 3 | boundary condition | 
 |  | 
 | no validation is available for assumptions | 5373931751: 9112191201: | 5373931751: 9112191201: | y(t_f) = y_f = 0 | 
| 23 | declare final expr | 
 |  |  | no validation is available for declarations | 1541916015:
        dimensions are consistent | 1541916015:
        N/A | |
| 9 | multiply both sides by | 
 | 
 | 
 | valid | 1191796961: 4778077984: | 1191796961: 4778077984: | |
| 15 | substitute LHS of expr 1 into expr 2 | 
 |  | 
 | valid | 4778077984: 7233558441: 2297105551: | 4778077984: 7233558441: 2297105551: | |
| 1 | declare initial expr |  |  | 
 | no validation is available for declarations | 9862900242: | 9862900242: | |
| 8 | add X to both sides | 
 | 
 | 
 | valid | 2086924031: 1191796961: | 2086924031: 1191796961: | |
| 20 | substitute LHS of expr 1 into expr 2 | 
 |  | 
 | valid | 1541916015:
        dimensions are consistent 8922441655: error for dim with 8922441655 3607070319: | 1541916015:
        N/A 8922441655: N/A 3607070319: | |
| 5 | declare assumption |  |  | 
 | no validation is available for declarations | 1650441634: | 1650441634: | |
| 17 | change variable X to Y | 
 | 
 | 
 | LHS diff is sin(2*pdg1464) - sin(2*pdg1575) RHS diff is sin(2*pdg1464) - sin(2*pdg1575) | 2405307372: 2519058903: | 2405307372: 2519058903: | |
| 19 | maximum of expr | 
 | 
 | 
 | no check performed | 8922441655:
        error for dim with 8922441655 1541916015: dimensions are consistent | 8922441655:
        N/A 1541916015: N/A |