Error in 15.0s

Runtime

Time bar (total: 15.0s)Debug logProfile

start96.0ms

Algorithm
intervals

setup25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.9b

localize39.0ms

Local error

Found 1 expressions with local error:

3.2b
(- (sqrt (+ x 1)) (sqrt x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
1 → 15
Calls

1 calls. Slowest were:

10.0ms
(- (sqrt (+ x 1)) (sqrt x))

series38.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify68.0ms

Counts
9 → 18
Calls

9 calls. Slowest were:

28.0ms
(/ (exp (sqrt (+ x 1))) (exp (sqrt x)))
11.0ms
(- (sqrt (sqrt (+ x 1))) (sqrt (sqrt x)))
10.0ms
(- (sqrt (sqrt (+ x 1))) (sqrt (sqrt x)))

prune175.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 30.8b

localize25.0ms

Local error

Found 4 expressions with local error:

2.4b
(- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x)))
0.5b
(* (sqrt x) (sqrt x))
0.3b
(* (sqrt (+ x 1)) (sqrt (+ x 1)))
0.0b
(/ (- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1)) (sqrt x)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

39.0ms
(/ (- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1)) (sqrt x)))
19.0ms
(- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x)))
10.0ms
(* (sqrt (+ x 1)) (sqrt (+ x 1)))

series100.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

60.0ms
(/ (- (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt x) (sqrt x))) (+ (sqrt (+ x 1)) (sqrt x)))
16.0ms
(* (sqrt (+ x 1)) (sqrt (+ x 1)))
12.0ms
(* (sqrt x) (sqrt x))

simplify3.0s

Counts
108 → 128
Calls

108 calls. Slowest were:

594.0ms
(- (pow (* (sqrt (+ x 1)) (sqrt (+ x 1))) 3) (pow (* (sqrt x) (sqrt x)) 3))
506.0ms
(- (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (* (sqrt (+ x 1)) (sqrt (+ x 1)))) (* (* (sqrt x) (sqrt x)) (* (sqrt x) (sqrt x))))
237.0ms
(* (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize3.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ 1 (+ (sqrt (+ x 1)) (sqrt x)))
0.0b
(+ (sqrt (+ x 1)) (sqrt x))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
2 → 31
Calls

2 calls. Slowest were:

6.0ms
(+ (sqrt (+ x 1)) (sqrt x))
4.0ms
(/ 1 (+ (sqrt (+ x 1)) (sqrt x)))

series54.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

34.0ms
(/ 1 (+ (sqrt (+ x 1)) (sqrt x)))
20.0ms
(+ (sqrt (+ x 1)) (sqrt x))

simplify130.0ms

Counts
15 → 37
Calls

15 calls. Slowest were:

102.0ms
(+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x))))
6.0ms
(* (exp (sqrt (+ x 1))) (exp (sqrt x)))
5.0ms
(- (sqrt (+ x 1)) (sqrt x))

prune385.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x))))
0.2b
(/ (/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1)) (sqrt x))))
0.1b
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))
0.1b
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Counts
4 → 127
Calls

4 calls. Slowest were:

20.0ms
(/ (/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1)) (sqrt x))))
10.0ms
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))
10.0ms
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))

series632.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

468.0ms
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))
78.0ms
(/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x))))
58.0ms
(sqrt (+ (sqrt (+ x 1)) (sqrt x)))

simplify2.9s

Counts
143 → 139
Calls

143 calls. Slowest were:

469.0ms
(/ (* (* (/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x)))) (/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x))))) (/ 1 (sqrt (+ (sqrt (+ x 1)) (sqrt x))))) (* (* (sqrt (+ (sqrt (+ x 1)) (sqrt x))) (sqrt (+ (sqrt (+ x 1)) (sqrt x)))) (sqrt (+ (sqrt (+ x 1)) (sqrt x)))))
155.0ms
(/ (sqrt (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x))))) (sqrt (sqrt (+ (sqrt (+ x 1)) (sqrt x)))))
135.0ms
(/ (sqrt (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x))))) (sqrt (+ (sqrt (+ x 1)) (sqrt x))))

prune1.7s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

regimes87.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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: 0.15662988750216342 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