x=(10+2\cdot5^\frac{1}{2})^\frac{1}{2}