(println "new-cs.lisp")
(setup 
  (let* [aux (scalar 3)
      x (alloc "x" aux)
      x2 (alloc "x2" (* aux aux))
      x3 (alloc "x3" (* aux (* aux aux)))
      input (alloc-input "input variable" aux)]
  ;; (enforce left right output)
  (
  (enforce  
    (scalar::one x)
    (scalar::one x)
    (scalar::one x2)
  )

  (enforce 
    (scalar::one x2)
    (scalar::one x)
    (scalar::one x3)
  )

  (enforce 
    (scalar::one input)
    (scalar::one cs::one)
    (scalar::one x3)  
  )

  ;; (enforce 
  ;;   (scalar::one tmp) 
  ;;   ((scalar::one left_i) (mimc_constant cs::one)) 
  ;;   ((scalar::one left_i_1) ((neg scalar::one) right))
  ;;  )
  )
))
(prove))
;; (println 'verify  (MyCircuit (scalar 27)))