Implicit differentiation

Given an equation of two variables x and y that might be difficult (or impossible?) to solve for y. y as an implicit function of x; "embedded" with x.
Can differentiate without solving for y. Differentiate both sides of the equation with respect to x; each y becoming dy/dx, or y', then solve for y'.
Now have a "formula" for the derivative.

Example differentiating:
(y3)' = 3y2y'
(x+3y)' = 1+3y'
(xy2)' = 1y2 + x2yy' = y2 + 2xyy'

Example equations:
x3+xy = 7-y3
(x3+xy)' = (7-y3)'
3x2+ y+xy' = 3y2y'
3x2+ y = 3y2y'-xy'
y'= (3x2+y) / (3y2-x)

sin y = x
(sin y)' = (x)'
cos y y' = 1
y' = 1 / cos y = ... = 1 / √(1-x2)