Mul Pow Mul x2 atan x0 Add sec Add x1 x0 x7 coth x0 
Add Mul coth x0 Mul Pow Mul x2 atan x0 Add Add sec Add x1 x0 x7 -1 Add Mul Add sec Add x1 x0 x7 Mul x2 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x2 atan x0 log Mul x2 atan x0 Mul tan Add x1 x0 sec Add x1 x0 Mul Pow Mul x2 atan x0 Add sec Add x1 x0 x7 Mul -1 Pow csch x0 2 