أوجد المدخل

يعمل السؤال أيضًا بالعكس: ما الإدخال الذي يعطي ناتجًا مطلوبًا؟ «أوجد x بحيث تكون f(x) = 11» من أجل f(x) = 3x + 2 يفكك الاسم إلى قاعدته ويستخدم solve:

3x + 2 = 11

3x = 9

x = 3

يحوّل التقييم الإدخال إلى ناتج؛ أما solve فيعيدنا من الناتج إلى الإدخال. القاعدة نفسها، لكن في اتجاهين متعاكسين.

خطوة unfold، التي تستبدل f(x) بما تمثّله، هي الحركة الجديدة الوحيدة؛ وكل ما يأتي بعدها هو حلّ المعادلة في القسم الأول.