How To Implicitly Differentiate Exy