Mul Mul x0 log sec acot cosh Pow x0 Mul x0 atan x0 Add Mul Pow Pow x0 x7 x1 -2 x2 
Add Mul Add Mul Pow Pow x0 x7 x1 -2 x2 Add log sec acot cosh Pow x0 Mul x0 atan x0 Mul x0 Mul Mul Mul tan acot cosh Pow x0 Mul x0 atan x0 sec acot cosh Pow x0 Mul x0 atan x0 Mul -1 Mul Mul sinh Pow x0 Mul x0 atan x0 Mul Pow x0 Add Mul x0 atan x0 -1 Add Mul x0 atan x0 Mul Mul x0 log x0 Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul cosh Pow x0 Mul x0 atan x0 cosh Pow x0 Mul x0 atan x0 -1 Pow sec acot cosh Pow x0 Mul x0 atan x0 -1 Mul Mul x0 log sec acot cosh Pow x0 Mul x0 atan x0 Mul -2 Mul Pow Pow x0 x7 Add x1 -1 Mul x1 Mul Pow x0 Add x7 -1 x7 