(define (sprod p)
  (lambda (x) (accumulate * 1 1 p
              (lambda (currA) (accumulate + 0 0 currA
                          (lambda (k) (/ (* (pow-it (- 1) x) (pow-it x (+ (* 2 x ) 1) ) ) (fact (+ (* 2 x) 1) ) ) )
                          (lambda (k) (+ (* 2 x) 1 ) ) ))
              (lambda (k) (+ 1 k) ) )))