Mul log Mul Pow x6 acosh Add x0 -3 x1 x7 
Mul x7 Mul Mul x1 Mul Pow x6 Add acosh Add x0 -3 -1 Mul Mul x6 log x6 Pow Mul sqrt Add Add x0 -3 -1 sqrt Add 1 Add x0 -3 -1 Pow Mul Pow x6 acosh Add x0 -3 x1 -1 