Add x0 acosh Mul x7 Mul Pow x3 -0.756802495307928 Pow x0 E 
Add 1 Mul Mul x7 Mul Pow x3 -0.756802495307928 Mul Pow x0 Add E -1 E Pow Mul sqrt Add Mul x7 Mul Pow x3 -0.756802495307928 Pow x0 E -1 sqrt Add 1 Mul x7 Mul Pow x3 -0.756802495307928 Pow x0 E -1 