I'm no expert but here's some stuff I know about simplifying which might be of help.
It depends on what the values of LIM can be
FLOOR(v/1) = v
//Unless v is double then
FLOOR(v/1) = FLOOR(v)
LIM ^ 0 = (LIM < 0 ? -1 : 1)
//So
FLOOR(v / LIM ^ 0)) = (LIM < 0 ? -v : v)
//Unless v is double then
FLOOR(v / LIM ^ 0)) = FLOOR(LIM < 0 ? -v : v)
I don't see how you could remove v without effecting outcome, but then I never was any good at algebra