You have some point and you want to rotate it degrees about another point .

As always, we draw the situation (including the knowns, unknowns, and any needed auxillary elements). We then try to express our unknown (the new point, ) in terms of our knowns.

Here is an implementation of the above solution in iodide.