solve cos(x)=cos(ln(x