Mul log x1 Pow acosh Mul Mul x0 Add x7 -1 Add x3 Add x0 E 3 
Mul log x1 Mul Pow acosh Mul Mul x0 Add x7 -1 Add x3 Add x0 E 2 Mul 3 Mul Add Mul Add x3 Add x0 E Add x7 -1 Mul x0 Add x7 -1 Pow Mul sqrt Add Mul Mul x0 Add x7 -1 Add x3 Add x0 E -1 sqrt Add 1 Mul Mul x0 Add x7 -1 Add x3 Add x0 E -1 