Symbol: real_part_reciprocal