Error in 32.2s

Runtime

Time bar (total: 32.2s)Debug logProfile

start453.0ms

Algorithm
intervals

setup105.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 59.5b

localize29.0ms

Local error

Found 2 expressions with local error:

5.2b
(log (/ (+ x 1) (- 1 x)))
0.0b
(/ (+ x 1) (- 1 x))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
2 → 57
Calls

2 calls. Slowest were:

3.0ms
(/ (+ x 1) (- 1 x))
1.0ms
(log (/ (+ x 1) (- 1 x)))

series79.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

62.0ms
(log (/ (+ x 1) (- 1 x)))
17.0ms
(/ (+ x 1) (- 1 x))

simplify1.5s

Counts
53 → 63
Calls

53 calls. Slowest were:

337.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
206.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
179.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))

prune706.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.1b
(* 2/3 (pow x 3))
0.1b
(* 2/5 (pow x 5))
0.0b
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

6.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
2.0ms
(* 2/3 (pow x 3))
2.0ms
(* 2/5 (pow x 5))

series117.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

62.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
28.0ms
(* 2/5 (pow x 5))
27.0ms
(* 2/3 (pow x 3))

simplify127.0ms

Counts
17 → 44
Calls

17 calls. Slowest were:

25.0ms
(* (exp (* 2/3 (pow x 3))) (exp (* 2/5 (pow x 5))))
24.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
14.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))

prune866.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

5.2b
(log (/ (cbrt (+ x 1)) (cbrt (- 1 x))))
5.2b
(log (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))))
0.0b
(/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x))))
0.0b
(cbrt (- 1 x))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 130
Calls

4 calls. Slowest were:

14.0ms
(/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x))))
10.0ms
(log (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))))
4.0ms
(log (/ (cbrt (+ x 1)) (cbrt (- 1 x))))

series616.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

321.0ms
(log (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))))
200.0ms
(log (/ (cbrt (+ x 1)) (cbrt (- 1 x))))
51.0ms
(cbrt (- 1 x))

simplify4.6s

Counts
109 → 142
Calls

109 calls. Slowest were:

611.0ms
(/ (* (+ x 1) (+ x 1)) (* (- 1 x) (- 1 x)))
347.0ms
(/ (* (+ x 1) (+ x 1)) (* (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))) (* (cbrt (- 1 x)) (cbrt (- 1 x)))))
203.0ms
(- (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (+ (* 1/3 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) x)) (* 1/9 (/ (exp (* 1/3 (- (log -1) (log (/ 1 x))))) (pow x 2)))))

prune1.3s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

5.2b
(log (/ (cbrt (+ x 1)) (- 1 x)))
5.0b
(log (cbrt (+ 1 x)))
5.0b
(log (cbrt (+ 1 x)))
0.0b
(/ (cbrt (+ x 1)) (- 1 x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 114
Calls

4 calls. Slowest were:

3.0ms
(/ (cbrt (+ x 1)) (- 1 x))
2.0ms
(log (/ (cbrt (+ x 1)) (- 1 x)))
1.0ms
(log (cbrt (+ 1 x)))

series267.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

81.0ms
(log (/ (cbrt (+ x 1)) (- 1 x)))
81.0ms
(log (cbrt (+ 1 x)))
64.0ms
(log (cbrt (+ 1 x)))

simplify3.6s

Counts
107 → 126
Calls

107 calls. Slowest were:

622.0ms
(+ (log (* -1 (pow x 1/3))) (+ (log (/ 1 x)) (+ (* 1/3 (/ 1 (pow x 2))) (* 4/3 (/ 1 x)))))
348.0ms
(+ (* 4/3 (/ 1 x)) (+ (* 2/3 (log (/ -1 x))) (+ (* 1/3 (/ 1 (pow x 2))) (* 1/3 (log -1)))))
293.0ms
(- (+ (* 1/3 (/ 1 x)) (* 1/3 (log -1))) (+ (* 1/3 (log (/ -1 x))) (* 1/6 (/ 1 (pow x 2)))))

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes34.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "Hyperbolic arc-(co)tangent"
  (* (/ 1 2) (log (/ (+ 1 x) (- 1 x)))))

Backtrace

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