Symbol: mul_by_x