asech asin Mul x0 Add E 1 
Mul Mul Add E 1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add E 1 Mul x0 Add E 1 -1 Pow Mul Mul asin Mul x0 Add E 1 asin Mul x0 Add E 1 sqrt Add 1 Mul -1 Pow Mul asin Mul x0 Add E 1 asin Mul x0 Add E 1 -1 -1 