The problem I see here is that shooting gymnastics and shooting dance are two very different things. Stage lighting is way different than gymnasium lighting. Distance to stage can be a whole lot shorter than distance to floor from bleachers. Also, with dance, sometimes it's important to get a wider shot, so you can see the whole group dancing at once.
I shoot a lot of theater for my daughter's performances and I love the DA* 50-135 for it. I can crop to get closer if necessary, but the 50 gives me good group perspectives on stage. Sometimes it's not as long as I'd like, but it's long enough.
I don't shoot anything like gymnastics in a gym, but I'd imagine longer would be better, and the lighting can be dismal. I would not go for f/4. Fluorescents in a gym can be terrible, even though it
seems bright. It's usually not bright enough.
with the DA* 50-135mm... this was on a K-x before I had the K-5...