Add Mul Pow tan Mul 0.141120008059867 x0 x0 coth cosh E x0 
Add Mul coth cosh E Mul Pow tan Mul 0.141120008059867 x0 Add x0 -1 Add Mul x0 Mul Pow sec Mul 0.141120008059867 x0 2 0.141120008059867 Mul tan Mul 0.141120008059867 x0 log tan Mul 0.141120008059867 x0 1 