Problem 6.16 Square Root Simplification In Ice Tables