Simplifying square roots of negative numbers