coth coth Pow Pow x0 2 Mul x0 x3 
Mul Mul -1 Pow csch coth Pow Pow x0 2 Mul x0 x3 2 Mul Mul -1 Pow csch Pow Pow x0 2 Mul x0 x3 2 Mul Pow Pow x0 2 Add Mul x0 x3 -1 Add Mul Mul x0 x3 Mul x0 2 Mul Mul Pow x0 2 log Pow x0 2 x3 