1 2 3 4 5 6 7 8 9 10 11
; COMMAND-LINE: --nl-ext-tf-tplanes ; EXPECT: unsat (set-logic QF_NRAT) (set-info :status unsat) (declare-fun x () Real) (assert (< (exp 1) 2.717)) (assert (= x (exp 1))) (check-sat)