It's been a while (long while) since I looked at crop sensor lenses, but Tokina 10-17mm fisheye zoom every time. Should be easy on the budget.
It's a bonkers 180º rectilinear (so square image, not a circle in the frame which personally I'm not a fan of) fisheye at 10mm, but to stop it being a one trick pony, zoom in to 12-15mm and it's just a bendy bonkers super wide angle lens. So it's not the usual fisheye one trick pony.