Error in 3.5m

Runtime

Time bar (total: 3.5m)Debug log

start497.0ms

Algorithm
intervals

setup21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.0b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
2 → 41
Calls

2 calls. Slowest were:

43.0ms
(- (tan (+ x eps)) (tan x))
3.0ms
(tan (+ x eps))

series205.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

126.0ms
(- (tan (+ x eps)) (tan x))
79.0ms
(tan (+ x eps))

simplify1.2s

Counts
35 → 47
Calls

35 calls. Slowest were:

300.0ms
(+ (* x (pow eps 2)) (+ eps (* (pow x 2) eps)))
265.0ms
(- (* (+ (tan x) (tan eps)) (cos x)) (* (- 1 (* (tan x) (tan eps))) (sin x)))
134.0ms
(* (- 1 (* (tan x) (tan eps))) (cos x))

prune450.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 16.5b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 168
Calls

4 calls. Slowest were:

33.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
28.0ms
(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
5.0ms
(+ (tan x) (tan eps))

series952.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

467.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
278.0ms
(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
114.0ms
(+ (tan x) (tan eps))

simplify15.0s

Counts
199 → 180
Calls

199 calls. Slowest were:

591.0ms
(fma (/ 1 (* (cbrt (- 1 (* (tan x) (tan eps)))) (cbrt (- 1 (* (tan x) (tan eps)))))) (/ (+ (tan x) (tan eps)) (cbrt (- 1 (* (tan x) (tan eps))))) (- (* (sqrt (tan x)) (sqrt (tan x)))))
572.0ms
(fma (/ 1 (* (cbrt (- 1 (* (tan x) (tan eps)))) (cbrt (- 1 (* (tan x) (tan eps)))))) (/ (+ (tan x) (tan eps)) (cbrt (- 1 (* (tan x) (tan eps))))) (- (* (sqrt (tan x)) (sqrt (tan x)))))
527.0ms
(fma (/ 1 (* (cbrt (- 1 (* (tan x) (tan eps)))) (cbrt (- 1 (* (tan x) (tan eps)))))) (/ (+ (tan x) (tan eps)) (cbrt (- 1 (* (tan x) (tan eps))))) (- (* (tan x) 1)))

prune2.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 16.3b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

18.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
4.0ms
(* (tan eps) (tan x))
4.0ms
(* (tan x) (tan eps))

series974.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

643.0ms
(fma (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan x) (tan eps))) (- (tan x)))
113.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
110.0ms
(* (tan x) (tan eps))

simplify6.0s

Counts
84 → 112
Calls

84 calls. Slowest were:

781.0ms
(/ (* (pow (sin x) 2) (pow (sin eps) 2)) (* (pow (cos x) 2) (pow (cos eps) 2)))
705.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))))
616.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))))

prune1.8s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

localize95.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))))) (/ (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)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Counts
4 → 806
Calls

4 calls. Slowest were:

23.0ms
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))))) (/ (sin x) (cos x)))
15.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
8.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))

series420.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

235.0ms
(- (/ (/ (sin x) (cos x)) (- 1 (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))))) (/ (sin x) (cos x)))
72.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))
63.0ms
(* (/ (sin x) (cos eps)) (/ (sin x) (cos eps)))

simplify2.5m

Counts
1367 → 818
Calls

1367 calls. Slowest were:

884.0ms
(* (* (* (/ (sin x) (cos eps)) (/ (sin x) (cos eps))) (/ (sin x) (cos eps))) (/ (* (* (sin x) (sin x)) (sin x)) (* (* (cos eps) (cos eps)) (cos eps))))
775.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))))
644.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))))

prune14.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.2b

regimes160.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.6138024194504677 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