in default case only reduce first the right hand side and then the left hand side