(in x a b c d e f g h i j k l m n o p)
(out y)
(verify x y)

(program
    (= t1
        (* x a))
    (= t2
        (* x (+ t1 b)))
    (= t3
        (* x (+ t2 c)))
    (= t4
        (* x (+ t3 d)))
    (= t5
        (* x (+ t4 e)))
    (= t6
        (* x (+ t5 f)))
    (= t7
        (* x (+ t6 g)))
    (= t8
        (* x (+ t7 h)))
    (= t9
        (* x (+ t8 i)))
    (= t10
        (* x (+ t9 j)))
    (= t11
        (* x (+ t10 k)))
    (= t12
        (* x (+ t11 l)))
    (= t13
        (* x (+ t12 m)))
    (= t14
        (* x (+ t13 n)))
    (= t15
        (* x (+ t14 o)))
    (= y
        (* 1 (+ t15 p))))