Pow Pow pi csch Mul Mul x0 x0 -4 x1 
Mul Pow Pow pi csch Mul Mul x0 x0 -4 Add x1 -1 Mul x1 Mul Pow pi Add csch Mul Mul x0 x0 -4 -1 Mul Mul pi log pi Mul Mul Mul -1 coth Mul Mul x0 x0 -4 csch Mul Mul x0 x0 -4 Mul -4 Add x0 x0 