Square roots and simplification of expressions