Mul acot acsc x3 Add Mul Pow x1 Pow atan x7 x0 coth Add x0 Mul x0 x2 x2 
Mul acot acsc x3 Add Mul coth Add x0 Mul x0 x2 Mul Pow x1 Add Pow atan x7 x0 -1 Mul Mul x1 log x1 Mul Pow atan x7 Add x0 -1 Mul atan x7 log atan x7 Mul Pow x1 Pow atan x7 x0 Mul Mul -1 Pow csch Add x0 Mul x0 x2 2 Add 1 x2 