Details

prune43.2s (33.4%)

sample31.2s (24.2%)

Algorithm

73×

intervals

Results

9.5s	294019×	body	80	valid
4.9s	13872×	body	1280	valid
2.4s	3827×	body	2560	valid
1.8s	9358×	body	640	valid
1.7s	16899×	body	160	valid
1.4s	100646×	pre	80	true
1.1s	2129×	body	10240	exit
734.0ms	6830×	body	320	valid
557.0ms	18963×	body	80	nan
83.0ms	220×	body	5120	valid
3.0ms	100×	pre	80	false

series30.0s (23.2%)

Calls

301 calls:

1.2s	(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
924.0ms	(cbrt (- (* 2.0 2.0) (* (* 1.0 (pow x 2)) (* 1.0 (pow x 2)))))
540.0ms	(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
508.0ms	(* (sqrt (log (+ 1.0 x))) (sqrt (+ (log (sqrt (+ 1.0 x))) (log (sqrt (+ 1.0 x))))))
489.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)))))

simplify10.9s (8.4%)

Algorithm

177×	egg-herbie

rewrite8.2s (6.4%)

Algorithm

107×	rewrite-expression-head

Calls

301 calls:

311.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
295.0ms	(+ (+ (+ d (+ e c)) b) a)
286.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
284.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
275.0ms	(+ (+ (+ (+ e d) c) b) a)

Rules

15605×	`times-frac`
11945×	`*-un-lft-identity`
10583×	`add-sqr-sqrt`
9330×	`add-cube-cbrt`
4805×	`prod-diff`
1829×	`sqrt-prod`
1642×	`add-exp-log`
1214×	`add-cbrt-cube`
1033×	`distribute-lft-out`
852×	`div-inv`
823×	`associate-r`
755×	`distribute-rgt-in` `distribute-lft-in`
625×	`pow1`
596×	`add-log-exp`
533×	`prod-exp`
477×	`difference-of-squares`
447×	`div-exp`
446×	`cbrt-prod`
381×	`associate-l`
370×	`associate-/r/`
354×	`associate-/r*`
345×	`associate-/l*`
333×	`unpow-prod-down`
330×	`cbrt-unprod`
322×	`distribute-lft-out--`
302×	`expm1-log1p-u`
301×	`log1p-expm1-u`
291×	`cbrt-undiv`
279×	`flip-+` `flip3-+`
211×	`fma-neg`
187×	`frac-times`
185×	`flip--` `flip3--`
175×	`associate-*r/`
163×	`cube-prod`
159×	`distribute-rgt-neg-in`
144×	`sqr-pow`
138×	`distribute-lft-neg-in`
121×	`unswap-sqr`
117×	`pow-prod-down`
116×	`sum-log`
109×	`fma-def`
106×	`associate-*l/`
96×	`1-exp`
95×	`frac-sub`
80×	`exp-neg` `swap-sqr`
77×	`cbrt-div` `associate-/l/` `sub-neg`
74×	`*-commutative`
72×	`sqrt-div`
70×	`neg-sub0`
61×	`clear-num` `frac-2neg`
60×	`exp-diff`
58×	`diff-log`
55×	`log-prod`
53×	`rec-exp`
46×	`neg-mul-1`
44×	`log-pow`
40×	`sqrt-pow1`
39×	`pow1/2`
35×	`fma-udef`
32×	`pow-unpow` `unpow3` `cube-mult`
26×	`un-div-inv` `+-commutative`
24×	`exp-prod`
23×	`pow-to-exp` `pow-exp`
22×	`difference-cubes`
21×	`pow1/3`
20×	`pow-prod-up` `exp-sum`
19×	`div-sub`
18×	`rem-sqrt-square` `pow3`
17×	`pow-pow`
14×	`distribute-rgt-out`
13×	`unpow2`
12×	`pow-sqr` `associate-+r+` `associate--r+` `log-div`
11×	`pow-plus`
10×	`associate-+l+` `pow2`
9×	`rem-log-exp`
8×	`distribute-lft-neg-out` `frac-add` `pow-flip`
7×	`neg-log`
6×	`cube-div` `associate--l-` `associate--l+`
5×	`inv-pow`
4×	`hypot-udef` `hypot-def` `associate-+l-`
3×	`distribute-lft1-in` `distribute-rgt1-in` `distribute-frac-neg` `rem-cbrt-cube`
2×	`rem-cube-cbrt` `sqrt-pow2` `sqrt-unprod` `count-2`
1×	`log1p-udef` `log1p-expm1` `sub-div` `associate-+r-` `expm1-log1p` `unsub-neg` `rem-square-sqrt` `distribute-rgt-out--` `expm1-udef`

regimes3.5s (2.7%)

Accuracy

Total 45.2b remaining (15.1%)

Threshold costs 2.6b (0.9%)

12.1b	47.5%	Compound Interest
8.7b	26%	Complex division, real part
8.5b	31.7%	Complex division, imag part
5.9b	79.2%	The quadratic formula (r2)
5.0b	82.9%	The quadratic formula (r1)

Details

prune43.2s (33.4%)

sample31.2s (24.2%)

series30.0s (23.2%)

simplify10.9s (8.4%)

rewrite8.2s (6.4%)

regimes3.5s (2.7%)

localize1.4s (1.1%)

bsearch807.0ms (0.6%)

end1.0ms (0.0%)