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 |
---|---|---|---|---|---|---|---|---|
5 | substitute LHS of expr 1 into expr 2 |
|
|
|
LHS diff is nabla**2*(pdg2718(pdg1467*pdg2321*pdg4621) - exp(pdg1467*pdg2321*pdg4621))*pdg6238(pdg9472) RHS diff is partial*pdg6197*pdg7940*(pdg2718(pdg1467*pdg2321*pdg4621) - exp(pdg1467*pdg2321*pdg4621))*pdg6238(pdg9472)/pdg1467**2 |
9499428242:
9394939493: 2029293929: |
9499428242:
9394939493: 2029293929: |
|
6 | differentiate with respect to |
|
|
|
no check performed |
2029293929:
4985825552: |
2029293929:
4985825552: |
|
2 | declare initial expr |
|
|
|
no validation is available for declarations |
8572852424:
|
8572852424:
|
|
3 | declare guess solution |
|
|
|
no validation is available for declarations |
8494839423:
9499428242: |
8494839423:
9499428242: |
|
4 | substitute LHS of expr 1 into expr 2 |
|
|
|
valid |
8572852424:
8494839423: 9394939493: |
8572852424:
8494839423: 9394939493: |
|
7 | differentiate with respect to |
|
|
|
no check performed |
4985825552:
1858578388: |
4985825552:
1858578388: |
|
10 | simplify |
|
|
|
LHS diff is nabla**2*(pdg2718(pdg1467*pdg2321*pdg4621) - 1)*pdg6238(pdg9472) RHS diff is pdg2321**2*(1 - pdg2718(pdg1467*pdg2321*pdg4621))*pdg6238(pdg9472)/pdg4567**2 |
9485384858:
3485475729: |
9485384858:
3485475729: |
|
11 | declare final expr |
|
|
|
no validation is available for declarations |
3485475729:
|
3485475729:
|
|
9 | substitute LHS of expr 1 into expr 2 |
|
|
|
LHS diff is -nabla**2*pdg2718(pdg1467*pdg2321*pdg4621)*pdg6238(pdg9472) + pdg6197*pdg7940 RHS diff is (pdg2321**2*pdg2718(pdg1467*pdg2321*pdg4621)*pdg6238(pdg9472) + 1)/pdg4567**2 |
1858578388:
4585828572: failed 9485384858: |
1858578388:
4585828572: N/A 9485384858: |
|
1 | declare initial expr |
|
|
|
no validation is available for declarations |
8494839423:
|
8494839423:
|
|
8 | declare initial expr |
|
|
|
no validation is available for declarations |
4585828572:
failed |
4585828572:
N/A |
symbol ID | category | latex | scope | dimension | name | value | Used in derivations | references | |
---|---|---|---|---|---|---|---|---|---|
9472 | variable |
\vec{r}
\(\vec{r}\) |
real |
|
radius vector |
|
24 | ||
1467 | variable |
t
\(t\) |
['real'] |
|
time |
|
121 | ||
4567 | constant |
c
\(c\) |
['real'] |
|
speed of light in vacuum |
299792458 meters/second |
32 | ||
6238 | variable |
E
\(E\) |
real | dimensionless | electric field | 20 | |||
7940 | constant |
\epsilon_0
\(\epsilon_0\) |
real |
|
vacuum permittivity, permittivity of free space or electric constant or the distributed capacitance of the vacuum |
8.8541878128E-{12} F/m |
14 | ||
4326 | variable |
\vec{E}
\(\vec{E}\) |
complex | dimensionless | electric field | 9 | |||
4621 | variable |
i
\(i\) |
['imaginary'] | dimensionless | imaginary unit |
|
74 | ||
2321 | variable |
\omega
\(\omega\) |
['real'] |
|
angular frequency | 26 | |||
6197 | constant |
\mu_0
\(\mu_0\) |
real |
|
vacuum permeability, permeability of free space, permeability of vacuum, or magnetic constant |
1.25663706212E^{-6} N/A^2 |
8 | ||
2718 | constant |
\exp
\(\exp\) |
['real'] | dimensionless | e |
2.71828 unitless |
8 |