acsch Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 x6 
Mul Mul -1 Mul Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 Add x6 -1 Mul x6 Mul x7 Add Mul Mul x0 4 x5 Mul x0 Mul x5 4 Pow Mul Mul Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 x6 Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 x6 sqrt Add 1 Mul -1 Pow Mul Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 x6 Pow Mul x7 Add Mul x0 Mul Mul x0 4 x5 x1 x6 -1 -1 