Let f f be the function defined by f ( x ) = cos ⁡ ( π 2 x ) . f(x)=cos( 2 π ​ x). What is the average value of f f on the interval [ 1 3 , 7 3 ] [ 3 1 ​ , 3 7 ​ ] written in simplest form?