Symbol: poly_encode_signed_two_to_power_17