А дотнет на уровне байт-кода сразу после фронтенда такое разве не может сделать? Ну, чтобы не откладывать такие оптимизации до момента jit-а?
Тут надо быть на 100% уверенным, что программист это написал не по глубоким математическим соображениям. А очень может быть так, что именно по ним он это и написал. abs(sqrt(x)) < abs(x)
и это может влиять на сходимость и точность.