Add x0 atan Pow acos asech Mul Mul Pow Mul x3 x1 x0 x0 x0 4 
Add 1 Mul Mul Pow acos asech Mul Mul Pow Mul x3 x1 x0 x0 x0 3 Mul 4 Mul -1 Mul Mul Add Mul x0 Add Mul x0 Mul Pow Mul x3 x1 Add x0 -1 Mul Mul x3 x1 log Mul x3 x1 Pow Mul x3 x1 x0 Mul Pow Mul x3 x1 x0 x0 Pow Mul Mul Mul Mul Pow Mul x3 x1 x0 x0 x0 Mul Mul Pow Mul x3 x1 x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow Mul x3 x1 x0 x0 x0 Mul Mul Pow Mul x3 x1 x0 x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Mul Mul Pow Mul x3 x1 x0 x0 x0 asech Mul Mul Pow Mul x3 x1 x0 x0 x0 -1 Pow Add 1 Mul Pow acos asech Mul Mul Pow Mul x3 x1 x0 x0 x0 4 Pow acos asech Mul Mul Pow Mul x3 x1 x0 x0 x0 4 -1 