antiderivative of 63xcos(7x)