atan Pow Add -2 coth Add Mul x0 -1 Mul sin x3 x3 Pow 2 csch x7 
Mul Mul Pow Add -2 coth Add Mul x0 -1 Mul sin x3 x3 Add Pow 2 csch x7 -1 Mul Pow 2 csch x7 Mul Mul -1 Pow csch Add Mul x0 -1 Mul sin x3 x3 2 -1 Pow Add 1 Mul Pow Add -2 coth Add Mul x0 -1 Mul sin x3 x3 Pow 2 csch x7 Pow Add -2 coth Add Mul x0 -1 Mul sin x3 x3 Pow 2 csch x7 -1 