Error in 3.5m

Runtime

Time bar (total: 3.5m)Debug logProfile

start606.0ms

Algorithm
intervals

setup21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 38.9b

localize25.0ms

Local error

Found 2 expressions with local error:

4.3b
(tan (+ x eps))
1.0b
(- (tan (+ x eps)) (tan x))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
2 → 41
Calls

2 calls. Slowest were:

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

series131.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

86.0ms
(- (tan (+ x eps)) (tan x))
45.0ms
(tan (+ x eps))

simplify1.2s

Counts
35 → 47
Calls

35 calls. Slowest were:

275.0ms
(- (* (+ (tan x) (tan eps)) (cos x)) (* (- 1 (* (tan x) (tan eps))) (sin x)))
274.0ms
(+ (* x (pow eps 2)) (+ eps (* (pow x 2) eps)))
150.0ms
(* (- 1 (* (tan x) (tan eps))) (cos x))

prune469.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 13.9b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite115.0ms

Algorithm
rewrite-expression-head
Counts
4 → 168
Calls

4 calls. Slowest were:

70.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
25.0ms
(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
8.0ms
(* (tan x) (tan eps))

series881.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

406.0ms
(- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x))
219.0ms
(/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps))))
129.0ms
(* (tan x) (tan eps))

simplify16.1s

Counts
199 → 180
Calls

199 calls. Slowest were:

768.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)))
610.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)))))
563.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))))) (- (* (cbrt (tan x)) (* (cbrt (tan x)) (cbrt (tan x))))))

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 13.7b

localize29.0ms

Local error

Found 4 expressions with local error:

2.6b
(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))

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

25.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
8.0ms
(* (tan eps) (tan x))
8.0ms
(* (tan x) (tan eps))

series938.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

618.0ms
(fma (/ (+ (tan x) (tan eps)) (- 1 (* (* (tan eps) (tan x)) (* (tan eps) (tan x))))) (+ 1 (* (tan x) (tan eps))) (- (tan x)))
124.0ms
(* (* (tan eps) (tan x)) (* (tan eps) (tan x)))
112.0ms
(* (tan x) (tan eps))

simplify5.7s

Counts
84 → 112
Calls

84 calls. Slowest were:

825.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))))
777.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))))
710.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.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.3b

localize77.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (/ (/ (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.3b
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))
0.3b
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))
0.3b
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Counts
4 → 806
Calls

4 calls. Slowest were:

24.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)))
8.0ms
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))
8.0ms
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))

series346.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

198.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)))
50.0ms
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))
49.0ms
(* (/ (sin eps) (cos x)) (/ (sin eps) (cos x)))

simplify2.5m

Counts
1367 → 818
Calls

1367 calls. Slowest were:

628.0ms
(* (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))) (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))))
627.0ms
(* (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))) (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))))
625.0ms
(* (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))) (* (* (/ (sin eps) (cos x)) (/ (sin eps) (cos x))) (/ (sin eps) (cos x))))

prune14.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.3b

regimes154.0ms

Please include this information when filing a bug report:

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