Pow asech Mul Mul x0 x0 asin x0 32 
Mul Pow asech Mul Mul x0 x0 asin x0 31 Mul 32 Mul Add Mul asin x0 Add x0 x0 Mul Mul x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul Mul x0 x0 asin x0 Mul Mul x0 x0 asin x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 asin x0 Mul Mul x0 x0 asin x0 -1 -1 