sin(sqrt(3)*x) + sin(x+1)= 0, solve for x