(set-logic ALL)
(assert (= (fp (_ bv0 1) (_ bv0 1) (_ bv0 10)) (fp (_ bv0 1) (_ bv0 5) (_ bv0 10))))