Details

prune43.1s (32.1%)

sample33.4s (24.9%)

Algorithm

73×

intervals

Results

9.0s	293532×	body	80	valid
4.8s	13851×	body	1280	valid
2.6s	3824×	body	2560	valid
1.8s	9563×	body	640	valid
1.7s	16808×	body	160	valid
1.5s	100628×	pre	80	true
1.0s	2249×	body	10240	exit
690.0ms	6692×	body	320	valid
536.0ms	18943×	body	80	nan
95.0ms	239×	body	5120	valid
3.0ms	100×	pre	80	false

series26.7s (19.9%)

Calls

293 calls:

1.2s	(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
441.0ms	(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))
400.0ms	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
395.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))
392.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite14.2s (10.6%)

Algorithm

105×	rewrite-expression-head

Calls

293 calls:

603.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
602.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
602.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
521.0ms	(+ (+ (+ (+ e d) c) b) a)
413.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))

Rules

14306×	`times-frac`
13047×	`*-un-lft-identity`
11288×	`add-sqr-sqrt`
10086×	`add-cube-cbrt`
7733×	`prod-diff`
1708×	`unpow-prod-down`
1574×	`add-exp-log`
1228×	`add-cbrt-cube`
1215×	`distribute-lft-out`
1013×	`associate-+r+`
970×	`div-inv`
961×	`distribute-rgt-in` `distribute-lft-in`
779×	`pow1`
712×	`associate-r`
698×	`cube-prod`
588×	`add-log-exp`
537×	`sqr-pow`
509×	`associate-l`
506×	`prod-exp`
417×	`difference-of-squares`
416×	`div-exp`
358×	`associate-/l*`
337×	`associate-/r/`
335×	`cbrt-unprod`
325×	`sqrt-prod`
302×	`distribute-lft-out--`
294×	`expm1-log1p-u`
293×	`log1p-expm1-u`
286×	`cbrt-undiv`
274×	`flip-+` `flip3-+`
270×	`fma-neg`
258×	`associate-/r*`
228×	`cbrt-prod`
189×	`sqrt-div`
182×	`unpow3` `cube-mult`
170×	`frac-times`
166×	`pow-prod-down`
145×	`associate-*r/`
135×	`unswap-sqr`
133×	`distribute-rgt-neg-in`
120×	`flip3--` `flip--`
119×	`sum-log`
114×	`distribute-lft-neg-in` `swap-sqr`
104×	`fma-def`
98×	`sqrt-pow1`
96×	`associate-*l/`
82×	`1-exp`
74×	`associate-/l/` `sub-neg`
71×	`*-commutative`
65×	`pow-prod-up`
64×	`clear-num` `frac-2neg`
62×	`log-prod`
56×	`diff-log`
54×	`log-pow`
45×	`pow-sqr`
42×	`exp-prod`
41×	`fma-udef`
40×	`pow1/2`
39×	`pow-exp`
38×	`neg-mul-1`
37×	`unpow2`
35×	`rec-exp`
32×	`pow-to-exp` `pow1/3` `pow-plus`
28×	`frac-sub`
27×	`pow2`
25×	`+-commutative` `sum-cubes`
22×	`cbrt-div`
21×	`pow-unpow`
18×	`div-sub`
12×	`associate--r+` `log-div`
11×	`rem-sqrt-square` `frac-add`
10×	`pow-pow`
9×	`associate-+l+` `neg-sub0`
8×	`cube-div`
7×	`associate--l-` `neg-log` `rem-log-exp`
6×	`rem-cube-cbrt` `exp-sum` `rem-cbrt-cube`
5×	`pow-flip` `distribute-frac-neg`
4×	`distribute-lft-neg-out`
3×	`inv-pow` `sub-div` `associate-+r-` `distribute-rgt-out--`
2×	`rem-exp-log` `exp-diff` `unsub-neg` `hypot-def` `associate-+l-` `associate--l+`
1×	`sqrt-pow2` `log1p-udef` `sqrt-unprod` `log1p-expm1` `rem-square-sqrt`

simplify10.9s (8.1%)

Algorithm

175×	egg-herbie

regimes3.6s (2.7%)

Accuracy

Total 28.9b remaining (10.2%)

Threshold costs 4.3b (1.5%)

9.8b	55.4%	Compound Interest
7.9b	26.8%	Complex division, real part
4.4b	87.1%	The quadratic formula (r2)
1.3b	0%	Rosa's DopplerBench
1.1b	0%	Expression, p6

Details

prune43.1s (32.1%)

sample33.4s (24.9%)

series26.7s (19.9%)

rewrite14.2s (10.6%)

simplify10.9s (8.1%)

regimes3.6s (2.7%)

localize1.4s (1.0%)

bsearch1.1s (0.8%)

end1.0ms (0.0%)