Error in 15.9s

Runtime

Time bar (total: 15.9s)Debug log

start94.0ms

Algorithm
intervals

setup24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize39.0ms

Local error

Found 2 expressions with local error:

3.5b
(- (sqrt (+ x 1)) (sqrt x))
0.0b
(sqrt (+ x 1))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
2 → 29
Calls

2 calls. Slowest were:

11.0ms
(- (sqrt (+ x 1)) (sqrt x))
1.0ms
(sqrt (+ x 1))

series55.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

38.0ms
(- (sqrt (+ x 1)) (sqrt x))
17.0ms
(sqrt (+ x 1))

simplify123.0ms

Counts
18 → 35
Calls

18 calls. Slowest were:

48.0ms
(- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
20.0ms
(/ (exp (sqrt (+ x 1))) (exp (sqrt x)))
18.0ms
(sqrt (- (* x x) (* 1 1)))

prune345.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 28.6b

localize38.0ms

Local error

Found 4 expressions with local error:

13.9b
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))
0.3b
(cbrt (+ x 1))
0.3b
(cbrt (+ 1 x))
0.2b
(* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
4 → 63
Calls

4 calls. Slowest were:

13.0ms
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))
5.0ms
(* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1))))
1.0ms
(cbrt (+ x 1))

series214.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

66.0ms
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))
53.0ms
(cbrt (+ x 1))
50.0ms
(* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1))))

simplify1.5s

Counts
39 → 75
Calls

39 calls. Slowest were:

225.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))))
193.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))))
176.0ms
(- (+ (fabs (pow (+ x 1) 1/3)) (* 1/6 (* (fabs (pow (+ x 1) 1/3)) x))) (* 5/72 (* (fabs (pow (+ x 1) 1/3)) (pow x 2))))

prune1.1s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 28.5b

localize14.0ms

Local error

Found 4 expressions with local error:

13.9b
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))
6.4b
(log (- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
0.6b
(exp (log (- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))))
0.3b
(cbrt (+ 1 x))

rewrite57.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

23.0ms
(exp (log (- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))))
18.0ms
(log (- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
14.0ms
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))

series269.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

84.0ms
(- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x))
78.0ms
(log (- (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
54.0ms
(cbrt (+ 1 x))

simplify643.0ms

Counts
34 → 68
Calls

34 calls. Slowest were:

223.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))))
103.0ms
(log (- (pow (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) 3) (pow (sqrt x) 3)))
59.0ms
(exp (log (- (pow (* (fabs (cbrt (+ 1 x))) (sqrt (cbrt (+ x 1)))) 3) (pow (sqrt x) 3))))

prune1.2s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 28.5b

localize40.0ms

Local error

Found 4 expressions with local error:

16.1b
(- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))
6.4b
(log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
0.6b
(exp (log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))))
0.3b
(cbrt (+ x 1))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

20.0ms
(exp (log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))))
17.0ms
(log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
14.0ms
(- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

85.0ms
(log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x)))
68.0ms
(exp (log (- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))))
65.0ms
(- (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) (sqrt x))

simplify649.0ms

Counts
34 → 68
Calls

34 calls. Slowest were:

169.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))))
117.0ms
(exp (log (- (pow (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) 3) (pow (sqrt x) 3))))
69.0ms
(log (- (pow (* (fabs (* (cbrt (sqrt (+ 1 x))) (cbrt (sqrt (+ 1 x))))) (sqrt (cbrt (+ x 1)))) 3) (pow (sqrt x) 3)))

prune1.1s

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 28.4b

regimes501.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x)
  :name "2sqrt (example 3.1)"

  :herbie-target
  (/ 1 (+ (sqrt (+ x 1)) (sqrt x)))

  (- (sqrt (+ x 1)) (sqrt x)))

Backtrace

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