def f(x, y): a = x * x def mula(z): return a * z _, bprop = J(mula)(J(y)) return bprop(1)[1]
def f(x, y): def sqx(): return x * x def mulsqx(z): return sqx() * z _, bprop = J(mulsqx)(J(y)) return bprop(1)[1]