1 2 3 4 5 6 7 8 9 10 11
; COMMAND-LINE: --nl-ext ; EXPECT: unsat (set-logic QF_UFNRA) (set-info :status unsat) (declare-fun x () Real) (assert (= (sin x) 0.24)) (assert (= (cos x) 0.4)) (assert (= (tan x) 0.5)) (check-sat)