acot Add tan Pow x7 x0 Pow sec Mul x6 x0 Mul 2 x0 
Mul -1 Mul Add Mul Pow sec Pow x7 x0 2 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow sec Mul x6 x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Mul tan Mul x6 x0 sec Mul x6 x0 x6 Mul Mul sec Mul x6 x0 log sec Mul x6 x0 2 Pow Add 1 Mul Add tan Pow x7 x0 Pow sec Mul x6 x0 Mul 2 x0 Add tan Pow x7 x0 Pow sec Mul x6 x0 Mul 2 x0 -1 