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 

3  simplify 



LHS diff is 0 RHS diff is pdg4621*sin(pdg3141) + cos(pdg3141) + 1 
8332931442:
6885625907: 
8332931442:
6885625907: 

2  change variable X to Y 



valid 
4938429483:
8332931442: 
4938429483:
8332931442: 

1  declare initial expr 



no validation is available for declarations 
4938429483:

4938429483:


5  add X to both sides 



valid 
3331824625:
2501591100: error for dim with 2501591100 
3331824625:
2501591100: N/A 

4  simplify 



valid 
6885625907:
3331824625: 
6885625907:
3331824625: 

6  declare final expr 



no validation is available for declarations 
2501591100:
error for dim with 2501591100 
2501591100:
N/A 