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

typedef kv::interval<double> itv;

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

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

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

	std::cout << kv::defint_power2_autostep(Func2(), Func2_s(), (itv)0., (itv)1., 12, (itv)0.5, 2) << "\n";
}