sin(x)-sqrt(3)*cos(x)