Runtime

start129.0ms

Algorithm: intervals

setup965.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.3b

localize50.0ms

Local error

Found 4 expressions with local error:

2.2b	(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b	(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b	(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b	(+ (+ (+ alpha beta) (* 2 1)) 1.0)

rewrite225.0ms

Algorithm

rewrite-expression-head

Counts

4 → 359

Calls

4 calls. Slowest were:

69.0ms

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

68.0ms

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

48.0ms

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

series226.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

93.0ms

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

63.0ms

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

61.0ms

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

simplify2.0m

Counts

526 → 371

Calls

526 calls. Slowest were:

1.2s

(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1)

1.2s

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

1.1s

(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (pow (+ alpha beta) 3) (pow (* 2 1) 3))) 1) 1)

prune6.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize16.0ms

Local error

Found 4 expressions with local error:

2.2b	(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b	(/ (/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b	(/ 1 (/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))))
0.0b	(/ (+ (+ alpha beta) (* 2 1)) (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))))

rewrite177.0ms

Algorithm

rewrite-expression-head

Counts

4 → 226

Calls

4 calls. Slowest were:

63.0ms

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

53.0ms

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

33.0ms

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

series339.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

110.0ms

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

88.0ms

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

75.0ms

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

simplify50.4s

Counts

250 → 238

Calls

250 calls. Slowest were:

1.0s

(+ (pow (+ (+ alpha beta) (* beta alpha)) 3) (pow 1.0 3))

855.0ms

(- (* (+ (+ alpha beta) (* beta alpha)) (+ (+ alpha beta) (* beta alpha))) (* 1.0 1.0))

789.0ms

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

prune3.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 4 expressions with local error:

2.2b	(/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2)))
2.2b	(/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha))
0.1b	(* (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2)))) (/ (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha))) (+ (+ 1.0 alpha) (+ 2 beta))))
0.1b	(sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2))))

rewrite120.0ms

Algorithm

rewrite-expression-head

Counts

4 → 491

Calls

4 calls. Slowest were:

52.0ms

(* (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2)))) (/ (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha))) (+ (+ 1.0 alpha) (+ 2 beta))))

14.0ms

(/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha))

13.0ms

(sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2))))

series503.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

250.0ms

(* (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2)))) (/ (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha))) (+ (+ 1.0 alpha) (+ 2 beta))))

107.0ms

(sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2))))

78.0ms

(/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2)))

simplify1.2m

Counts

479 → 503

Calls

479 calls. Slowest were:

602.0ms

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

598.0ms

(* (* (* (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2)))) (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2))))) (sqrt (/ (/ (+ (fma beta alpha beta) (+ 1.0 alpha)) (+ beta (+ alpha 2))) (+ beta (+ alpha 2))))) (/ (* (* (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha))) (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha)))) (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (+ (+ 2 beta) alpha)) (+ (+ 2 beta) alpha)))) (* (* (+ (+ 1.0 alpha) (+ 2 beta)) (+ (+ 1.0 alpha) (+ 2 beta))) (+ (+ 1.0 alpha) (+ 2 beta)))))

574.0ms

(/ (sqrt (/ (/ (+ (+ beta 1.0) (fma beta alpha alpha)) (sqrt (+ (+ 2 beta) alpha))) (+ (+ 2 beta) alpha))) (sqrt (+ (+ 1.0 alpha) (+ 2 beta))))

prune12.7s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

2.5b	(cbrt (+ (+ 1.0 alpha) (fma beta alpha beta)))
2.5b	(cbrt (+ (+ beta 1.0) (fma beta alpha alpha)))
2.5b	(cbrt (+ (+ beta 1.0) (fma beta alpha alpha)))
1.1b	(/ (/ (cbrt (+ (+ 1.0 alpha) (fma beta alpha beta))) (sqrt (+ (+ beta 2) alpha))) (* (+ (+ beta 2) alpha) (cbrt (+ (+ beta 2) (+ 1.0 alpha)))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Counts

4 → 186

Calls

4 calls. Slowest were:

37.0ms

(/ (/ (cbrt (+ (+ 1.0 alpha) (fma beta alpha beta))) (sqrt (+ (+ beta 2) alpha))) (* (+ (+ beta 2) alpha) (cbrt (+ (+ beta 2) (+ 1.0 alpha)))))

3.0ms

(cbrt (+ (+ 1.0 alpha) (fma beta alpha beta)))

2.0ms

(cbrt (+ (+ beta 1.0) (fma beta alpha alpha)))

series457.0ms

Counts

4 → 12

Calls

4 calls. Slowest were:

281.0ms

(/ (/ (cbrt (+ (+ 1.0 alpha) (fma beta alpha beta))) (sqrt (+ (+ beta 2) alpha))) (* (+ (+ beta 2) alpha) (cbrt (+ (+ beta 2) (+ 1.0 alpha)))))

73.0ms

(cbrt (+ (+ 1.0 alpha) (fma beta alpha beta)))

52.0ms

(cbrt (+ (+ beta 1.0) (fma beta alpha alpha)))

simplify34.3s

Counts

203 → 198

Calls

203 calls. Slowest were:

907.0ms

(/ (cbrt (+ (+ 1.0 alpha) (fma beta alpha beta))) (sqrt (+ (pow (+ beta 2) 3) (pow alpha 3))))

596.0ms

(/ (/ (+ (+ 1.0 alpha) (fma beta alpha beta)) (* (* (sqrt (+ (+ beta 2) alpha)) (sqrt (+ (+ beta 2) alpha))) (sqrt (+ (+ beta 2) alpha)))) (* (* (* (+ (+ beta 2) alpha) (+ (+ beta 2) alpha)) (+ (+ beta 2) alpha)) (+ (+ beta 2) (+ 1.0 alpha))))

507.0ms

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

prune6.2s

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes166.0ms

binary-search105.0ms

Please include this information when filing a bug report:

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

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

Runtime

start129.0ms

setup965.0ms

localize50.0ms

rewrite225.0ms

series226.0ms

simplify2.0m

prune6.9s

localize16.0ms

rewrite177.0ms

series339.0ms

simplify50.4s

prune3.9s

localize91.0ms

rewrite120.0ms

series503.0ms

simplify1.2m

prune12.7s

localize56.0ms

rewrite51.0ms

series457.0ms

simplify34.3s

prune6.2s

regimes166.0ms

binary-search105.0ms

Backtrace