Pow Pow x0 2 coth Mul x0 Mul x5 Mul x2 -3 
Mul Pow Pow x0 2 Add coth Mul x0 Mul x5 Mul x2 -3 -1 Add Mul coth Mul x0 Mul x5 Mul x2 -3 Mul x0 2 Mul Mul Pow x0 2 log Pow x0 2 Mul Mul -1 Pow csch Mul x0 Mul x5 Mul x2 -3 2 Mul x5 Mul x2 -3 