Pow Mul x7 -0.141120008059867 Add Add x2 tan x0 acoth sinh Mul atanh x7 x0 
Mul Pow Mul x7 -0.141120008059867 Add Add Add x2 tan x0 acoth sinh Mul atanh x7 x0 -1 Mul Mul Mul x7 -0.141120008059867 log Mul x7 -0.141120008059867 Add Pow sec x0 2 Mul Mul cosh Mul atanh x7 x0 atanh x7 Pow Add 1 Mul -1 Mul sinh Mul atanh x7 x0 sinh Mul atanh x7 x0 -1 