Error in 42.0s

Runtime

Time bar (total: 42.0s)Debug log

start366.0ms

Algorithm
intervals

setup154.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.6b

localize30.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
2 → 57
Calls

2 calls. Slowest were:

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

series108.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

93.0ms
(log (/ (+ x 1) (- 1 x)))
15.0ms
(/ (+ x 1) (- 1 x))

simplify1.3s

Counts
53 → 63
Calls

53 calls. Slowest were:

296.0ms
(/ (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (- 1 x) (- 1 x)) (- 1 x)))
152.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))
120.0ms
(- (+ (* 2 (/ 1 (pow x 2))) (+ (* 2 (/ 1 x)) 1)))

prune679.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

3.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
1.0ms
(* 2/3 (pow x 3))
1.0ms
(* 2/5 (pow x 5))

series89.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

53.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
20.0ms
(* 2/5 (pow x 5))
16.0ms
(* 2/3 (pow x 3))

simplify110.0ms

Counts
17 → 44
Calls

17 calls. Slowest were:

34.0ms
(* (exp (* 2/3 (pow x 3))) (exp (* 2/5 (pow x 5))))
16.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))
13.0ms
(+ (* 2/3 (pow x 3)) (* 2/5 (pow x 5)))

prune787.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

6.2b
(log (/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))))
0.0b
(/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
0.0b
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))
0.0b
(+ (* x x) (- (* 1 1) (* x 1)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

26.0ms
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))
22.0ms
(/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
14.0ms
(log (/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))))

series186.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

115.0ms
(log (/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))))
33.0ms
(/ (+ 1 (pow x 3)) (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
23.0ms
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))

simplify11.4s

Counts
81 → 112
Calls

81 calls. Slowest were:

526.0ms
(+ (* (* x x) (* x x)) (- (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))) (* (* x x) (- (* 1 1) (* x 1)))))
503.0ms
(+ (* (* x x) (* x x)) (- (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))) (* (* x x) (- (* 1 1) (* x 1)))))
447.0ms
(* (+ 1 x) (- (* x x) (- (* 1 1) (* x 1))))

prune1.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

6.2b
(log (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
1.8b
(log (+ 1 (pow x 3)))
0.0b
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))
0.0b
(+ (* x x) (- (* 1 1) (* x 1)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

20.0ms
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))
15.0ms
(log (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
13.0ms
(+ (* x x) (- (* 1 1) (* x 1)))

series462.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

324.0ms
(log (+ 1 (pow x 3)))
106.0ms
(log (* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1)))))
19.0ms
(* (- 1 x) (+ (* x x) (- (* 1 1) (* x 1))))

simplify8.2s

Counts
56 → 88
Calls

56 calls. Slowest were:

597.0ms
(log (* (- (pow 1 3) (pow x 3)) (- (* (* x x) (* x x)) (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))))))
522.0ms
(+ (* (* x x) (* x x)) (- (* (- (* 1 1) (* x 1)) (- (* 1 1) (* x 1))) (* (* x x) (- (* 1 1) (* x 1)))))
484.0ms
(* (+ 1 x) (- (* x x) (- (* 1 1) (* x 1))))

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes27.0ms

Please include this information when filing a bug report:

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

Backtrace

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