Is x^2+3x^{\frac{1}{2}}x2+3x12 a polynomial?