add simpl to solve_goal

2 jobs for time/reduceZ in 16 minutes and 26 seconds (queued for 1 second)