You forgot a multiplier and that is "increases the productivity of their peers and the company."
A 10X developer isn't necessarily more productive in themselves, but they enable increased productivity in everything and everyone they touch.
A strong lead developer who has keen business acumen, steers product strategy to increase value, mentors their peers to up their game and increase their productivity is where you separate the 1X developers from the 10X+ developers. When you end up with a team of these people, this is where magic is made. A developer that brings this value may be many times more than a 10X developer.
A 10X developer isn't necessarily more productive in themselves, but they enable increased productivity in everything and everyone they touch.
A strong lead developer who has keen business acumen, steers product strategy to increase value, mentors their peers to up their game and increase their productivity is where you separate the 1X developers from the 10X+ developers. When you end up with a team of these people, this is where magic is made. A developer that brings this value may be many times more than a 10X developer.