How to implicitly differentiate an evaluate through a point