Mul Mul x2 Mul pi tanh x2 Pow coth asech Pow Mul E x0 E Add atanh x0 acos x2 
Mul Mul x2 Mul pi tanh x2 Mul Pow coth asech Pow Mul E x0 E Add Add atanh x0 acos x2 -1 Add Mul Add atanh x0 acos x2 Mul Mul -1 Pow csch asech Pow Mul E x0 E 2 Mul Mul Pow Mul E x0 Add E -1 Mul E E Pow Mul Mul Pow Mul E x0 E Pow Mul E x0 E sqrt Add 1 Mul -1 Pow Mul Pow Mul E x0 E Pow Mul E x0 E -1 -1 Mul Mul coth asech Pow Mul E x0 E log coth asech Pow Mul E x0 E Pow Add 1 Mul -1 Mul x0 x0 -1 