Add Mul Pow sec Mul -5 x0 x7 asin asin Mul Mul 7 Add 4 x0 x3 -3 
Add Mul asin asin Mul Mul 7 Add 4 x0 x3 Mul Pow sec Mul -5 x0 Add x7 -1 Mul x7 Mul Mul tan Mul -5 x0 sec Mul -5 x0 -5 Mul Pow sec Mul -5 x0 x7 Mul Mul Mul x3 7 Pow sqrt Add 1 Mul -1 Mul Mul Mul 7 Add 4 x0 x3 Mul Mul 7 Add 4 x0 x3 -1 Pow sqrt Add 1 Mul -1 Mul asin Mul Mul 7 Add 4 x0 x3 asin Mul Mul 7 Add 4 x0 x3 -1 