Error in 17.7s

Runtime

Time bar (total: 17.7s)Debug log

start247.0ms

Algorithm
intervals

setup11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.2b

localize13.0ms

Local error

Found 2 expressions with local error:

2.1b
(sin (+ x eps))
1.4b
(- (sin (+ x eps)) (sin x))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
2 → 40
Calls

2 calls. Slowest were:

26.0ms
(- (sin (+ x eps)) (sin x))
2.0ms
(sin (+ x eps))

series58.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

34.0ms
(- (sin (+ x eps)) (sin x))
24.0ms
(sin (+ x eps))

simplify1.1s

Counts
33 → 46
Calls

33 calls. Slowest were:

516.0ms
(- eps (+ (* 1/2 (* x (pow eps 2))) (* 1/2 (* (pow x 2) eps))))
62.0ms
(- (+ x eps) (* 1/6 (pow x 3)))
42.0ms
(fma (sqrt (sin (+ x eps))) (sqrt (sin (+ x eps))) (- (* (sqrt (sin x)) (sqrt (sin x)))))

prune425.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.4b

localize45.0ms

Local error

Found 2 expressions with local error:

2.3b
(cos (/ (+ (+ x x) eps) 2))
0.2b
(* (cos (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
2 → 28
Calls

2 calls. Slowest were:

11.0ms
(* (cos (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
9.0ms
(cos (/ (+ (+ x x) eps) 2))

series92.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

71.0ms
(* (cos (/ (+ (+ x x) eps) 2)) (sin (/ eps 2)))
21.0ms
(cos (/ (+ (+ x x) eps) 2))

simplify631.0ms

Counts
14 → 34
Calls

14 calls. Slowest were:

332.0ms
(- 1 (+ (* 1/2 (* x eps)) (* 1/2 (pow x 2))))
102.0ms
(- (* 1/2 eps) (+ (* 1/4 (* x (pow eps 2))) (* 1/4 (* (pow x 2) eps))))
54.0ms
(* (* (* (cos (/ (+ (+ x x) eps) 2)) (cos (/ (+ (+ x x) eps) 2))) (cos (/ (+ (+ x x) eps) 2))) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))

prune535.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize29.0ms

Local error

Found 2 expressions with local error:

2.3b
(cos (fma 1/2 eps x))
0.2b
(* (cos (fma 1/2 eps x)) (sin (/ eps 2)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
2 → 29
Calls

2 calls. Slowest were:

14.0ms
(* (cos (fma 1/2 eps x)) (sin (/ eps 2)))
4.0ms
(cos (fma 1/2 eps x))

series57.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

34.0ms
(* (cos (fma 1/2 eps x)) (sin (/ eps 2)))
23.0ms
(cos (fma 1/2 eps x))

simplify751.0ms

Counts
15 → 35
Calls

15 calls. Slowest were:

374.0ms
(- (* 1/2 eps) (+ (* 1/12 (pow eps 3)) (* 1/4 (* x (pow eps 2)))))
242.0ms
(- 1 (+ (* 1/2 (* x eps)) (* 1/8 (pow eps 2))))
74.0ms
(* (* (* (cos (fma 1/2 eps x)) (cos (fma 1/2 eps x))) (cos (fma 1/2 eps x))) (* (* (sin (/ eps 2)) (sin (/ eps 2))) (sin (/ eps 2))))

prune502.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite75.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

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

series345.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

134.0ms
(* (- (* (cos (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (sin x))) (sin (/ eps 2)))
95.0ms
(- (* (cos (* 1/2 eps)) (cos x)) (* (sin (* 1/2 eps)) (sin x)))
74.0ms
(* (sin (* 1/2 eps)) (sin x))

simplify3.2s

Counts
49 → 93
Calls

49 calls. Slowest were:

465.0ms
(- (+ (cos (+ (* 1/2 eps) x)) (cos (- (* 1/2 eps) x))) (- (cos (- (* 1/2 eps) x)) (cos (+ (* 1/2 eps) x))))
398.0ms
(- (* 1/2 eps) (+ (* 1/12 (pow eps 3)) (* 1/4 (* x (pow eps 2)))))
387.0ms
(- (* (+ (cos (+ (* 1/2 eps) x)) (cos (- (* 1/2 eps) x))) 2) (* 2 (- (cos (- (* 1/2 eps) x)) (cos (+ (* 1/2 eps) x)))))

prune1.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes234.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (x eps)
  :name "2sin (example 3.3)"

  :herbie-target
  (* 2 (* (cos (+ x (/ eps 2))) (sin (/ eps 2))))

  (- (sin (+ x eps)) (sin x)))

Backtrace

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