Mul atan pi Mul x0 Pow coth Pow acosh x0 Mul -1 E sqrt x0 
Mul atan pi Add Pow coth Pow acosh x0 Mul -1 E sqrt x0 Mul x0 Mul Pow coth Pow acosh x0 Mul -1 E Add sqrt x0 -1 Add Mul sqrt x0 Mul Mul -1 Pow csch Pow acosh x0 Mul -1 E 2 Mul Pow acosh x0 Add Mul -1 E -1 Mul Mul -1 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul coth Pow acosh x0 Mul -1 E log coth Pow acosh x0 Mul -1 E Pow Mul 2 sqrt x0 -1 