1 ; COMMAND-LINE: --nl-ext=none
5 (declare-fun _substvar_15_ () Real)
6 (declare-fun _substvar_17_ () Real)
7 (assert (let ((?v_1 (<= 0.0 _substvar_15_))) (and ?v_1 (and ?v_1 (and ?v_1 (= (* _substvar_15_ _substvar_15_) (+ 1 (* _substvar_17_ (* _substvar_17_ (- 1))))))))))