Error in 19.3s

Runtime

Time bar (total: 19.3s)Debug logProfile

start227.0ms

Algorithm
intervals

setup12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.0b

localize24.0ms

Local error

Found 2 expressions with local error:

4.2b
(sin (+ eps x))
1.1b
(- (sin (+ eps x)) (sin x))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
2 → 40
Calls

2 calls. Slowest were:

13.0ms
(- (sin (+ eps x)) (sin x))
3.0ms
(sin (+ eps x))

series71.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

53.0ms
(- (sin (+ eps x)) (sin x))
18.0ms
(sin (+ eps x))

simplify829.0ms

Counts
33 → 46
Calls

33 calls. Slowest were:

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

prune774.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize44.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (* (cos eps) (sin x)) (sin x))
0.2b
(* (cos eps) (sin x))
0.2b
(* (sin eps) (cos x))
0.1b
(+ (* (sin eps) (cos x)) (- (* (cos eps) (sin x)) (sin x)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 81
Calls

4 calls. Slowest were:

26.0ms
(+ (* (sin eps) (cos x)) (- (* (cos eps) (sin x)) (sin x)))
12.0ms
(- (* (cos eps) (sin x)) (sin x))
7.0ms
(* (cos eps) (sin x))

series343.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

130.0ms
(+ (* (sin eps) (cos x)) (- (* (cos eps) (sin x)) (sin x)))
83.0ms
(- (* (cos eps) (sin x)) (sin x))
66.0ms
(* (sin eps) (cos x))

simplify2.5s

Counts
52 → 93
Calls

52 calls. Slowest were:

562.0ms
(+ (* (+ (sin (- eps x)) (sin (+ eps x))) (+ (* (cos eps) (sin x)) (sin x))) (* 2 (- (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (* (sin x) (sin x)))))
284.0ms
(* 2 (+ (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (+ (* (sin x) (sin x)) (* (* (cos eps) (sin x)) (sin x)))))
224.0ms
(- x (+ (* 1/6 (pow x 3)) (* 1/2 (* x (pow eps 2)))))

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.3b

localize9.0ms

Local error

Found 3 expressions with local error:

2.0b
(- (* (cos eps) (sin x)) (sin x))
0.2b
(fma (sin eps) (cos x) (- (* (cos eps) (sin x)) (sin x)))
0.2b
(* (cos eps) (sin x))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
3 → 48
Calls

3 calls. Slowest were:

12.0ms
(- (* (cos eps) (sin x)) (sin x))
7.0ms
(* (cos eps) (sin x))
0.0ms
(fma (sin eps) (cos x) (- (* (cos eps) (sin x)) (sin x)))

series242.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

124.0ms
(fma (sin eps) (cos x) (- (* (cos eps) (sin x)) (sin x)))
76.0ms
(- (* (cos eps) (sin x)) (sin x))
41.0ms
(* (cos eps) (sin x))

simplify871.0ms

Counts
27 → 57
Calls

27 calls. Slowest were:

318.0ms
(- eps (+ (* 1/6 (pow eps 3)) (* 1/2 (* x (pow eps 2)))))
208.0ms
(- x (+ (* 1/6 (pow x 3)) (* 1/2 (* x (pow eps 2)))))
59.0ms
(* (* (* (cos eps) (cos eps)) (cos eps)) (* (* (sin x) (sin x)) (sin x)))

prune820.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

localize20.0ms

Local error

Found 2 expressions with local error:

2.0b
(fma (cos eps) (sin x) (- (sin x)))
0.2b
(fma (sin eps) (cos x) (fma (cos eps) (sin x) (- (sin x))))

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
2 → 20
Calls

2 calls. Slowest were:

0.0ms
(fma (cos eps) (sin x) (- (sin x)))
0.0ms
(fma (sin eps) (cos x) (fma (cos eps) (sin x) (- (sin x))))

series221.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

150.0ms
(fma (sin eps) (cos x) (fma (cos eps) (sin x) (- (sin x))))
71.0ms
(fma (cos eps) (sin x) (- (sin x)))

simplify518.0ms

Counts
6 → 26
Calls

6 calls. Slowest were:

382.0ms
(- eps (+ (* 1/6 (pow eps 3)) (* 1/2 (* x (pow eps 2)))))
63.0ms
(- (+ (* (cos x) (sin eps)) (* (sin x) (cos eps))) (sin x))
62.0ms
(- (+ (* (cos x) (sin eps)) (* (sin x) (cos eps))) (sin x))

prune316.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.3b

regimes166.0ms

Please include this information when filing a bug report:

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