/2 を *0.5 へ置き換えると結果が同じにならないから、まともなコンパイラは (少なくともデフォルトでは) そんな最適化はしないはず