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 |