Mul Pow Mul Pow atanh Mul -4 E 4 pi 5 Add -4 asec coth Pow acos Mul Mul E x0 x1 -4 
Mul Pow Mul Pow atanh Mul -4 E 4 pi 5 Mul Mul Mul -1 Pow csch Pow acos Mul Mul E x0 x1 -4 2 Mul Pow acos Mul Mul E x0 x1 5 Mul -4 Mul -1 Mul Mul x1 E Pow sqrt Add 1 Mul -1 Mul Mul Mul E x0 x1 Mul Mul E x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth Pow acos Mul Mul E x0 x1 -4 coth Pow acos Mul Mul E x0 x1 -4 -1 coth Pow acos Mul Mul E x0 x1 -4 coth Pow acos Mul Mul E x0 x1 -4 -1 