On a doubled die the devices are enlarged, not reduced. On
Machine Doubling the devices are reduced. So you have
Machine Doubling.
Machine Doubling happens after the strike. A slight bounce/swing that is like a kick in the shins. Note on your coin: See on the affected area:
1. The area is flat, shelf like.
2. The contour of the coin is removed on that side of the devices.
3. The overall size of the devices are reduced in size.
On a doubled die, the doubling is on the die and hubbed on to the die, thus the term doubled die. Here is an example:

Note on this doubled die, not just the date is affected:

Even the mintmark is affected:

This is a Doubled die even on the mintmark since 1990, there are no more RPMs, but affect mintmarks are then called doubled dies in 1990 forward coins.
Machine Doubling is very common. Even a doubled die can be affected with
Machine Doubling. But your coin is normal, with
Machine Doubling that happened after the strike. Just a common coin.