Mul x4 Pow Add x0 Add -2 Mul Mul atanh Pow x0 1.73205080756888 Mul x2 x0 x0 x4 
Mul x4 Mul Pow Add x0 Add -2 Mul Mul atanh Pow x0 1.73205080756888 Mul x2 x0 x0 Add x4 -1 Mul x4 Add 1 Add Mul x0 Add Mul Mul x2 x0 Mul Mul Pow x0 0.732050807568877 1.73205080756888 Pow Add 1 Mul -1 Mul Pow x0 1.73205080756888 Pow x0 1.73205080756888 -1 Mul atanh Pow x0 1.73205080756888 x2 Mul atanh Pow x0 1.73205080756888 Mul x2 x0 