normal line to 6cos(x) at x=pi/3