Error in 1.2m

Runtime

Time bar (total: 1.2m)Debug logProfile

start1.5s

Algorithm
intervals

setup407.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 37.5b

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

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))))))
12.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
6.0ms
(sqrt (- (* g g) (* h h)))

series669.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

354.0ms
(cbrt (* (/ 1 (* 2 a)) (- (- g) (sqrt (- (* g g) (* h h))))))
247.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
38.0ms
(sqrt (- (* g g) (* h h)))

simplify5.8s

Counts
38 → 78
Calls

38 calls. Slowest were:

675.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
616.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
377.0ms
(* (exp (* 1/3 (- (+ (log (/ -1 g)) (+ (log 1/2) (log (/ -1 a)))) (* 2 (log (/ -1 h)))))) (cbrt -1/2))

prune1.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 32.5b

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 67
Calls

4 calls. Slowest were:

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

series444.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

339.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (- g) (sqrt (- (* g g) (* h h))))))
40.0ms
(sqrt (- (* g g) (* h h)))
38.0ms
(sqrt (- (* g g) (* h h)))

simplify3.5s

Counts
37 → 79
Calls

37 calls. Slowest were:

629.0ms
(cbrt (* (/ 1 (* 2 a)) (- (* (- g) (- g)) (* (sqrt (- (* g g) (* h h))) (sqrt (- (* g g) (* h h)))))))
406.0ms
(cbrt (* (/ 1 (* 2 a)) (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))
357.0ms
(cbrt (* 1 (+ (pow (- g) 3) (pow (sqrt (- (* g g) (* h h))) 3))))

prune1.8s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 32.0b

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

10.0ms
(sqrt (* (+ g h) (- g h)))
8.0ms
(- (sqrt (* (+ g h) (- g h))) g)
5.0ms
(sqrt (- (* g g) (* h h)))

series149.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

48.0ms
(- (sqrt (* (+ g h) (- g h))) g)
40.0ms
(sqrt (- (* g g) (* h h)))
33.0ms
(sqrt (* (+ g h) (- g h)))

simplify3.5s

Counts
36 → 82
Calls

36 calls. Slowest were:

579.0ms
(sqrt (* (+ g h) (- (* g g) (* h h))))
401.0ms
(sqrt (- (* g g) (* h h)))
393.0ms
(sqrt (* (+ (pow g 3) (pow h 3)) (- (pow g 3) (pow h 3))))

prune1.9s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 31.9b

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

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

series89.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

27.0ms
(sqrt (- (* g g) (* h h)))
26.0ms
(sqrt (- (* g g) (* h h)))
20.0ms
(- (* g g) (* h h))

simplify1.4s

Counts
36 → 80
Calls

36 calls. Slowest were:

200.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
197.0ms
(sqrt (- (* (* g g) (* g g)) (* (* h h) (* h h))))
184.0ms
(sqrt (- (pow (* g g) 3) (pow (* h h) 3)))

prune1.4s

Pruning

20 alts after pruning (19 fresh and 1 done)

Merged error: 31.9b

regimes1.4s

Please include this information when filing a bug report:

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