Error in 16.8s

Runtime

Time bar (total: 16.8s)Debug logProfile

start125.0ms

Algorithm
intervals

setup18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 40.2b

localize27.0ms

Local error

Found 1 expressions with local error:

3.2b
(log (+ 1 x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
1 → 14
Calls

1 calls. Slowest were:

1.0ms
(log (+ 1 x))

series37.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

37.0ms
(log (+ 1 x))

simplify550.0ms

Counts
9 → 17
Calls

9 calls. Slowest were:

252.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
140.0ms
(- (/ 1 x) (+ (log (/ 1 x)) (* 1/2 (/ 1 (pow x 2)))))
125.0ms
(- (+ x (* 1/3 (pow x 3))) (* 1/2 (pow x 2)))

prune122.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.4b
(* x 1/3)
0.0b
(* (- (* x 1/3) 1/2) (* x x))
0.0b
(+ (* (- (* x 1/3) 1/2) (* x x)) x)

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
3 → 35
Calls

3 calls. Slowest were:

11.0ms
(* (- (* x 1/3) 1/2) (* x x))
10.0ms
(+ (* (- (* x 1/3) 1/2) (* x x)) x)
0.0ms
(* x 1/3)

series96.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

60.0ms
(* (- (* x 1/3) 1/2) (* x x))
23.0ms
(+ (* (- (* x 1/3) 1/2) (* x x)) x)
13.0ms
(* x 1/3)

simplify2.0s

Counts
16 → 44
Calls

16 calls. Slowest were:

490.0ms
(* (- (* (* x 1/3) (* x 1/3)) (* 1/2 1/2)) (* x x))
476.0ms
(* (- (pow (* x 1/3) 3) (pow 1/2 3)) (* x x))
475.0ms
(* (* (* (- (* x 1/3) 1/2) (- (* x 1/3) 1/2)) (- (* x 1/3) 1/2)) (* (* (* x x) (* x x)) (* x x)))

prune395.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

3.2b
(log (+ 1 x))
3.2b
(log (+ 1 x))
3.2b
(log (+ 1 x))
0.2b
(* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x))))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

6.0ms
(* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x))))
2.0ms
(log (+ 1 x))
1.0ms
(log (+ 1 x))

series168.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

80.0ms
(* (cbrt (log (+ 1 x))) (cbrt (log (+ 1 x))))
35.0ms
(log (+ 1 x))
27.0ms
(log (+ 1 x))

simplify2.7s

Counts
52 → 84
Calls

52 calls. Slowest were:

417.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
407.0ms
(- (+ (* 1/3 (* (pow (/ 1 (log (/ 1 x))) 1/3) (/ 1 (pow x 2)))) (pow (pow (log (/ 1 x)) 2) 1/3)) (+ (* 1/9 (* (pow (/ 1 (pow (log (/ 1 x)) 4)) 1/3) (/ 1 (pow x 2)))) (* 2/3 (* (pow (/ 1 (log (/ 1 x))) 1/3) (/ 1 x)))))
350.0ms
(- (+ (* 2/3 (* (/ (log -1) x) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 4)) 1/3))) (+ (* 8/9 (* (/ (* (log (/ -1 x)) (log -1)) (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 10)) 1/3))) (+ (* 1/3 (* (/ 1 (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 4)) 1/3))) (+ (* 1/3 (* (/ (log (/ -1 x)) (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 4)) 1/3))) (pow (pow (- (log -1) (log (/ -1 x))) 2) 1/3))))) (+ (* 2/3 (* (/ (log (/ -1 x)) x) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 4)) 1/3))) (+ (* 1/3 (* (/ (log -1) (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 4)) 1/3))) (+ (* 4/9 (* (/ (pow (log -1) 2) (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 10)) 1/3))) (* 4/9 (* (/ (pow (log (/ -1 x)) 2) (pow x 2)) (pow (/ 1 (pow (- (log -1) (log (/ -1 x))) 10)) 1/3)))))))

prune881.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

14.3b
(log (+ 1 (pow x 3)))
12.6b
(log (+ (* 1 1) (- (* x x) (* 1 x))))
3.2b
(log (+ 1 x))
3.2b
(log (+ 1 x))

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

7.0ms
(log (+ (* 1 1) (- (* x x) (* 1 x))))
2.0ms
(log (+ 1 (pow x 3)))
1.0ms
(log (+ 1 x))

series462.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

353.0ms
(log (+ 1 (pow x 3)))
41.0ms
(log (+ 1 x))
38.0ms
(log (+ 1 x))

simplify3.2s

Counts
37 → 69
Calls

37 calls. Slowest were:

649.0ms
(log (+ (pow (* 1 1) 3) (pow (- (* x x) (* 1 x)) 3)))
431.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))
363.0ms
(- (+ (/ 1 x) (log -1)) (+ (log (/ -1 x)) (* 1/2 (/ 1 (pow x 2)))))

prune1.3s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes118.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "ln(1 + x)"

  :herbie-target
  (if (== (+ 1 x) 1) x (/ (* x (log (+ 1 x))) (- (+ 1 x) 1)))

  (log (+ 1 x)))

Backtrace

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