Add Pow sec Pow x1 x0 Add x0 Mul sqrt Pow x0 Pow acot x7 x2 x7 -2 
Mul Pow sec Pow x1 x0 Add Add x0 Mul sqrt Pow x0 Pow acot x7 x2 x7 -1 Add Mul Add x0 Mul sqrt Pow x0 Pow acot x7 x2 x7 Mul Mul tan Pow x1 x0 sec Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul sec Pow x1 x0 log sec Pow x1 x0 Add 1 Mul x7 Mul Pow Mul 2 sqrt Pow x0 Pow acot x7 x2 -1 Mul Pow x0 Add Pow acot x7 x2 -1 Pow acot x7 x2 