Add multiplication/division iff coeff > 1

2 jobs for VERIPB2 in 40 minutes and 9 seconds (queued for 17 seconds)