Sixth derivative of x sin(2^x) at x = 0