cos Add x0 Pow sec atanh Pow Add x1 2 4 x0 
Mul Mul -1 sin Add x0 Pow sec atanh Pow Add x1 2 4 x0 Add 1 Mul Pow sec atanh Pow Add x1 2 4 Add x0 -1 Mul sec atanh Pow Add x1 2 4 log sec atanh Pow Add x1 2 4 