Error in 18.9s

Runtime

Time bar (total: 18.9s)Debug logProfile

start178.0ms

Algorithm
intervals

setup14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize45.0ms

Local error

Found 3 expressions with local error:

3.2b
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
0.3b
(/ 1 (sqrt x))
0.2b
(/ 1 (sqrt (+ x 1)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
3 → 57
Calls

3 calls. Slowest were:

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

series80.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

41.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
21.0ms
(/ 1 (sqrt (+ x 1)))
18.0ms
(/ 1 (sqrt x))

simplify240.0ms

Counts
33 → 66
Calls

33 calls. Slowest were:

59.0ms
(- (+ (* 3/8 (pow x 2)) 1) (* 1/2 x))
41.0ms
(sqrt (+ (* x x) (- (* 1 1) (* x 1))))
38.0ms
(/ (exp (/ 1 (sqrt x))) (exp (/ 1 (sqrt (+ x 1)))))

prune608.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 20.0b

localize17.0ms

Local error

Found 3 expressions with local error:

3.2b
(- (sqrt (+ x 1)) (sqrt x))
0.3b
(* (sqrt x) (sqrt (+ x 1)))
0.2b
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
3 → 71
Calls

3 calls. Slowest were:

13.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
9.0ms
(- (sqrt (+ x 1)) (sqrt x))
4.0ms
(* (sqrt x) (sqrt (+ x 1)))

series129.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

82.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
24.0ms
(- (sqrt (+ x 1)) (sqrt x))
23.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify971.0ms

Counts
56 → 80
Calls

56 calls. Slowest were:

282.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
128.0ms
(/ (* (* (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ x 1)) (sqrt x))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1)))))
63.0ms
(- (log (- (sqrt (+ x 1)) (sqrt x))) (+ (log (sqrt x)) (log (sqrt (+ x 1)))))

prune723.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize11.0ms

Local error

Found 4 expressions with local error:

0.7b
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
0.3b
(* (sqrt x) (sqrt (+ x 1)))
0.1b
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
0.0b
(+ (sqrt (+ x 1)) (sqrt x))

rewrite59.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

31.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
16.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
6.0ms
(* (sqrt x) (sqrt (+ x 1)))

series239.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

96.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
80.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
32.0ms
(+ (sqrt (+ x 1)) (sqrt x))

simplify3.7s

Counts
66 → 103
Calls

66 calls. Slowest were:

397.0ms
(* (sqrt (- x 1)) (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x)))))
370.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
352.0ms
(* (sqrt (- x 1)) (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x)))))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt x) (sqrt (+ x 1)))
0.1b
(/ 1 (* (sqrt x) (sqrt (+ x 1))))
0.1b
(/ (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (+ (sqrt (+ x 1)) (sqrt x)))
0.0b
(+ (sqrt (+ x 1)) (sqrt x))

rewrite36.0ms

Algorithm
rewrite-expression-head
Counts
4 → 106
Calls

4 calls. Slowest were:

13.0ms
(/ (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (+ (sqrt (+ x 1)) (sqrt x)))
9.0ms
(+ (sqrt (+ x 1)) (sqrt x))
6.0ms
(/ 1 (* (sqrt x) (sqrt (+ x 1))))

series199.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

108.0ms
(/ (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (+ (sqrt (+ x 1)) (sqrt x)))
36.0ms
(/ 1 (* (sqrt x) (sqrt (+ x 1))))
34.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify2.2s

Counts
97 → 118
Calls

97 calls. Slowest were:

326.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
143.0ms
(- (log (/ 1 (* (sqrt x) (sqrt (+ x 1))))) (log (+ (sqrt (+ x 1)) (sqrt x))))
111.0ms
(/ (* (* (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (/ 1 (* (sqrt x) (sqrt (+ x 1))))) (/ 1 (* (sqrt x) (sqrt (+ x 1))))) (* (* (+ (sqrt (+ x 1)) (sqrt x)) (+ (sqrt (+ x 1)) (sqrt x))) (+ (sqrt (+ x 1)) (sqrt x))))

prune1.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0b

regimes46.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x)
  :name "2isqrt (example 3.6)"

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

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

Backtrace

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