minimize (30*t*cos(pi/3)-12-15*t*cos x)^2 + (30t*sin(pi/3) - 15*t*sin x)^2