Error in 1.1m

Runtime

Time bar (total: 1.1m)Debug logProfile

start1.3s

Algorithm
intervals

setup368.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 37.4b

localize59.0ms

Local error

Found 4 expressions with local error:

32.0b
(sqrt (- (* g g) (* h h)))
32.0b
(sqrt (- (* g g) (* h h)))
10.8b
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
8.8b
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))

rewrite35.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))))))
13.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
4.0ms
(sqrt (- (* g g) (* h h)))

series695.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

314.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
304.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
39.0ms
(sqrt (- (* g g) (* h h)))

simplify5.9s

Counts
38 → 70
Calls

38 calls. Slowest were:

689.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
652.0ms
(cbrt (* 1 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
579.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))

prune1.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 32.5b

localize22.0ms

Local error

Found 4 expressions with local error:

32.0b
(sqrt (- (* g g) (* h h)))
32.0b
(sqrt (- (* g g) (* h h)))
10.8b
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
3.2b
(- (* g g) (* h h))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

10.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
2.0ms
(sqrt (- (* g g) (* h h)))
2.0ms
(sqrt (- (* g g) (* h h)))

series363.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

291.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
24.0ms
(sqrt (- (* g g) (* h h)))
24.0ms
(- (* g g) (* h h))

simplify3.0s

Counts
35 → 69
Calls

35 calls. Slowest were:

613.0ms
(cbrt (* 1 (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
462.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
323.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))

prune1.7s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 32.0b

localize48.0ms

Local error

Found 4 expressions with local error:

32.0b
(sqrt (* (- g h) (+ g h)))
32.0b
(sqrt (- (* g g) (* h h)))
3.2b
(- (* g g) (* h h))
1.2b
(- (sqrt (* (- g h) (+ g h))) g)

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

15.0ms
(- (sqrt (* (- g h) (+ g h))) g)
4.0ms
(sqrt (- (* g g) (* h h)))
4.0ms
(- (* g g) (* h h))

series140.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

49.0ms
(sqrt (* (- g h) (+ g h)))
47.0ms
(- (sqrt (* (- g h) (+ g h))) g)
26.0ms
(sqrt (- (* g g) (* h h)))

simplify2.5s

Counts
31 → 68
Calls

31 calls. Slowest were:

536.0ms
(sqrt (* (- (* g g) (* h h)) (+ g h)))
325.0ms
(sqrt (* (- (* g g) (* h h)) (+ (pow g 3) (pow h 3))))
324.0ms
(sqrt (* (- (pow g 3) (pow h 3)) (+ g h)))

prune1.7s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 31.9b

localize21.0ms

Local error

Found 4 expressions with local error:

32.0b
(sqrt (- (* g g) (* h h)))
32.0b
(sqrt (- (* g g) (* h h)))
3.2b
(- (* g g) (* h h))
3.2b
(- (* g g) (* h h))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

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

series95.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

26.0ms
(- (* g g) (* h h))
24.0ms
(sqrt (- (* g g) (* h h)))
24.0ms
(sqrt (- (* g g) (* h h)))

simplify1.1s

Counts
32 → 68
Calls

32 calls. Slowest were:

181.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
152.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))
142.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))

prune1.2s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 31.9b

regimes1.7s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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: 31.413961664909895 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