acosh Add Mul x0 Mul -0.964027580075817 x0 -2 
Mul Add Mul -0.964027580075817 x0 Mul x0 -0.964027580075817 Pow Mul sqrt Add Add Mul x0 Mul -0.964027580075817 x0 -2 -1 sqrt Add 1 Add Mul x0 Mul -0.964027580075817 x0 -2 -1 