Error in 1.6m

Runtime

Time bar (total: 1.6m)Debug log

start1.2s

Algorithm
intervals

setup804.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.1b

localize60.0ms

Local error

Found 4 expressions with local error:

27.0b
(sqrt (- (* g g) (* h h)))
27.0b
(sqrt (- (* g g) (* h h)))
7.9b
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
4.5b
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 66
Calls

4 calls. Slowest were:

13.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
13.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
5.0ms
(sqrt (- (* g g) (* h h)))

series632.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

292.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
285.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
31.0ms
(sqrt (- (* g g) (* h h)))

simplify6.0s

Counts
38 → 78
Calls

38 calls. Slowest were:

645.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
642.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
409.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))

prune1.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 27.4b

localize46.0ms

Local error

Found 4 expressions with local error:

27.0b
(sqrt (* (+ g h) (- g h)))
27.0b
(sqrt (- (* g g) (* h h)))
4.5b
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
2.8b
(- (* g g) (* h h))

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

19.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
5.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(sqrt (* (+ g h) (- g h)))

series388.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

269.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
51.0ms
(sqrt (* (+ g h) (- g h)))
39.0ms
(sqrt (- (* g g) (* h h)))

simplify5.3s

Counts
39 → 81
Calls

39 calls. Slowest were:

690.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
601.0ms
(sqrt (* (+ g h) (- (* g g) (* h h))))
448.0ms
(sqrt (* (+ (pow g 3) (pow h 3)) (- (pow g 3) (pow h 3))))

prune2.1s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 27.2b

localize24.0ms

Local error

Found 4 expressions with local error:

27.0b
(sqrt (* (+ g h) (- g h)))
27.0b
(sqrt (- (* g g) (* h h)))
2.8b
(- (* g g) (* h h))
2.6b
(- (- g) (sqrt (- (* g g) (* h h))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 103
Calls

4 calls. Slowest were:

14.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
5.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(sqrt (* (+ g h) (- g h)))

series123.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

41.0ms
(sqrt (* (+ g h) (- g h)))
30.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
28.0ms
(- (* g g) (* h h))

simplify10.0s

Counts
97 → 115
Calls

97 calls. Slowest were:

699.0ms
(sqrt (* (+ g h) (- (* g g) (* h h))))
405.0ms
(sqrt (* (+ (pow g 3) (pow h 3)) (- (pow g 3) (pow h 3))))
264.0ms
(sqrt (* (+ (pow g 3) (pow h 3)) (- g h)))

prune3.3s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 27.2b

localize36.0ms

Local error

Found 4 expressions with local error:

27.0b
(sqrt (* (+ g h) (- g h)))
27.0b
(sqrt (- (* g g) (* h h)))
27.0b
(sqrt (- (* g g) (* h h)))
27.0b
(sqrt (- (* g g) (* h h)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

6.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(sqrt (- (* g g) (* h h)))
5.0ms
(sqrt (- (* g g) (* h h)))

series129.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

38.0ms
(sqrt (* (+ g h) (- g h)))
37.0ms
(sqrt (- (* g g) (* h h)))
27.0ms
(sqrt (- (* g g) (* h h)))

simplify4.1s

Counts
42 → 82
Calls

42 calls. Slowest were:

662.0ms
(sqrt (* (+ g h) (- (* g g) (* h h))))
381.0ms
(sqrt (* (+ (pow g 3) (pow h 3)) (- (pow g 3) (pow h 3))))
267.0ms
(sqrt (* (+ g h) (- (pow g 3) (pow h 3))))

prune2.3s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 27.2b

regimes2.3s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (g h a)
  :name "2-ancestry mixing, positive discriminant"
  (+ (cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))))

Backtrace

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