sqrt(13-x) = 3