Mul 1.54308063481524 asin asech Pow Add Mul x6 x0 x0 Mul x3 x0 
Mul 1.54308063481524 Mul Mul Mul Pow Add Mul x6 x0 x0 Add Mul x3 x0 -1 Add Mul Mul x3 x0 Add x6 1 Mul Mul Add Mul x6 x0 x0 log Add Mul x6 x0 x0 x3 Pow Mul Mul Pow Add Mul x6 x0 x0 Mul x3 x0 Pow Add Mul x6 x0 x0 Mul x3 x0 sqrt Add 1 Mul -1 Pow Mul Pow Add Mul x6 x0 x0 Mul x3 x0 Pow Add Mul x6 x0 x0 Mul x3 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Pow Add Mul x6 x0 x0 Mul x3 x0 asech Pow Add Mul x6 x0 x0 Mul x3 x0 -1 