Error in 36.9s

Runtime

Time bar (total: 36.9s)Debug log

start278.0ms

Algorithm
intervals

setup117.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize59.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (+ a 3) (* b b))
0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
0.1b
(* (- 1 a) (* a a))
0.0b
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

14.0ms
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))
7.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
3.0ms
(* (+ a 3) (* b b))

series128.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

57.0ms
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))
24.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
24.0ms
(* (+ a 3) (* b b))

simplify9.1s

Counts
79 → 103
Calls

79 calls. Slowest were:

663.0ms
(- (* (* (+ (* (* (+ (pow a 3) (pow 3 3)) (* b b)) (+ (* 1 1) (+ (* a a) (* 1 a)))) (* (+ (* a a) (- (* 3 3) (* a 3))) (* (- (pow 1 3) (pow a 3)) (* a a)))) 4) (+ 1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))) (* (* (+ (* a a) (- (* 3 3) (* a 3))) (+ (* 1 1) (+ (* a a) (* 1 a)))) (- (* 1 1) (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))))))
426.0ms
(- (* (* (+ (* (* (+ (pow a 3) (pow 3 3)) (* b b)) (+ 1 a)) (* (+ (* a a) (- (* 3 3) (* a 3))) (* (- (* 1 1) (* a a)) (* a a)))) 4) (+ (* 1 1) (+ (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (* (+ (* a a) (* b b)) (+ (* a a) (* b b)))) (* 1 (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))))) (* (* (+ (* a a) (- (* 3 3) (* a 3))) (+ 1 a)) (- (pow 1 3) (pow (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) 3))))
421.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (pow a 2) (pow b 2))
0.4b
(* (+ a 3) (* b b))
0.1b
(* (- 1 a) (* a a))
0.0b
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Counts
4 → 83
Calls

4 calls. Slowest were:

36.0ms
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))))
3.0ms
(* (- 1 a) (* a a))
3.0ms
(* (+ a 3) (* b b))

series114.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

56.0ms
(- (* (+ (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) 4) (- 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))))
21.0ms
(* (- 1 a) (* a a))
20.0ms
(* (+ a 3) (* b b))

simplify6.7s

Counts
65 → 95
Calls

65 calls. Slowest were:

533.0ms
(- (* (* (- (* (* (+ a 3) (* b b)) (* (+ a 3) (* b b))) (* (* (- 1 a) (* a a)) (* (- 1 a) (* a a)))) 4) (+ (* 1 1) (+ (* (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))) (* 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))))))) (* (- (* (+ a 3) (* b b)) (* (- 1 a) (* a a))) (- (pow 1 3) (pow (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 3))))
353.0ms
(- (* (* (+ (* (* (- (* a a) (* 3 3)) (* b b)) (+ 1 a)) (* (- a 3) (* (- (* 1 1) (* a a)) (* a a)))) 4) (+ (* 1 1) (+ (* (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))) (* 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))))))) (* (* (- a 3) (+ 1 a)) (- (pow 1 3) (pow (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 3))))
350.0ms
(- (* (* (+ (* (* (- (* a a) (* 3 3)) (* b b)) (+ (* 1 1) (+ (* a a) (* 1 a)))) (* (- a 3) (* (- (pow 1 3) (pow a 3)) (* a a)))) 4) (+ 1 (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))))) (* (* (- a 3) (+ (* 1 1) (+ (* a a) (* 1 a)))) (- (* 1 1) (* (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4)))))))

prune1.7s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

8.4b
(cbrt (+ (* a a) (* b b)))
8.4b
(cbrt (+ (* a a) (* b b)))
8.4b
(cbrt (+ (* a a) (* b b)))
0.5b
(* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

8.0ms
(* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b))))
1.0ms
(cbrt (+ (* a a) (* b b)))
1.0ms
(cbrt (+ (* a a) (* b b)))

series310.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

80.0ms
(* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b))))
78.0ms
(cbrt (+ (* a a) (* b b)))
76.0ms
(cbrt (+ (* a a) (* b b)))

simplify1.8s

Counts
59 → 87
Calls

59 calls. Slowest were:

142.0ms
(* (cbrt (- (* a a) (* b b))) (cbrt (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))))
134.0ms
(* (cbrt (+ (pow (* a a) 3) (pow (* b b) 3))) (cbrt (- (* (* a a) (* a a)) (* (* b b) (* b b)))))
121.0ms
(* (cbrt (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b))))) (cbrt (- (* a a) (* b b))))

prune1.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

17.3b
(cbrt (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
8.4b
(cbrt (+ (* a a) (* b b)))
0.4b
(* (+ a 3) (* b b))
0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

7.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
4.0ms
(cbrt (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
3.0ms
(* (+ a 3) (* b b))

series196.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

80.0ms
(cbrt (* (+ (* a a) (* b b)) (+ (* a a) (* b b))))
75.0ms
(cbrt (+ (* a a) (* b b)))
21.0ms
(* (+ a 3) (* b b))

simplify4.0s

Counts
58 → 89
Calls

58 calls. Slowest were:

407.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))))
256.0ms
(* (- (* a a) (* 3 3)) (* b b))
218.0ms
(* (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* a a) (* b b)))

prune1.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes207.0ms

Please include this information when filing a bug report:

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

Backtrace

partition: contract violation expected: list? given: 0.028166897071717302 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