Error in 8.0s

Runtime

Time bar (total: 8.0s)Debug log

start41.0ms

Algorithm
intervals

setup12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.1b

localize11.0ms

Local error

Found 1 expressions with local error:

1.6b
(- (atan (+ N 1)) (atan N))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
1 → 29
Calls

1 calls. Slowest were:

8.0ms
(- (atan (+ N 1)) (atan N))

series11.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

11.0ms
(- (atan (+ N 1)) (atan N))

simplify425.0ms

Counts
29 → 32
Calls

29 calls. Slowest were:

39.0ms
(fma (* (cbrt (atan (+ N 1))) (cbrt (atan (+ N 1)))) (cbrt (atan (+ N 1))) (- (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N))))))
32.0ms
(fma (sqrt (atan (+ N 1))) (sqrt (atan (+ N 1))) (- (* (sqrt (atan N)) (sqrt (atan N)))))
30.0ms
(fma (- (cbrt (atan N))) (* (cbrt (atan N)) (cbrt (atan N))) (* (cbrt (atan N)) (* (cbrt (atan N)) (cbrt (atan N)))))

prune289.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.4b

localize8.0ms

Local error

Found 1 expressions with local error:

0.4b
(atan2 1 (fma N (+ N 1) 1))

rewrite0.0ms

Algorithm
rewrite-expression-head
Counts
1 → 9
Calls

1 calls. Slowest were:

0.0ms
(atan2 1 (fma N (+ N 1) 1))

series2.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

2.0ms
(atan2 1 (fma N (+ N 1) 1))

simplify62.0ms

Counts
3 → 12
Calls

3 calls. Slowest were:

23.0ms
(atan2 1 (fma N (+ N 1) 1))
20.0ms
(atan2 1 (fma N (+ N 1) 1))
18.0ms
(atan2 1 (fma N (+ N 1) 1))

prune95.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.3b

localize5.0ms

Local error

Found 4 expressions with local error:

14.5b
(sqrt (atan2 1 (fma N (+ N 1) 1)))
14.5b
(sqrt (atan2 1 (fma N (+ N 1) 1)))
0.6b
(* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))
0.4b
(atan2 1 (fma N (+ N 1) 1))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

5.0ms
(* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))
1.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
1.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))

series37.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

16.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
16.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
2.0ms
(* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1))))

simplify929.0ms

Counts
42 → 81
Calls

42 calls. Slowest were:

48.0ms
(* (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
44.0ms
(* (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (cbrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))
43.0ms
(sqrt (* (cbrt (atan2 1 (fma N (+ N 1) 1))) (cbrt (atan2 1 (fma N (+ N 1) 1)))))

prune947.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 4 expressions with local error:

14.5b
(sqrt (atan2 1 (fma N (+ N 1) 1)))
14.5b
(sqrt (atan2 1 (fma N (+ N 1) 1)))
14.5b
(sqrt (atan2 1 (fma N (+ N 1) 1)))
0.6b
(* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

22.0ms
(* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (atan2 1 (fma N (+ N 1) 1))))
2.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
1.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))

series36.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

12.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
11.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))
11.0ms
(sqrt (atan2 1 (fma N (+ N 1) 1)))

simplify1.3s

Counts
42 → 81
Calls

42 calls. Slowest were:

152.0ms
(* (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
136.0ms
(* (* (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (* (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1))))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (* (* (sqrt (atan2 1 (fma N (+ N 1) 1))) (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (atan2 1 (fma N (+ N 1) 1)))))
53.0ms
(+ (log (* (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))) (sqrt (sqrt (atan2 1 (fma N (+ N 1) 1)))))) (log (sqrt (atan2 1 (fma N (+ N 1) 1)))))

prune814.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.3b

regimes111.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (N)
  :name "2atan (example 3.5)"

  :herbie-target
  (atan (/ 1 (+ 1 (* N (+ N 1)))))

  (- (atan (+ N 1)) (atan N)))

Backtrace

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