atan Add Mul Pow x0 Mul Add 7.38905609893065 Pow sec x0 csch x0 x7 E Mul -2 Mul x0 acsch x4 
Mul Add Mul E Mul Pow x0 Add Mul Add 7.38905609893065 Pow sec x0 csch x0 x7 -1 Add Mul Add 7.38905609893065 Pow sec x0 csch x0 x7 Mul Mul x0 log x0 Mul x7 Mul Pow sec x0 Add csch x0 -1 Add Mul csch x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Mul Mul -1 coth x0 csch x0 Mul -2 acsch x4 Pow Add 1 Mul Add Mul Pow x0 Mul Add 7.38905609893065 Pow sec x0 csch x0 x7 E Mul -2 Mul x0 acsch x4 Add Mul Pow x0 Mul Add 7.38905609893065 Pow sec x0 csch x0 x7 E Mul -2 Mul x0 acsch x4 -1 