derationalization

not defined yet