coth Mul x2 Pow Add -3 coth x0 Pow sec acoth x0 3 
Mul Mul -1 Pow csch Mul x2 Pow Add -3 coth x0 Pow sec acoth x0 3 2 Mul x2 Mul Pow Add -3 coth x0 Add Pow sec acoth x0 3 -1 Add Mul Pow sec acoth x0 3 Mul -1 Pow csch x0 2 Mul Mul Add -3 coth x0 log Add -3 coth x0 Mul Pow sec acoth x0 2 Mul 3 Mul Mul tan acoth x0 sec acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 