Note by snicolet: I use this non-functional change patch as a pretext to correct the wrong bench number I introduced in the message of the previous commit.
These two simplifications appear to be affecting and/or offsetting each other. Neither can be removed independently, but in combination they pass -3,1.