\int \log{\cos{x}} dx