Pow Add Pow x0 atan atan x2 Pow Pow Pow Pow x7 5 x0 x1 atan csch x7 Add -4 x0 
Mul Pow Add Pow x0 atan atan x2 Pow Pow Pow Pow x7 5 x0 x1 atan csch x7 Add Add -4 x0 -1 Add Mul Add -4 x0 Add Mul Pow x0 Add atan atan x2 -1 atan atan x2 Mul Pow Pow Pow Pow x7 5 x0 x1 Add atan csch x7 -1 Mul atan csch x7 Mul Pow Pow Pow x7 5 x0 Add x1 -1 Mul x1 Mul Pow Pow x7 5 Add x0 -1 Mul Pow x7 5 log Pow x7 5 Mul Add Pow x0 atan atan x2 Pow Pow Pow Pow x7 5 x0 x1 atan csch x7 log Add Pow x0 atan atan x2 Pow Pow Pow Pow x7 5 x0 x1 atan csch x7 