Error in 22.9s

Runtime

Time bar (total: 22.9s)Debug logProfile

start155.0ms

Algorithm
intervals

setup15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize35.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)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
3 → 91
Calls

3 calls. Slowest were:

8.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
1.0ms
(/ 1 (sqrt (+ x 1)))
1.0ms
(/ 1 (sqrt x))

series63.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

34.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
17.0ms
(/ 1 (sqrt (+ x 1)))
11.0ms
(/ 1 (sqrt x))

simplify3.6s

Counts
83 → 100
Calls

83 calls. Slowest were:

184.0ms
(fma (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x))) (- (* (sqrt (- x 1)) (/ 1 (sqrt (- (* x x) (* 1 1)))))))
182.0ms
(fma 1 (/ 1 (sqrt x)) (- (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3)))))))
178.0ms
(fma (- (sqrt (- x 1))) (/ 1 (sqrt (- (* x x) (* 1 1)))) (* (sqrt (- x 1)) (/ 1 (sqrt (- (* x x) (* 1 1))))))

prune893.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 20.0b

localize10.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))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
3 → 101
Calls

3 calls. Slowest were:

27.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
8.0ms
(- (sqrt (+ x 1)) (sqrt x))
8.0ms
(* (sqrt x) (sqrt (+ x 1)))

series134.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

81.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
27.0ms
(* (sqrt x) (sqrt (+ x 1)))
26.0ms
(- (sqrt (+ x 1)) (sqrt x))

simplify2.3s

Counts
97 → 110
Calls

97 calls. Slowest were:

693.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
103.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)))))
66.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)))))

prune1.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize8.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))

rewrite58.0ms

Algorithm
rewrite-expression-head
Counts
4 → 105
Calls

4 calls. Slowest were:

24.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
18.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
10.0ms
(+ (sqrt (+ x 1)) (sqrt x))

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

118.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
90.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
31.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify4.1s

Counts
71 → 117
Calls

71 calls. Slowest were:

699.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
312.0ms
(* (* (sqrt x) (sqrt (- (* x x) (* 1 1)))) (+ (pow (sqrt (+ x 1)) 3) (pow (sqrt x) 3)))
238.0ms
(* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (+ (* (sqrt (+ x 1)) (sqrt (+ x 1))) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1)) (sqrt x)))))

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize7.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))

rewrite47.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

23.0ms
(/ (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (+ (sqrt (+ x 1)) (sqrt x)))
9.0ms
(* (sqrt x) (sqrt (+ x 1)))
8.0ms
(/ 1 (* (sqrt x) (sqrt (+ x 1))))

series192.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

105.0ms
(/ (/ 1 (* (sqrt x) (sqrt (+ x 1)))) (+ (sqrt (+ x 1)) (sqrt x)))
34.0ms
(/ 1 (* (sqrt x) (sqrt (+ x 1))))
30.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify2.3s

Counts
102 → 132
Calls

102 calls. Slowest were:

657.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
132.0ms
(- (+ (* 3/8 (/ 1 (pow x 3))) (/ 1 x)) (* 1/2 (/ 1 (pow x 2))))
81.0ms
(- (log (/ 1 (* (sqrt x) (sqrt (+ x 1))))) (log (+ (sqrt (+ x 1)) (sqrt x))))

prune932.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

regimes36.0ms

Please include this information when filing a bug report:

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