Pow Mul x0 Mul Add x0 Mul x0 Add x0 -4 Mul acosh E 7 4 
Mul Pow Mul x0 Mul Add x0 Mul x0 Add x0 -4 Mul acosh E 7 3 Mul 4 Add Mul Add x0 Mul x0 Add x0 -4 Mul acosh E 7 Mul x0 Mul Mul acosh E 7 Add 1 Add Add x0 -4 x0 