Mul 3 coth Mul exp Pow Mul x0 atan x7 x0 -2 
Mul 3 Mul Mul -1 Pow csch Mul exp Pow Mul x0 atan x7 x0 -2 2 Mul -2 Mul exp Pow Mul x0 atan x7 x0 Mul Pow Mul x0 atan x7 Add x0 -1 Add Mul x0 atan x7 Mul Mul x0 atan x7 log Mul x0 atan x7 