log_2(2x) を簡約します。