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 | 
|---|---|---|---|---|---|---|---|---|
| 1 | declare identity |  |  | 
 | no validation is available for declarations | 3585845894: | 3585845894: | |
| 2 | simplify | 
 |  | 
 | Nothing to split | 3585845894: 8399484849: | 3585845894: 8399484849: | |
| 3 | simplify | 
 |  | 
 | Nothing to split | 8399484849: 2404934990: | 8399484849: 2404934990: | |
| 4 | simplify | 
 |  | 
 | Nothing to split | 2404934990: 4949359835: | 2404934990: 4949359835: | |
| 5 | simplify | 
 |  | 
 | Nothing to split | 4949359835: 2494533900: no LHS/RHS split | 4949359835: 2494533900: N/A | |
| 6 | claim LHS equals RHS | 
 |  |  | Nothing to split | 2494533900:
        no LHS/RHS split | 2494533900:
        N/A | 
| symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
|---|---|---|---|---|---|---|---|---|---|
| 1464 | variable | x \(x\) | ['real'] | dimensionless | 
 | 140 |