move normalize_and_simpl_goal to the beginning of unprepared_solve_goal

2 jobs for master in 19 minutes and 1 second (queued for 3 seconds)