sin(t) + sqrt(3)cos(t) = 1