acosh Add x7 sqrt Mul Add -0.841470984807897 x0 Mul Mul -2 Mul Mul x0 x0 x4 x0 
Mul Mul Pow Mul 2 sqrt Mul Add -0.841470984807897 x0 Mul Mul -2 Mul Mul x0 x0 x4 x0 -1 Add Mul Mul -2 Mul Mul x0 x0 x4 x0 Mul Add -0.841470984807897 x0 Add Mul x0 Mul -2 Mul x4 Add x0 x0 Mul -2 Mul Mul x0 x0 x4 Pow Mul sqrt Add Add x7 sqrt Mul Add -0.841470984807897 x0 Mul Mul -2 Mul Mul x0 x0 x4 x0 -1 sqrt Add 1 Add x7 sqrt Mul Add -0.841470984807897 x0 Mul Mul -2 Mul Mul x0 x0 x4 x0 -1 