Error in 23.7s

Runtime

Time bar (total: 23.7s)Debug log

start210.0ms

Algorithm
intervals

setup364.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize41.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))

rewrite40.0ms

Algorithm
rewrite-expression-head
Counts
4 → 45
Calls

4 calls. Slowest were:

28.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b)))
5.0ms
(pow (+ (* a a) (* b b)) 2)
4.0ms
(+ (* a a) (* b b))

series120.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

53.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (* b b)))
25.0ms
(pow (+ (* a a) (* b b)) 2)
24.0ms
(+ (* a a) (* b b))

simplify904.0ms

Counts
19 → 57
Calls

19 calls. Slowest were:

163.0ms
(* (exp (pow (+ (* a a) (* b b)) 2)) (exp (* 4 (* b b))))
125.0ms
(+ (* 2 (* (pow a 2) (pow b 2))) (+ (* 4 (pow b 2)) (pow a 4)))
125.0ms
(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

prune805.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite109.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

74.0ms
(+ (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4 (* b b)))
16.0ms
(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
11.0ms
(+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))

series156.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

58.0ms
(+ (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4 (* b b)))
42.0ms
(+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))
33.0ms
(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

simplify2.6s

Counts
32 → 73
Calls

32 calls. Slowest were:

301.0ms
(* (exp (pow b 4)) (* (exp (pow a 4)) (exp (* 2 (* (pow a 2) (pow b 2))))))
294.0ms
(* (* (exp (pow b 4)) (* (exp (pow a 4)) (exp (* 2 (* (pow a 2) (pow b 2)))))) (exp (* 4 (* b b))))
238.0ms
(* (* (exp (pow b 4)) (exp (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp (* 4 (* b b))))

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

7.9b
(sqrt (+ (* a a) (* b b)))
0.3b
(* (+ (* a a) (* b b)) (pow (sqrt (+ (* a a) (* b b))) 2))
0.0b
(pow (sqrt (+ (* a a) (* b b))) 2)
0.0b
(+ (* a a) (* b b))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

11.0ms
(* (+ (* a a) (* b b)) (pow (sqrt (+ (* a a) (* b b))) 2))
3.0ms
(pow (sqrt (+ (* a a) (* b b))) 2)
2.0ms
(+ (* a a) (* b b))

series136.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

50.0ms
(pow (sqrt (+ (* a a) (* b b))) 2)
35.0ms
(* (+ (* a a) (* b b)) (pow (sqrt (+ (* a a) (* b b))) 2))
26.0ms
(sqrt (+ (* a a) (* b b)))

simplify1.3s

Counts
46 → 82
Calls

46 calls. Slowest were:

447.0ms
(* (+ (pow (* a a) 3) (pow (* b b) 3)) (pow (sqrt (+ (* a a) (* b b))) 2))
138.0ms
(* (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (+ (* a a) (* b b))) (* (* (pow (sqrt (+ (* a a) (* b b))) 2) (pow (sqrt (+ (* a a) (* b b))) 2)) (pow (sqrt (+ (* a a) (* b b))) 2)))
126.0ms
(+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

prune1.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

25.2b
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
25.2b
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
25.2b
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
2.0b
(* (pow a 2) (pow b 2))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

6.0ms
(* (pow a 2) (pow b 2))
4.0ms
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
3.0ms
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

series419.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

151.0ms
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
127.0ms
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))
124.0ms
(cbrt (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))

simplify4.9s

Counts
38 → 73
Calls

38 calls. Slowest were:

919.0ms
(cbrt (+ (pow (pow a 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)))
694.0ms
(cbrt (+ (pow (pow a 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)))
637.0ms
(cbrt (+ (pow (pow a 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)))

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes157.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.0093949839170973 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