Error in 53.2s

Runtime

Time bar (total: 53.2s)Debug log

start937.0ms

Algorithm
intervals

setup26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.0b

localize25.0ms

Local error

Found 2 expressions with local error:

2.0b
(tan (+ eps x))
1.3b
(- (tan (+ eps x)) (tan x))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
2 → 25
Calls

2 calls. Slowest were:

6.0ms
(- (tan (+ eps x)) (tan x))
2.0ms
(tan (+ eps x))

series211.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

129.0ms
(- (tan (+ eps x)) (tan x))
81.0ms
(tan (+ eps x))

simplify568.0ms

Counts
15 → 31
Calls

15 calls. Slowest were:

173.0ms
(- (* (+ (tan eps) (tan x)) (cos x)) (* (- 1 (* (tan eps) (tan x))) (sin x)))
158.0ms
(* (- 1 (* (tan eps) (tan x))) (cos x))
99.0ms
(+ (* x (pow eps 2)) (+ (* 1/3 (pow eps 3)) eps))

prune402.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 15.2b

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x)))) (tan x))
0.2b
(* (tan eps) (tan x))
0.1b
(+ (tan eps) (tan x))
0.1b
(/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

44.0ms
(- (/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x)))) (tan x))
24.0ms
(/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x))))
8.0ms
(* (tan eps) (tan x))

series890.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

442.0ms
(- (/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x)))) (tan x))
223.0ms
(/ (+ (tan eps) (tan x)) (- 1 (* (tan eps) (tan x))))
113.0ms
(* (tan eps) (tan x))

simplify3.1s

Counts
72 → 97
Calls

72 calls. Slowest were:

340.0ms
(+ (* 1/3 (* (pow x 3) eps)) (+ (* 1/3 (* x (pow eps 3))) (* x eps)))
329.0ms
(/ (* (* (+ (tan eps) (tan x)) (+ (tan eps) (tan x))) (+ (tan eps) (tan x))) (* (* (- 1 (* (tan eps) (tan x))) (- 1 (* (tan eps) (tan x)))) (- 1 (* (tan eps) (tan x)))))
289.0ms
(- (+ (/ (sin eps) (* (cos eps) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps)))))) (/ (sin x) (* (cos x) (- 1 (/ (* (sin x) (sin eps)) (* (cos x) (cos eps))))))) (/ (sin x) (cos x)))

prune1.2s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 15.1b

localize19.0ms

Local error

Found 4 expressions with local error:

3.6b
(- (* (/ (+ (tan eps) (tan x)) (- (* 1 1) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan eps) (tan x)))) (tan x))
0.3b
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
0.2b
(* (tan eps) (tan x))
0.2b
(* (tan eps) (tan x))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 103
Calls

4 calls. Slowest were:

22.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
9.0ms
(- (* (/ (+ (tan eps) (tan x)) (- (* 1 1) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan eps) (tan x)))) (tan x))
4.0ms
(* (tan eps) (tan x))

series1.5s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(- (* (/ (+ (tan eps) (tan x)) (- (* 1 1) (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan eps) (tan x)))) (tan x))
139.0ms
(* (tan eps) (tan x))
117.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))

simplify9.1s

Counts
97 → 115
Calls

97 calls. Slowest were:

732.0ms
(* (* (* (* (tan eps) (tan eps)) (tan eps)) (* (* (tan x) (tan x)) (tan x))) (* (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* (tan eps) (tan x))))
648.0ms
(* (* (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* (tan eps) (tan x))) (* (* (* (tan eps) (tan eps)) (tan eps)) (* (* (tan x) (tan x)) (tan x))))
639.0ms
(* (* (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* (tan eps) (tan x))) (* (* (* (tan eps) (tan x)) (* (tan eps) (tan x))) (* (tan eps) (tan x))))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize105.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))))) (/ (sin x) (cos x)))
0.4b
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
0.4b
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
0.4b
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Counts
4 → 168
Calls

4 calls. Slowest were:

36.0ms
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))))) (/ (sin x) (cos x)))
18.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
14.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))

series451.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

223.0ms
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))))) (/ (sin x) (cos x)))
80.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
75.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))

simplify14.2s

Counts
153 → 180
Calls

153 calls. Slowest were:

1.5s
(* (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))) (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))))
1.1s
(* (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))) (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))))
974.0ms
(* (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))) (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))))

prune4.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

regimes171.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x eps)
  :name "2tan (problem 3.3.2)"

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

  (- (tan (+ x eps)) (tan x)))

Backtrace

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