Suppose I want to expand $\cos(x)^{4}$ as in a series of functions $C_{k}=(1/2-\cos(kx))$. That is $\cos(4x)=k_0 C_0+k_1 C_1 + k_2 C_2 \cdots$ and I am looking for coefficients $k$
Now, I can use trig_reduce() to express $\cos(x)^{4}$ as a sum $\cos(kx)$, but how do I get get $\cos(x)^4$ in terms of $C_{k}$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.86710954,"math_prob":0.9999894,"size":332,"snap":"2021-21-2021-25","text_gpt3_token_len":127,"char_repetition_ratio":0.14329268,"word_repetition_ratio":0.0,"special_character_ratio":0.41265061,"punctuation_ratio":0.05263158,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000043,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-05-11T05:22:36Z\",\"WARC-Record-ID\":\"<urn:uuid:e8d62f16-64a5-4e76-8827-4d51c5088f4d>\",\"Content-Length\":\"15027\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:307246ad-bbc3-4544-b32c-7219d7ae654f>\",\"WARC-Concurrent-To\":\"<urn:uuid:a1a24aef-1120-4467-b6b5-39d78eeca39e>\",\"WARC-IP-Address\":\"194.254.163.53\",\"WARC-Target-URI\":\"https://ask.sagemath.org/questions/10596/revisions/\",\"WARC-Payload-Digest\":\"sha1:D44JZ4QU6L7IM5CQ2WNWMZNRF2QTEA2L\",\"WARC-Block-Digest\":\"sha1:T3QYAWWJJWIKJ7QGM2UHZUFXW7SFBX3F\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-21/CC-MAIN-2021-21_segments_1620243991641.5_warc_CC-MAIN-20210511025739-20210511055739-00245.warc.gz\"}"}