Pow Mul acot acoth sinh x0 Pow pi cos tan acos tanh x7 Pow x0 E 
Mul Pow Mul acot acoth sinh x0 Pow pi cos tan acos tanh x7 Add Pow x0 E -1 Add Mul Pow x0 E Mul Pow pi cos tan acos tanh x7 Mul -1 Mul Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 Pow Add 1 Mul acoth sinh x0 acoth sinh x0 -1 Mul Mul Mul acot acoth sinh x0 Pow pi cos tan acos tanh x7 log Mul acot acoth sinh x0 Pow pi cos tan acos tanh x7 Mul Pow x0 Add E -1 E 