What is the antiderivative of sinx^4sinx4?