Error in 27.2s

Runtime

Time bar (total: 27.2s)Debug logProfile

start172.0ms

Algorithm
intervals

setup22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

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

series98.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

73.0ms
(- (sin (+ eps x)) (sin x))
25.0ms
(sin (+ eps x))

simplify966.0ms

Counts
13 → 30
Calls

13 calls. Slowest were:

460.0ms
(- (+ x eps) (* 1/6 (pow eps 3)))
444.0ms
(- eps (+ (* 1/6 (pow eps 3)) (* 1/2 (* x (pow eps 2)))))
19.0ms
(* (sin (/ (- (+ eps x) x) 2)) (cos (/ (+ (+ eps x) x) 2)))

prune265.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

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

rewrite52.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

25.0ms
(+ (* (sin eps) (cos x)) (- (* (cos eps) (sin x)) (sin x)))
11.0ms
(- (* (cos eps) (sin x)) (sin x))
7.0ms
(* (sin eps) (cos x))

series328.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

139.0ms
(+ (* (sin eps) (cos x)) (- (* (cos eps) (sin x)) (sin x)))
94.0ms
(- (* (cos eps) (sin x)) (sin x))
52.0ms
(* (cos eps) (sin x))

simplify2.6s

Counts
41 → 77
Calls

41 calls. Slowest were:

487.0ms
(* 2 (+ (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (+ (* (sin x) (sin x)) (* (* (cos eps) (sin x)) (sin x)))))
454.0ms
(- eps (+ (* 1/6 (pow eps 3)) (* 1/2 (* x (pow eps 2)))))
332.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)))))

prune1.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.3b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

8.0ms
(+ (* (sin eps) (cos x)) (* (sin x) (- (cos eps) 1)))
7.0ms
(* (sin x) (- (cos eps) 1))
3.0ms
(* (sin eps) (cos x))

series298.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

149.0ms
(+ (* (sin eps) (cos x)) (* (sin x) (- (cos eps) 1)))
69.0ms
(* (sin eps) (cos x))
62.0ms
(* (sin x) (- (cos eps) 1))

simplify2.4s

Counts
46 → 83
Calls

46 calls. Slowest were:

427.0ms
(- eps (+ (* 1/6 (pow eps 3)) (* 1/2 (* x (pow eps 2)))))
352.0ms
(* (* (* (sin x) (sin x)) (sin x)) (* (* (- (cos eps) 1) (- (cos eps) 1)) (- (cos eps) 1)))
304.0ms
(+ (* (+ (sin (- eps x)) (sin (+ eps x))) (+ (* (cos eps) (cos eps)) (+ (* 1 1) (* (cos eps) 1)))) (* 2 (* (sin x) (- (pow (cos eps) 3) (pow 1 3)))))

prune1.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

9.6b
(cbrt (* (* (- (* (cos eps) (sin x)) (sin x)) (- (* (cos eps) (sin x)) (sin x))) (- (* (cos eps) (sin x)) (sin x))))
2.0b
(- (* (cos eps) (sin x)) (sin x))
2.0b
(- (* (cos eps) (sin x)) (sin x))
2.0b
(- (* (cos eps) (sin x)) (sin x))

rewrite66.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

45.0ms
(cbrt (* (* (- (* (cos eps) (sin x)) (sin x)) (- (* (cos eps) (sin x)) (sin x))) (- (* (cos eps) (sin x)) (sin x))))
9.0ms
(- (* (cos eps) (sin x)) (sin x))
5.0ms
(- (* (cos eps) (sin x)) (sin x))

series323.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(- (* (cos eps) (sin x)) (sin x))
90.0ms
(- (* (cos eps) (sin x)) (sin x))
73.0ms
(cbrt (* (* (- (* (cos eps) (sin x)) (sin x)) (- (* (cos eps) (sin x)) (sin x))) (- (* (cos eps) (sin x)) (sin x))))

simplify8.5s

Counts
49 → 87
Calls

49 calls. Slowest were:

837.0ms
(cbrt (* (* (- (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (* (sin x) (sin x))) (- (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (* (sin x) (sin x)))) (- (* (cos eps) (sin x)) (sin x))))
711.0ms
(cbrt (* (* (- (* (cos eps) (sin x)) (sin x)) (- (pow (* (cos eps) (sin x)) 3) (pow (sin x) 3))) (- (pow (* (cos eps) (sin x)) 3) (pow (sin x) 3))))
698.0ms
(cbrt (* (* (- (pow (* (cos eps) (sin x)) 3) (pow (sin x) 3)) (- (pow (* (cos eps) (sin x)) 3) (pow (sin x) 3))) (- (* (* (cos eps) (sin x)) (* (cos eps) (sin x))) (* (sin x) (sin x)))))

prune1.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.1b

regimes184.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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.44554537528555077 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