solve over reals ln(cos(x)) >= 0