What is the integral of sin4xcos4x dx?