How do y simplify sqrt252?