cos(x)+log(2)sin(x)=0