Mul x7 Add Mul x0 Add acosh Mul -4 x0 Add sqrt x0 0.648054273663885 x3 
Mul x7 Add Add acosh Mul -4 x0 Add sqrt x0 0.648054273663885 Mul x0 Add Mul -4 Pow Mul sqrt Add Mul -4 x0 -1 sqrt Add 1 Mul -4 x0 -1 Pow Mul 2 sqrt x0 -1 