Pow acsch Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E -4 
Mul Pow acsch Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E 5 Mul -4 Mul Mul -1 Add Mul Mul x0 Mul pi acosh coth Add -2 E Add Mul acosh x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul atan x0 acosh x0 Mul pi acosh coth Add -2 E Pow Mul Mul Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E sqrt Add 1 Mul -1 Pow Mul Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E Mul Mul atan x0 acosh x0 Mul x0 Mul pi acosh coth Add -2 E -1 -1 