acos Pow Mul Mul exp E Mul sec acot x0 x0 -1 asin sqrt x7 
Mul -1 Mul Mul Pow Mul Mul exp E Mul sec acot x0 x0 -1 Add asin sqrt x7 -1 Mul asin sqrt x7 Mul -1 Mul exp E Add Mul x0 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 sec acot x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul Mul exp E Mul sec acot x0 x0 -1 asin sqrt x7 Pow Mul Mul exp E Mul sec acot x0 x0 -1 asin sqrt x7 -1 