A few quick tasks look to me like o3-mini-high is 4-10x faster for 80% of the quality. It gives very good and sufficient fast reasoning about coding tasks, but I think I'd ask o1-pro to do the task ie provide the code. o3-mini-high can keep up with you at thinking / typing speed, whereas o1-pro can take several minutes. Just a quick view after playing for an hour.
1. 1/4th time for reasoning for most tasks.
2. Far better results.