asin Mul Add x0 Pow sec E Add x0 Mul x0 Mul x7 x0 5 
Mul Mul 5 Add 1 Mul Pow sec E Add Add x0 Mul x0 Mul x7 x0 -1 Mul Mul sec E log sec E Add 1 Add Mul x7 x0 Mul x0 x7 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 Pow sec E Add x0 Mul x0 Mul x7 x0 5 Mul Add x0 Pow sec E Add x0 Mul x0 Mul x7 x0 5 -1 