Error in 20.3s

Runtime

Time bar (total: 20.3s)Debug log

start137.0ms

Algorithm
intervals

setup29.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.3b

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Counts
4 → 107
Calls

4 calls. Slowest were:

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

series70.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

31.0ms
(- (/ 1 (sqrt x)) (/ 1 (sqrt (+ x 1))))
14.0ms
(/ 1 (sqrt x))
13.0ms
(/ 1 (sqrt (+ x 1)))

simplify3.8s

Counts
92 → 119
Calls

92 calls. Slowest were:

209.0ms
(fma (- (sqrt (+ (* x x) (- (* 1 1) (* x 1))))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3)))) (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3))))))
187.0ms
(fma 1 (/ 1 (sqrt x)) (- (* (sqrt (- x 1)) (/ 1 (sqrt (- (* x x) (* 1 1)))))))
186.0ms
(fma 1 (/ 1 (sqrt x)) (- (* (sqrt (+ (* x x) (- (* 1 1) (* x 1)))) (/ 1 (sqrt (+ (pow x 3) (pow 1 3)))))))

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 18.6b

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 117
Calls

4 calls. Slowest were:

17.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
10.0ms
(- (sqrt (+ x 1)) (sqrt x))
4.0ms
(* (sqrt x) (sqrt (+ x 1)))

series135.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

69.0ms
(/ (- (sqrt (+ x 1)) (sqrt x)) (* (sqrt x) (sqrt (+ x 1))))
28.0ms
(- (sqrt (+ x 1)) (sqrt x))
27.0ms
(* (sqrt x) (sqrt (+ x 1)))

simplify2.3s

Counts
106 → 129
Calls

106 calls. Slowest were:

665.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
130.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)))))
110.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.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize20.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 → 105
Calls

4 calls. Slowest were:

34.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
31.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
9.0ms
(+ (sqrt (+ x 1)) (sqrt x))

series203.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

90.0ms
(/ 1 (* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x))))
63.0ms
(* (* (sqrt x) (sqrt (+ x 1))) (+ (sqrt (+ x 1)) (sqrt x)))
29.0ms
(+ (sqrt (+ x 1)) (sqrt x))

simplify3.4s

Counts
71 → 117
Calls

71 calls. Slowest were:

528.0ms
(* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (sqrt (+ x 1)) (sqrt (+ x 1))) (sqrt (+ x 1))))
240.0ms
(* (* (sqrt x) (sqrt (- (* x x) (* 1 1)))) (+ (pow (sqrt (+ x 1)) 3) (pow (sqrt x) 3)))
199.0ms
(* (* (sqrt x) (sqrt (+ (pow x 3) (pow 1 3)))) (+ (pow (sqrt (+ x 1)) 3) (pow (sqrt x) 3)))

prune839.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

2.0ms
(/ 1 (pow (fma x (sqrt (+ x 1)) (fma (sqrt x) x (sqrt x))) 1))
1.0ms
(sqrt (+ x 1))
0.0ms
(fma (sqrt x) x (sqrt x))

series139.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

56.0ms
(/ 1 (pow (fma x (sqrt (+ x 1)) (fma (sqrt x) x (sqrt x))) 1))
45.0ms
(fma x (sqrt (+ x 1)) (fma (sqrt x) x (sqrt x)))
28.0ms
(fma (sqrt x) x (sqrt x))

simplify226.0ms

Counts
25 → 71
Calls

25 calls. Slowest were:

51.0ms
(- (+ (* 1/2 x) 1) (* 1/8 (pow x 2)))
27.0ms
(sqrt (pow (fma x (sqrt (+ x 1)) (fma (sqrt x) x (sqrt x))) 1))
26.0ms
(pow (sqrt (fma x (sqrt (+ x 1)) (fma (sqrt x) x (sqrt x)))) 1)

prune541.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes54.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.601263939270504 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