Error in 18.9s

Runtime

Time bar (total: 18.9s)Debug log

start215.0ms

Algorithm
intervals

setup70.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 41.3b

localize20.0ms

Local error

Found 2 expressions with local error:

2.0b
(cos (+ x eps))
1.4b
(- (cos (+ x eps)) (cos x))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

4.0ms
(- (cos (+ x eps)) (cos x))
2.0ms
(cos (+ x eps))

series66.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

52.0ms
(- (cos (+ x eps)) (cos x))
14.0ms
(cos (+ x eps))

simplify804.0ms

Counts
13 → 30
Calls

13 calls. Slowest were:

485.0ms
(- 1 (+ (* x eps) (* 1/2 (pow x 2))))
230.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
33.0ms
(* (sin (/ (- (+ x eps) x) 2)) (sin (/ (+ (+ x eps) x) 2)))

prune342.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.4b

localize25.0ms

Local error

Found 3 expressions with local error:

2.3b
(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))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

17.0ms
(* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
8.0ms
(sin (/ (+ (+ x x) eps) 2))
7.0ms
(* -2 (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2))))

series191.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

94.0ms
(* -2 (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2))))
74.0ms
(* (sin (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
22.0ms
(sin (/ (+ (+ x x) eps) 2))

simplify766.0ms

Counts
19 → 44
Calls

19 calls. Slowest were:

229.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
215.0ms
(- (+ (* 1/4 (pow eps 2)) (* 1/2 (* x eps))) (* 1/12 (* (pow x 3) eps)))
84.0ms
(* (* (* (sin (/ (+ (+ x x) eps) 2)) (sin (/ (+ (+ x x) eps) 2))) (sin (/ (+ (+ x x) eps) 2))) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))

prune638.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
2 → 23
Calls

2 calls. Slowest were:

10.0ms
(* (sin (+ x (* eps 1/2))) (* -2 (sin (* eps 1/2))))
2.0ms
(sin (+ x (* eps 1/2)))

series117.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

94.0ms
(* (sin (+ x (* eps 1/2))) (* -2 (sin (* eps 1/2))))
22.0ms
(sin (+ x (* eps 1/2)))

simplify572.0ms

Counts
13 → 29
Calls

13 calls. Slowest were:

245.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))
203.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)))))
51.0ms
(- (+ x (* 1/2 eps)) (* 1/6 (pow x 3)))

prune492.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 63
Calls

4 calls. Slowest were:

26.0ms
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
9.0ms
(+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))
5.0ms
(* (cos x) (sin (* eps 1/2)))

series401.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

177.0ms
(* (+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2)))) (* -2 (sin (* eps 1/2))))
106.0ms
(+ (* (sin x) (cos (* eps 1/2))) (* (cos x) (sin (* eps 1/2))))
70.0ms
(* (sin x) (cos (* eps 1/2)))

simplify2.2s

Counts
38 → 75
Calls

38 calls. Slowest were:

376.0ms
(- x (+ (* 1/8 (* x (pow eps 2))) (* 1/6 (pow x 3))))
366.0ms
(- (* 1/2 eps) (+ (* 1/4 (* (pow x 2) eps)) (* 1/48 (pow eps 3))))
284.0ms
(- (* 1/6 (* (pow x 3) eps)) (+ (* 1/2 (pow eps 2)) (* x eps)))

prune1.0s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

regimes229.0ms

Please include this information when filing a bug report:

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

Backtrace

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