Add x0 Mul Pow x3 6 acsc Mul Pow x7 x0 sec acos x0 
Add 1 Mul Pow x3 6 Mul -1 Mul Add Mul sec acos x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x7 x0 Mul Mul tan acos x0 sec acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x7 x0 sec acos x0 Mul Pow x7 x0 sec acos x0 -1 Mul Pow x7 x0 sec acos x0 Mul Pow x7 x0 sec acos x0 -1 