#include <iostream>
#include <kv/defint-singular.hpp>

typedef kv::interval<double> itv;

struct LogCos {
	template <class T> T operator()(const T& x) {
		return log(1-cos(x));
	}
};

struct LogCos_s {
	template <class T> T operator()(const T& x) {
		return 1-cos(x);
	}
};

int main() {
	std::cout.precision(17);

	std::cout << kv::defint_log2_autostep(LogCos(), LogCos_s(), (itv)0., (itv)1., 12, 2) << "\n";
}