Symbol: oalog2_div_eq