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