derationalize
not defined yet