Add Pow x0 -2 Pow x0 tan Pow Mul -2 Pow x7 x0 acos x0 
Add Mul Pow x0 3 -2 Mul Pow x0 Add tan Pow Mul -2 Pow x7 x0 acos x0 -1 Add tan Pow Mul -2 Pow x7 x0 acos x0 Mul Mul x0 log x0 Mul Pow sec Pow Mul -2 Pow x7 x0 acos x0 2 Mul Pow Mul -2 Pow x7 x0 Add acos x0 -1 Add Mul acos x0 Mul -2 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Mul Mul -2 Pow x7 x0 log Mul -2 Pow x7 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 