Pow Pow x1 Pow Mul x0 4 coth Mul x0 Add atan E 1 -5 
Mul Pow Pow x1 Pow Mul x0 4 coth Mul x0 Add atan E 1 6 Mul -5 Mul Pow x1 Add Pow Mul x0 4 coth Mul x0 Add atan E 1 -1 Mul Mul x1 log x1 Mul Pow Mul x0 4 Add coth Mul x0 Add atan E 1 -1 Add Mul coth Mul x0 Add atan E 1 4 Mul Mul Mul x0 4 log Mul x0 4 Mul Mul -1 Pow csch Mul x0 Add atan E 1 2 Add atan E 1 