Pow Add -2 acosh exp x0 coth x0 
Mul Pow Add -2 acosh exp x0 Add coth x0 -1 Add Mul coth x0 Mul exp x0 Pow Mul sqrt Add exp x0 -1 sqrt Add 1 exp x0 -1 Mul Mul Add -2 acosh exp x0 log Add -2 acosh exp x0 Mul -1 Pow csch x0 2 