︠016f7823-cde1-4d4d-84e3-b20a37c38c5bs︠ var('x,y') y = function('y')(x) eqn = diff(x^2+y^2==25,x) sol0 = solve(eqn, diff(y,x)) sol1 = sol0[0].subs({x:3}) sol1.subs({y(x=3):4}) ︡4d8723a4-e230-47a1-8693-c95d93b883d2︡︡{"stdout":"(x, y)\n","done":false}︡{"stdout":"D[0](y)(3) == (-3/4)\n","done":false}︡{"done":true} ︠fddf0173-a24a-41c6-b4c1-eecad99d4e8d︠ ︠290f7f3a-98fe-4977-aa06-8a459215c444︠