Runtime

Time bar (total: 10.0m) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1267978416 3417927290 2285011453 1752691980 2843127420 1559326965)'
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (25)"
  (- (+ (sqr (+ (sqr a) (sqr b))) (* 4 (+ (* (sqr a) (+ 1 a)) (* (sqr b) (- 1 (* 3 a)))))) 1))