Mul E Mul Add coth Add -4 x0 Pow x0 x0 acosh coth Add acsch E x0 
Mul E Add Mul acosh coth Add acsch E x0 Add Mul -1 Pow csch Add -4 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add coth Add -4 x0 Pow x0 x0 Mul Mul -1 Pow csch Add acsch E x0 2 Pow Mul sqrt Add coth Add acsch E x0 -1 sqrt Add 1 coth Add acsch E x0 -1 