Error in 20.7s

Runtime

Time bar (total: 20.7s)Debug log

start237.0ms

Algorithm
intervals

setup500.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (+ (* a a) (* b b)) 2)
0.0b
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b)))
0.0b
(+ (* a a) (* b b))
0.0b
(* 4 (* b b))

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

20.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b)))
3.0ms
(pow (+ (* a a) (* b b)) 2)
2.0ms
(+ (* a a) (* b b))

series99.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

41.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b)))
31.0ms
(pow (+ (* a a) (* b b)) 2)
15.0ms
(+ (* a a) (* b b))

simplify1.3s

Counts
25 → 73
Calls

25 calls. Slowest were:

191.0ms
(* (exp (pow (+ (* a a) (* b b)) 2)) (exp (* 4 (* b b))))
181.0ms
(sqrt (pow (+ (* a a) (* b b)) 2))
148.0ms
(+ (* 2 (* (pow a 2) (pow b 2))) (+ (* 4 (pow b 2)) (pow a 4)))

prune990.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a b) (* a b))
0.0b
(fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))
0.0b
(+ (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))) (* 4 (* b b)))
0.0b
(* 4 (* b b))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

3.0ms
(+ (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))) (* 4 (* b b)))
3.0ms
(* (* a b) (* a b))
1.0ms
(* 4 (* b b))

series137.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

61.0ms
(+ (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))) (* 4 (* b b)))
41.0ms
(fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))
19.0ms
(* 4 (* b b))

simplify1.8s

Counts
22 → 68
Calls

22 calls. Slowest were:

615.0ms
(* (* (* (* a b) (* a b)) (* a b)) (* (* (* a b) (* a b)) (* a b)))
172.0ms
(+ (* 2 (* (pow a 2) (pow b 2))) (+ (* 4 (pow b 2)) (pow a 4)))
167.0ms
(* (exp (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))) (exp (* 4 (* b b))))

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (fma b b (* a a)) (+ (* a a) (* b b)) (* 4 (* b b)))
0.0b
(+ (* a a) (* b b))
0.0b
(* 4 (* b b))
0.0b
(fma b b (* a a))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 45
Calls

4 calls. Slowest were:

5.0ms
(+ (* a a) (* b b))
1.0ms
(* 4 (* b b))
0.0ms
(fma (fma b b (* a a)) (+ (* a a) (* b b)) (* 4 (* b b)))

series110.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

45.0ms
(fma (fma b b (* a a)) (+ (* a a) (* b b)) (* 4 (* b b)))
29.0ms
(fma b b (* a a))
19.0ms
(* 4 (* b b))

simplify429.0ms

Counts
13 → 57
Calls

13 calls. Slowest were:

149.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (* 4 (pow b 2))))
133.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))
92.0ms
(+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))

prune744.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize15.0ms

Local error

Found 4 expressions with local error:

17.3b
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
17.3b
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
17.3b
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
0.4b
(* (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))) (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

5.0ms
(* (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))) (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))))
1.0ms
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
1.0ms
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))

series570.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

152.0ms
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
141.0ms
(cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
141.0ms
(* (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))) (cbrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))))

simplify2.4s

Counts
41 → 81
Calls

41 calls. Slowest were:

143.0ms
(* (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))) (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
139.0ms
(* (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))) (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4))))
126.0ms
(cbrt (sqrt (fma (* (* a b) (* a b)) 2 (+ (pow b 4) (pow a 4)))))

prune1.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes109.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (a b)
  :name "Bouland and Aaronson, Equation (26)"
  (- (+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b))) 1))

Backtrace

partition: contract violation expected: list? given: 0.009894983917097299 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128