What is the integral of cos^3x from 0 to pi?