Error in 17.7s

Runtime

Time bar (total: 17.7s)Debug log

start79.0ms

Algorithm
intervals

setup24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.2b

localize21.0ms

Local error

Found 2 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
2 → 57
Calls

2 calls. Slowest were:

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

series70.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

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

simplify920.0ms

Counts
59 → 63
Calls

59 calls. Slowest were:

85.0ms
(- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
43.0ms
(fma (sqrt (sqrt (+ 1 x))) (sqrt (sqrt (+ 1 x))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
38.0ms
(fma (sqrt 1) (sqrt (+ 1 x)) (- (* (sqrt x) 1)))

prune678.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 28.5b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

16.0ms
(- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))
10.0ms
(* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x))))
1.0ms
(cbrt (+ x 1))

series232.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

88.0ms
(- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))
58.0ms
(* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x))))
52.0ms
(cbrt (+ x 1))

simplify2.0s

Counts
46 → 87
Calls

46 calls. Slowest were:

402.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))))
272.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))))
260.0ms
(- (+ (* 1/6 (* (fabs (pow (+ x 1) 1/3)) (pow (/ 1 (pow x 5)) 1/6))) (* (fabs (pow (+ x 1) 1/3)) (pow x 1/6))) (* 5/72 (* (fabs (pow (+ x 1) 1/3)) (pow (/ 1 (pow x 11)) 1/6))))

prune1.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 28.5b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

21.0ms
(exp (log (- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))))
20.0ms
(log (- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x)))
16.0ms
(- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))

series295.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

97.0ms
(log (- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x)))
72.0ms
(exp (log (- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))))
69.0ms
(- (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) (sqrt x))

simplify1.0s

Counts
41 → 80
Calls

41 calls. Slowest were:

214.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))))
114.0ms
(log (- (pow (* (fabs (cbrt (+ x 1))) (sqrt (cbrt (+ 1 x)))) 3) (pow (sqrt x) 3)))
99.0ms
(- (+ (* 1/3 x) 1) (* 1/9 (pow x 2)))

prune1.3s

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 28.5b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

24.0ms
(log (- (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x)))) (sqrt x)))
21.0ms
(exp (log (- (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x)))) (sqrt x))))
15.0ms
(- (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x)))) (sqrt x))

series273.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify1.0s

Counts
41 → 80
Calls

41 calls. Slowest were:

210.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))))
111.0ms
(log (- (pow (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x)))) 3) (pow (sqrt x) 3)))
104.0ms
(log (- (* (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x)))) (* (fabs (* (cbrt (sqrt (+ x 1))) (cbrt (sqrt (+ x 1))))) (sqrt (cbrt (+ 1 x))))) (* (sqrt x) (sqrt x))))

prune1.4s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 28.5b

regimes212.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.3288852875861 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