An Approach to Specifying and Automatically Optimizing Fourier Transform Based Operations