Mul Mul x3 x0 sqrt Add Pow Mul x0 -3 x0 Pow Add acosh x0 Add Mul -1.37340076694502 x0 -3 -0.841470984807897 
Add Mul sqrt Add Pow Mul x0 -3 x0 Pow Add acosh x0 Add Mul -1.37340076694502 x0 -3 -0.841470984807897 x3 Mul Mul x3 x0 Mul Pow Mul 2 sqrt Add Pow Mul x0 -3 x0 Pow Add acosh x0 Add Mul -1.37340076694502 x0 -3 -0.841470984807897 -1 Add Mul Pow Mul x0 -3 Add x0 -1 Add Mul x0 -3 Mul Mul x0 -3 log Mul x0 -3 Mul Pow Add acosh x0 Add Mul -1.37340076694502 x0 -3 -1.84147098480790 Mul -0.841470984807897 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 -1.37340076694502 