I don't have access to o1-pro, but in my testing R1 performs noticably worse than o1.

It's more fun to use though because you can read the reasoning tokens live so I end up using it anyway.