#4130 lambdify