im not sure if this is a plug in chug later on. please help
implicit differentiation
ey=x|chain ruleey⋅y′=1y′=1ey|1ey=xy′=1x