asin Mul Mul Pow Add x0 E x0 x0 sec x6 
Mul Mul sec x6 Add Mul x0 Mul Pow Add x0 E Add x0 -1 Add x0 Mul Add x0 E log Add x0 E Pow Add x0 E x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul Pow Add x0 E x0 x0 sec x6 Mul Mul Pow Add x0 E x0 x0 sec x6 -1 