Mul Add Mul x1 acosh Mul x1 0.244978663126864 x0 Add Add x3 Mul x6 5 Mul Mul Mul -0.995054753686730 x0 E x4 
Add Add Add x3 Mul x6 5 Mul Mul Mul -0.995054753686730 x0 E x4 Mul Add Mul x1 acosh Mul x1 0.244978663126864 x0 Mul x4 Mul E -0.995054753686730 