逆向的要求是需要知道变换前的 d 和变换后的 d’ 两个,即 定义域值域

所以对所有 进行定义域上的覆盖,试图解出对应关系 in (input)