Mul pi Mul x0 Mul Mul x0 asin Mul Add sqrt x0 E x0 x1 
Mul pi Add Mul Mul x0 asin Mul Add sqrt x0 E x0 x1 Mul x0 Mul x1 Add asin Mul Add sqrt x0 E x0 Mul x0 Mul Add Mul x0 Pow Mul 2 sqrt x0 -1 Add sqrt x0 E Pow sqrt Add 1 Mul -1 Mul Mul Add sqrt x0 E x0 Mul Add sqrt x0 E x0 -1 