Add Pow Mul x7 pi Mul coth Mul Mul x0 x6 -4 Mul Pow x0 Add pi -1 -3 Add -2 atan x0 
Add Mul Pow Mul x7 pi Add Mul coth Mul Mul x0 x6 -4 Mul Pow x0 Add pi -1 -3 -1 Mul Mul Mul x7 pi log Mul x7 pi Add Mul Mul Pow x0 Add pi -1 -3 Mul Mul -1 Pow csch Mul Mul x0 x6 -4 2 Mul -4 x6 Mul coth Mul Mul x0 x6 -4 Mul -3 Mul Pow x0 Add Add pi -1 -1 Add pi -1 Pow Add 1 Mul x0 x0 -1 