How To Implicitly Differentiate Exygon