Mul Pow x3 Mul x1 Add Mul x0 Add Mul Pow Pow sec Pow x0 acot Mul x6 x0 x7 x0 -4 x0 asec tanh x7 2 
Mul 2 Mul Pow x3 Add Mul x1 Add Mul x0 Add Mul Pow Pow sec Pow x0 acot Mul x6 x0 x7 x0 -4 x0 asec tanh x7 -1 Mul Mul x3 log x3 Mul x1 Add Add Mul Pow Pow sec Pow x0 acot Mul x6 x0 x7 x0 -4 x0 Mul x0 Add Mul -4 Mul Pow Pow sec Pow x0 acot Mul x6 x0 x7 Add x0 -1 Add Mul x0 Mul Pow sec Pow x0 acot Mul x6 x0 Add x7 -1 Mul x7 Mul Mul tan Pow x0 acot Mul x6 x0 sec Pow x0 acot Mul x6 x0 Mul Pow x0 Add acot Mul x6 x0 -1 Add acot Mul x6 x0 Mul Mul x0 log x0 Mul -1 Mul x6 Pow Add 1 Mul Mul x6 x0 Mul x6 x0 -1 Mul Pow sec Pow x0 acot Mul x6 x0 x7 log Pow sec Pow x0 acot Mul x6 x0 x7 1 