Реализовать циклы через loop и do

(defun loop-product-[x-1]^2/i*x^3 (x n)
  (reduce #'* (loop for i from 1 to n
                    collect (/ (expt (- x 1) 2)
                               (* i (expt x 3))))))
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375

(defun loop-product-[x-1]^2/i*x^3 (x n)
  (reduce #'* (loop for a from 1 to n collect a)
          :key #'(lambda (i)(/ (expt (- x 1) 2)
                               (* i (expt x 3))))))
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375

(defun loop-product-[x-1]^2/i*x^3 (x n &aux (z 1))
  (loop for i from 1 to n do
        (setf z (* z (/ (expt (- x 1) 2)
                        (* i (expt x 3)))))
        finally (return z)))
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375

(defun loop-product-[x-1]^2/i*x^3 (x n &aux (z 1))
  (do ((i 1 (+ i 1)))
      ((> i n) z)
    (setf z (* z (/ (expt (- x 1) 2)
                    (* i (expt x 3)))))))
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375

(defun loop-product-[x-1]^2/i*x^3 (x n &aux (z 1))
  (dotimes (i n z)
    (setf z (* z (/ (expt (- x 1) 2)
                    (* (1+ i) (expt x 3)))))))
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375

(defun loop-product-[x-1]^2/i*x^3 (x n &aux (z 1))
  (dotimes (i n)
    (setf z (* z (/ (expt (- x 1) 2)
                    (* (1+ i) (expt x 3))))))
  z)
 
> (loop-product-[x-1]^2/i*x^3 5 7)
16777216/150203704833984375