Error in 19.2s

Runtime

Time bar (total: 19.2s)Debug log

start440.0ms

Algorithm
intervals

setup108.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(sqrt (+ (exp x) 1))
0.0b
(+ (exp x) 1)

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
2 → 24
Calls

2 calls. Slowest were:

7.0ms
(sqrt (+ (exp x) 1))
2.0ms
(+ (exp x) 1)

series34.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

27.0ms
(sqrt (+ (exp x) 1))
7.0ms
(+ (exp x) 1)

simplify297.0ms

Counts
12 → 30
Calls

12 calls. Slowest were:

161.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
66.0ms
(sqrt (- (* (exp x) (exp x)) (* 1 1)))
37.0ms
(+ x (+ (* 1/2 (pow x 2)) 2))

prune272.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))
0.0b
(sqrt (+ (exp x) 1))
0.0b
(sqrt (+ (exp x) 1))
0.0b
(+ (exp x) 1)

rewrite43.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

23.0ms
(* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))
5.0ms
(sqrt (+ (exp x) 1))
5.0ms
(sqrt (+ (exp x) 1))

series88.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

29.0ms
(sqrt (+ (exp x) 1))
29.0ms
(* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))
19.0ms
(sqrt (+ (exp x) 1))

simplify1.4s

Counts
64 → 94
Calls

64 calls. Slowest were:

138.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
135.0ms
(* (sqrt (sqrt (- (exp x) 1))) (sqrt (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
125.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))

prune957.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt (+ (exp x) 1))
0.7b
(cbrt (+ (exp x) 1))
0.0b
(sqrt (+ (exp x) 1))
0.0b
(+ (exp x) 1)

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 50
Calls

4 calls. Slowest were:

5.0ms
(+ (exp x) 1)
3.0ms
(sqrt (+ (exp x) 1))
2.0ms
(cbrt (+ (exp x) 1))

series317.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

173.0ms
(cbrt (+ (exp x) 1))
119.0ms
(cbrt (+ (exp x) 1))
19.0ms
(sqrt (+ (exp x) 1))

simplify648.0ms

Counts
28 → 62
Calls

28 calls. Slowest were:

130.0ms
(+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (+ (* 1/6 (* x (pow 2 1/3))) (pow 2 1/3)))
124.0ms
(- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
118.0ms
(+ (* 1/18 (* (pow x 2) (pow 2 1/3))) (+ (* 1/6 (* x (pow 2 1/3))) (pow 2 1/3)))

prune986.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes50.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x)
  :name "sqrtexp (problem 3.4.4)"
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))

Backtrace

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