Symbol: log2_div_eq