asin asin Mul x0 Mul sec Add x0 x1 sqrt Mul x0 x0 
Mul Mul Add Mul sec Add x0 x1 sqrt Mul x0 x0 Mul x0 Add Mul sqrt Mul x0 x0 Mul tan Add x0 x1 sec Add x0 x1 Mul sec Add x0 x1 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul sec Add x0 x1 sqrt Mul x0 x0 Mul x0 Mul sec Add x0 x1 sqrt Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Mul x0 Mul sec Add x0 x1 sqrt Mul x0 x0 asin Mul x0 Mul sec Add x0 x1 sqrt Mul x0 x0 -1 