Pow Pow x0 3 Pow tanh acoth x0 Mul E 2 
Mul Pow Pow x0 3 Add Pow tanh acoth x0 Mul E 2 -1 Add Mul Pow tanh acoth x0 Mul E 2 Mul Pow x0 2 3 Mul Mul Pow x0 3 log Pow x0 3 Mul Pow tanh acoth x0 Add Mul E 2 -1 Mul Mul E 2 Mul Pow sech acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 