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