# trigonometry
cos x1 a
sin y1 a
* x x1 r
* y y1 r