Runtime

start166.0ms

Algorithm: intervals

setup293.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 53.3b

localize71.0ms

Local error

Found 4 expressions with local error:

46.9b	(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))
36.2b	(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
0.1b	(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
0.0b	(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite115.0ms

Algorithm

rewrite-expression-head

Counts

4 → 178

Calls

4 calls. Slowest were:

36.0ms

(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

32.0ms

(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))

22.0ms

(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

series965.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

680.0ms

(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

131.0ms

(/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))))

92.0ms

(* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify48.4s

Counts

191 → 190

Calls

191 calls. Slowest were:

1.0s

(/ (- (+ alpha beta) (* 2 i)) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

898.0ms

(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))

884.0ms

(* (* i (+ (+ alpha beta) i)) (* i (+ (+ alpha beta) i)))

prune4.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 36.1b

localize22.0ms

Local error

Found 4 expressions with local error:

42.4b	(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
36.2b	(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
6.1b	(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))
0.0b	(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite98.0ms

Algorithm

rewrite-expression-head

Counts

4 → 187

Calls

4 calls. Slowest were:

37.0ms

(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

27.0ms

(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

18.0ms

(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts

4 → 12

Calls

4 calls. Slowest were:

760.0ms

(/ (/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

153.0ms

(/ (* i (+ (+ alpha beta) i)) (/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))))

139.0ms

(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify46.2s

Counts

208 → 199

Calls

208 calls. Slowest were:

1.1s

(/ (/ i (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) 1)

1.0s

(* (+ (+ alpha beta) (* 2 i)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))

925.0ms

(/ (/ i 1) (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))

prune3.8s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 36.1b

localize38.0ms

Local error

Found 4 expressions with local error:

36.5b	(/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))
36.2b	(/ (* i (/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))
0.0b	(* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha))))
0.0b	(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Counts

4 → 114

Calls

4 calls. Slowest were:

32.0ms

(/ (* i (/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

17.0ms

(/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))

11.0ms

(* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))

series1.1s

Counts

4 → 12

Calls

4 calls. Slowest were:

787.0ms

(/ (* i (/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

166.0ms

(/ (* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha)))) (fma 2 i (+ beta alpha)))

89.0ms

(* (fma i (+ i (+ beta alpha)) (* alpha beta)) (/ (+ i (+ beta alpha)) (fma 2 i (+ beta alpha))))

simplify16.3s

Counts

89 → 126

Calls

89 calls. Slowest were:

998.0ms

(sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

912.0ms

(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))

743.0ms

(/ i (sqrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))

prune2.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 36.1b

localize88.0ms

Local error

Found 4 expressions with local error:

42.4b	(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
42.4b	(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))
42.1b	(cbrt (fma (+ (fma i 2 beta) alpha) (+ (fma i 2 beta) alpha) (- 1.0)))
42.1b	(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

rewrite69.0ms

Algorithm

rewrite-expression-head

Counts

4 → 94

Calls

4 calls. Slowest were:

27.0ms

(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

20.0ms

(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

18.0ms

(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

series1.2s

Counts

4 → 12

Calls

4 calls. Slowest were:

478.0ms

(cbrt (fma (+ (fma i 2 beta) alpha) (+ (fma i 2 beta) alpha) (- 1.0)))

420.0ms

(cbrt (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0))

142.0ms

(/ (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (* beta alpha) (* i (+ (+ alpha beta) i))))

simplify15.7s

Counts

68 → 106

Calls

68 calls. Slowest were:

1.0s

(* (+ (+ alpha beta) (* 2 i)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))

970.0ms

(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))

940.0ms

(* (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))

prune3.6s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 36.1b

regimes268.0ms

binary-search142.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/4"
  :pre (and (> alpha -1) (> beta -1) (> i 1))
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1.0)))

partition: contract violation expected: list? given: 37.68032823100459 argument position: 2nd other arguments...: #<procedure:ordinary-value?>		L	C
partition	/home/p92/racket/collects/racket/list.rkt	555	0
errors-score	/data/pavpan/nightlies/herbie/develop/src/points.rkt	322	0
for-loop	/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt	75	12
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28
run	/home/p92/racket/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/home/p92/racket/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/home/p92/racket/collects/racket/private/more-scheme.rkt	261	28

Error in 2.5m

Runtime

start166.0ms

setup293.0ms

localize71.0ms

rewrite115.0ms

series965.0ms

simplify48.4s

prune4.1s

localize22.0ms

rewrite98.0ms

series1.1s

simplify46.2s

prune3.8s

localize38.0ms

rewrite67.0ms

series1.1s

simplify16.3s

prune2.1s

localize88.0ms

rewrite69.0ms

series1.2s

simplify15.7s

prune3.6s

regimes268.0ms

binary-search142.0ms

Backtrace