Pow exp csch x0 acos Add -4 x0 
Mul Pow exp csch x0 Add acos Add -4 x0 -1 Add Mul acos Add -4 x0 Mul exp csch x0 Mul Mul -1 coth x0 csch x0 Mul Mul exp csch x0 log exp csch x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add -4 x0 Add -4 x0 -1 