derivative ( product (1-x^2/k^2), k=1 to infinity ) * x