Add -3 acosh Add Add Mul x0 -0.841470984807897 exp x0 0.385357426483271 
Mul Add -0.841470984807897 exp x0 Pow Mul sqrt Add Add Add Mul x0 -0.841470984807897 exp x0 0.385357426483271 -1 sqrt Add 1 Add Add Mul x0 -0.841470984807897 exp x0 0.385357426483271 -1 