static public double rec_raise(double x, int k) {
		if (k == 0) {
			return 1.0;
		} else {
			counter++;
			return x * rec_raise(x, k - 1);
		}
	}