radical simplification (step 1)