integral x^3 * ln(x/2) dx