Mul x0 Pow x0 asin Pow Pow Add 2 x0 1.73205080756888 x3 
Add Pow x0 asin Pow Pow Add 2 x0 1.73205080756888 x3 Mul x0 Mul Pow x0 Add asin Pow Pow Add 2 x0 1.73205080756888 x3 -1 Add asin Pow Pow Add 2 x0 1.73205080756888 x3 Mul Mul x0 log x0 Mul Mul Pow Pow Add 2 x0 1.73205080756888 Add x3 -1 Mul x3 Mul Pow Add 2 x0 0.732050807568877 1.73205080756888 Pow sqrt Add 1 Mul -1 Mul Pow Pow Add 2 x0 1.73205080756888 x3 Pow Pow Add 2 x0 1.73205080756888 x3 -1 