Error in 21.0s

Runtime

Time bar (total: 21.0s)Debug log

start226.0ms

Algorithm
intervals

setup25.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.3b

localize15.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
0.3b
(/ 1 (sqrt x))
0.2b
(/ 1 (sqrt (+ x 1)))
0.0b
(sqrt (+ x 1))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

14.0ms
(sqrt (+ x 1))
5.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
1.0ms
(/ 1 (sqrt (+ x 1)))

series98.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

42.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
21.0ms
(/ 1 (sqrt (+ x 1)))
20.0ms
(/ 1 (sqrt x))

simplify351.0ms

Counts
42 → 83
Calls

42 calls. Slowest were:

82.0ms
(- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
50.0ms
(- (+ (* 3/8 (pow x 2)) 1) (* 1/2 x))
46.0ms
(sqrt (+ (* x x) (- (* 1 1) (* x 1))))

prune883.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.6b

localize16.0ms

Local error

Found 4 expressions with local error:

3.5b
(- (sqrt (+ x 1)) (sqrt x))
0.2b
(* (sqrt x) (sqrt (+ x 1)))
0.1b
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
0.0b
(sqrt (+ x 1))

rewrite55.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

31.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
11.0ms
(- (sqrt (+ x 1)) (sqrt x))
8.0ms
(* (sqrt x) (sqrt (+ x 1)))

series149.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

70.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
36.0ms
(- (sqrt (+ x 1)) (sqrt x))
32.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify1.1s

Counts
65 → 97
Calls

65 calls. Slowest were:

337.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
95.0ms
(/ (* (* (- (sqrt (+ x 1)) (sqrt x)) (- (sqrt (+ x 1)) (sqrt x))) (- (sqrt (+ x 1)) (sqrt x))) (* (* (* (sqrt x) (sqrt (+ x 1))) (* (sqrt x) (sqrt (+ x 1)))) (* (sqrt x) (sqrt (+ x 1)))))
93.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)))))

prune1.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Counts
4 → 91
Calls

4 calls. Slowest were:

33.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
33.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
9.0ms
(+ (sqrt (+ x 1)) (sqrt x))

series269.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

105.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
104.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
35.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify3.7s

Counts
66 → 103
Calls

66 calls. Slowest were:

437.0ms
(* (sqrt (- x 1)) (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x)))))
411.0ms
(* (sqrt (- x 1)) (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x)))))
351.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

12.0ms
(/ 1 (pow (+ (* x (sqrt (+ x 1))) (* (+ x 1) (sqrt x))) 1))
8.0ms
(+ (* x (sqrt (+ x 1))) (* (+ x 1) (sqrt x)))
4.0ms
(* (+ x 1) (sqrt x))

series170.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

65.0ms
(+ (* x (sqrt (+ x 1))) (* (+ x 1) (sqrt x)))
64.0ms
(/ 1 (pow (+ (* x (sqrt (+ x 1))) (* (+ x 1) (sqrt x))) 1))
21.0ms
(* x (sqrt (+ x 1)))

simplify3.1s

Counts
46 → 83
Calls

46 calls. Slowest were:

394.0ms
(* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (sqrt x) (sqrt x)) (sqrt x)))
344.0ms
(+ (* (* x (sqrt (+ (pow x 3) (pow 1 3)))) (- x 1)) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (* (- (* x x) (* 1 1)) (sqrt x))))
343.0ms
(+ (* (* x (sqrt (- (* x x) (* 1 1)))) (+ (* x x) (- (* 1 1) (* x 1)))) (* (sqrt (- x 1)) (* (+ (pow x 3) (pow 1 3)) (sqrt x))))

prune873.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes89.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.6026295408334549 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