Add -3 Pow Mul Pow acosh Mul x0 Add x7 x1 -4 Mul x0 -2 x1 
Mul Pow Mul Pow acosh Mul x0 Add x7 x1 -4 Mul x0 -2 Add x1 -1 Mul x1 Add Mul Mul x0 -2 Mul Pow acosh Mul x0 Add x7 x1 5 Mul -4 Mul Add x7 x1 Pow Mul sqrt Add Mul x0 Add x7 x1 -1 sqrt Add 1 Mul x0 Add x7 x1 -1 Mul Pow acosh Mul x0 Add x7 x1 -4 -2 