Add -1 Pow 3 Add Mul Add x3 0.785398163397448 asech asin x0 x0 
Mul Pow 3 Add Add Mul Add x3 0.785398163397448 asech asin x0 x0 -1 Mul 4.09861228866811 Add Mul Add x3 0.785398163397448 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul asin x0 asin x0 sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 -1 1 