Pow Mul -3 x0 Pow x0 Pow tanh coth x1 pi 
Mul Pow Mul -3 x0 Add Pow x0 Pow tanh coth x1 pi -1 Add Mul Pow x0 Pow tanh coth x1 pi -3 Mul Mul Mul -3 x0 log Mul -3 x0 Mul Pow x0 Add Pow tanh coth x1 pi -1 Pow tanh coth x1 pi 