Pow Mul atanh x0 Add Pow sqrt Mul 3 x0 -2 x0 0.756802495307928 
Mul Pow Mul atanh x0 Add Pow sqrt Mul 3 x0 -2 x0 -0.243197504692072 Mul 0.756802495307928 Add Mul Add Pow sqrt Mul 3 x0 -2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Add Mul Pow sqrt Mul 3 x0 3 Mul -2 Mul Pow Mul 2 sqrt Mul 3 x0 -1 3 1 