Symbol: log2_div_eq_t