Python. Sympy. Как посчитать произведение последовательности чисел?

Допустим, есть последовательность функций cos(x/2^k). Требуется найти произведение этих функций при k от 1 до бесконечности. Вот есть сумма ряда - тут у sympy все понятно и просто, мне нужен такой же аналог, но для произведения. Гугл мне ничего вменяемого давать не хочет, по sympy вообще мало информации. Как посчитать произведение бесконечного функционального ряда?