Error in 1.3m

Runtime

Time bar (total: 1.3m)Debug log

start1.4s

Algorithm
intervals

setup312.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 32.1b

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

rewrite34.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

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

series698.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

336.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
295.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
35.0ms
(sqrt (- (* g g) (* h h)))

simplify5.7s

Counts
38 → 70
Calls

38 calls. Slowest were:

667.0ms
(cbrt (* 1 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
588.0ms
(cbrt (* 1 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
518.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))

prune1.5s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 27.4b

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

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

11.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))
3.0ms
(sqrt (* (- g h) (+ g h)))

series372.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

293.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
32.0ms
(sqrt (* (- g h) (+ g h)))
29.0ms
(sqrt (- (* g g) (* h h)))

simplify5.0s

Counts
37 → 71
Calls

37 calls. Slowest were:

693.0ms
(cbrt (* 1 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
504.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
419.0ms
(sqrt (* (- (* g g) (* h h)) (+ g h)))

prune1.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 27.2b

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 61
Calls

4 calls. Slowest were:

6.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
3.0ms
(sqrt (- (* g g) (* h h)))
3.0ms
(sqrt (* (- g h) (+ g h)))

series159.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

49.0ms
(- (- g) (sqrt (- (* g g) (* h h))))
40.0ms
(sqrt (- (* g g) (* h h)))
40.0ms
(sqrt (* (- g h) (+ g h)))

simplify2.8s

Counts
37 → 73
Calls

37 calls. Slowest were:

387.0ms
(sqrt (* (- (* g g) (* h h)) (+ g h)))
335.0ms
(sqrt (* (- (pow g 3) (pow h 3)) (+ g h)))
294.0ms
(sqrt (* (- g h) (+ (pow g 3) (pow h 3))))

prune1.9s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 27.2b

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 62
Calls

4 calls. Slowest were:

2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))

series110.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

32.0ms
(sqrt (* (- g h) (+ g h)))
30.0ms
(sqrt (- (* g g) (* h h)))
24.0ms
(sqrt (- (* g g) (* h h)))

simplify3.4s

Counts
42 → 74
Calls

42 calls. Slowest were:

788.0ms
(sqrt (* (- (* g g) (* h h)) (+ g h)))
303.0ms
(sqrt (* (- (pow g 3) (pow h 3)) (+ g h)))
285.0ms
(sqrt (* (- g h) (+ (pow g 3) (pow h 3))))

prune2.0s

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 
(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