Symbol: log2_mul