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 

5  declare final expr 



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

2  subtract X from both sides 



Nothing to split 
8489593958:
8489593960: 
8489593958:
8489593960: 

3  swap LHS with RHS 



Nothing to split 
8489593960:
8489593962: no LHS/RHS split 
8489593960:
8489593962: N/A 

1  declare identity 



no validation is available for declarations 
8489593958:

8489593958:


4  indefinite integration 



Nothing to split 
8489593962:
no LHS/RHS split 8489593964: error for dim with 8489593964 
8489593962:
N/A 8489593964: N/A 
symbol ID  category  latex  scope  dimension  name  value  Used in derivations  references  

5177  variable 
v
\(v\) 
real 

none 

2  
4221  variable 
u
\(u\) 
['real'] 

5 