Mul Mul x4 Pow Pow acos asech Mul x5 Add x0 4 x0 x0 x1 
Mul x1 Mul x4 Mul Pow Pow acos asech Mul x5 Add x0 4 x0 Add x0 -1 Add Mul x0 Mul Pow acos asech Mul x5 Add x0 4 Add x0 -1 Add Mul x0 Mul -1 Mul Mul x5 Pow Mul Mul Mul x5 Add x0 4 Mul x5 Add x0 4 sqrt Add 1 Mul -1 Pow Mul Mul x5 Add x0 4 Mul x5 Add x0 4 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Mul x5 Add x0 4 asech Mul x5 Add x0 4 -1 Mul acos asech Mul x5 Add x0 4 log acos asech Mul x5 Add x0 4 Mul Pow acos asech Mul x5 Add x0 4 x0 log Pow acos asech Mul x5 Add x0 4 x0 