Simplifying a radical

Jean Egbert