Details

prune41.3s (31.2%)

sample32.5s (24.5%)

Algorithm

73×

intervals

Results

9.0s	294557×	body	80	valid
4.8s	13966×	body	1280	valid
2.5s	3798×	body	2560	valid
1.8s	9425×	body	640	valid
1.8s	16726×	body	160	valid
1.2s	100564×	pre	80	true
974.0ms	2126×	body	10240	exit
695.0ms	6791×	body	320	valid
540.0ms	19586×	body	80	nan
73.0ms	208×	body	5120	valid
3.0ms	100×	pre	80	false

series27.9s (21.0%)

Calls

297 calls:

1.2s	(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
499.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)))))
414.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))
413.0ms	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
409.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite15.0s (11.3%)

Algorithm

106×	rewrite-expression-head

Calls

297 calls:

594.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
580.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
571.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
510.0ms	(+ (+ (+ (+ e d) c) b) a)
472.0ms	(+ (+ (+ e (+ d c)) b) a)

Rules

18142×	`times-frac`
14065×	`*-un-lft-identity`
12688×	`add-sqr-sqrt`
11045×	`add-cube-cbrt`
6508×	`prod-diff`
2941×	`sqrt-prod`
2050×	`add-exp-log`
1337×	`add-cbrt-cube`
1109×	`distribute-lft-out`
1049×	`div-inv`
981×	`unpow-prod-down`
813×	`prod-exp`
783×	`pow1`
713×	`distribute-rgt-in` `distribute-lft-in`
605×	`add-log-exp`
601×	`associate-r`
581×	`div-exp`
531×	`difference-of-squares`
530×	`associate-l`
433×	`cube-prod`
401×	`associate-/r/`
400×	`distribute-lft-out--`
385×	`cbrt-unprod`
379×	`associate-/r*`
368×	`fma-neg`
353×	`associate-/l*`
348×	`sqr-pow`
317×	`cbrt-undiv`
299×	`log1p-expm1-u`
297×	`expm1-log1p-u`
241×	`flip-+` `flip3-+`
233×	`swap-sqr`
211×	`1-exp`
197×	`distribute-rgt-neg-in`
174×	`distribute-lft-neg-in`
166×	`pow-prod-down`
139×	`unswap-sqr`
134×	`flip3--` `flip--`
119×	`sum-log`
114×	`unpow3` `cube-mult`
100×	`associate-*r/`
99×	`fma-def`
90×	`frac-times`
80×	`associate-/l/`
76×	`rec-exp`
73×	`associate-*l/`
68×	`pow-prod-up` `*-commutative` `sub-neg`
64×	`diff-log`
63×	`clear-num` `frac-2neg`
60×	`cbrt-prod` `sqrt-div`
58×	`neg-mul-1`
46×	`fma-udef`
44×	`log-prod`
43×	`pow-sqr` `pow-exp`
42×	`pow-plus`
36×	`pow1/2` `sqrt-pow1`
30×	`pow2`
29×	`pow-to-exp`
27×	`+-commutative`
25×	`frac-sub`
21×	`rem-sqrt-square`
20×	`log-pow`
17×	`div-sub`
15×	`pow-unpow`
14×	`associate-+r+` `distribute-lft-neg-out` `cbrt-div`
13×	`pow1/3` `associate--r+`
12×	`pow-flip`
11×	`unpow2`
10×	`log-div`
9×	`un-div-inv` `associate--l-`
8×	`associate-+l+` `neg-sub0`
7×	`cube-div` `inv-pow` `hypot-udef`
6×	`rem-cube-cbrt` `exp-prod` `neg-log` `rem-log-exp`
5×	`hypot-def` `pow-pow`
4×	`distribute-frac-neg`
3×	`sqrt-unprod` `rem-square-sqrt`
2×	`sqrt-undiv` `associate-+r-` `frac-add` `expm1-log1p` `expm1-udef` `associate-+l-` `associate--l+` `rem-cbrt-cube`
1×	`distribute-rgt-out--` `log1p-udef` `pow3` `log1p-expm1` `sum-cubes` `sub-div` `associate--r-`

simplify10.7s (8.1%)

Algorithm

176×	egg-herbie

regimes2.8s (2.1%)

Accuracy

Total 41.2b remaining (13.8%)

Threshold costs 3.6b (1.2%)

10.9b	52.4%	Compound Interest
8.4b	32.8%	Complex division, imag part
7.5b	33.6%	Complex division, real part
4.9b	80.3%	The quadratic formula (r1)
4.7b	83.6%	The quadratic formula (r2)

Details

prune41.3s (31.2%)

sample32.5s (24.5%)

series27.9s (21.0%)

rewrite15.0s (11.3%)

simplify10.7s (8.1%)

regimes2.8s (2.1%)

localize1.4s (1.0%)

bsearch1.1s (0.8%)

end1.0ms (0.0%)