unreduced

(unreduced x)

x が reduced 値ならその中身を、そうでなければ x 自身を返します。値としては 1引数の関数です。