Reduced expression to similar format as previous subgoal