(FPCore (x) :name "NMSE example 3.1" :cite (hamming-1987 herbie-2015) :fpbench-domain textbook :precision binary32 :pre (>= x 0) (- (sqrt (+ x 1)) (sqrt x)))