Error in 19.0s

Runtime

Time bar (total: 19.0s)Debug logProfile

start169.0ms

Algorithm
intervals

setup47.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.4b

localize33.0ms

Local error

Found 2 expressions with local error:

4.2b
(cos (+ x eps))
0.8b
(- (cos (+ x eps)) (cos x))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

9.0ms
(- (cos (+ x eps)) (cos x))
3.0ms
(cos (+ x eps))

series72.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

51.0ms
(- (cos (+ x eps)) (cos x))
21.0ms
(cos (+ x eps))

simplify558.0ms

Counts
13 → 30
Calls

13 calls. Slowest were:

319.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
135.0ms
(- 1 (+ (* x eps) (* 1/2 (pow x 2))))
47.0ms
(* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))

prune272.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.5b

localize23.0ms

Local error

Found 3 expressions with local error:

3.6b
(sin (/ (+ (+ x x) eps) 2))
0.3b
(* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
0.0b
(* -2 (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

18.0ms
(* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
13.0ms
(* -2 (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2))))
10.0ms
(sin (/ (+ (+ x x) eps) 2))

series197.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

96.0ms
(* -2 (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2))))
78.0ms
(* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
23.0ms
(sin (/ (+ (+ x x) eps) 2))

simplify1.2s

Counts
19 → 44
Calls

19 calls. Slowest were:

342.0ms
(* (sin (* 1/2 (+ (* 2 x) eps))) (sin (* 1/2 eps)))
274.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
265.0ms
(- (+ (* 1/4 (pow eps 2)) (* 1/2 (* x eps))) (* 1/12 (* (pow x 3) eps)))

prune692.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.4b

localize34.0ms

Local error

Found 2 expressions with local error:

3.6b
(sin (+ x (* eps 1/2)))
0.3b
(* (sin (+ x (* eps 1/2))) (* -2 (sin (* eps 1/2))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
2 → 23
Calls

2 calls. Slowest were:

18.0ms
(* (sin (+ x (* eps 1/2))) (* -2 (sin (* eps 1/2))))
4.0ms
(sin (+ x (* eps 1/2)))

series115.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

81.0ms
(* (sin (+ x (* eps 1/2))) (* -2 (sin (* eps 1/2))))
34.0ms
(sin (+ x (* eps 1/2)))

simplify698.0ms

Counts
13 → 29
Calls

13 calls. Slowest were:

314.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
224.0ms
(* (* (* (sin (+ x (* eps 1/2))) (sin (+ x (* eps 1/2)))) (sin (+ x (* eps 1/2)))) (* (* (* -2 (sin (* eps 1/2))) (* -2 (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2)))))
54.0ms
(- (+ x (* 1/2 eps)) (* 1/6 (pow x 3)))

prune515.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
0.2b
(* (sin x) (cos (* eps 1/2)))
0.1b
(* (cos x) (sin (* eps 1/2)))
0.1b
(+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))

rewrite75.0ms

Algorithm
rewrite-expression-head
Counts
4 → 63
Calls

4 calls. Slowest were:

42.0ms
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
13.0ms
(* (cos x) (sin (* eps 1/2)))
10.0ms
(* (sin x) (cos (* eps 1/2)))

series358.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

159.0ms
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
101.0ms
(+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))
53.0ms
(* (cos x) (sin (* eps 1/2)))

simplify2.3s

Counts
38 → 75
Calls

38 calls. Slowest were:

402.0ms
(- x (+ (* 1/8 (* x (pow eps 2))) (* 1/6 (pow x 3))))
361.0ms
(- (* 1/2 eps) (+ (* 1/4 (* (pow x 2) eps)) (* 1/48 (pow eps 3))))
245.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

regimes233.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x eps)
  :name "2cos (problem 3.3.5)"
  (- (cos (+ x eps)) (cos x)))

Backtrace

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