From Bob:
PyStan seems to be using -Os, which optimizes for target size
rather than speed. It’s described as doing all the -O2
optimizations that don’t increase executable size.
I don’t know why it’s not -O3.
If there’s a way to change that -O3 from -Os, I’d be curious as
to how that changes the result.
Before it was -Os, it was -O0: