Runtime

Time bar (total: 10.0m) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1491116092 2728141720 1661291233 1656418562 1371115622 1455964555)'
(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))