Details

sample49.2s (33.8%)

Algorithm

73×

intervals

Results

19.2s	293045×	body	80	valid
7.3s	14380×	body	1280	valid
3.2s	16789×	body	160	valid
3.2s	3816×	body	2560	valid
3.0s	9566×	body	640	valid
2.5s	100604×	pre	80	true
1.3s	6863×	body	320	valid
1.1s	19293×	body	80	nan
303.0ms	200×	body	10240	exit
240.0ms	2046×	body	80	overflowed
150.0ms	235×	body	5120	valid
7.0ms	100×	pre	80	false

prune45.2s (31.0%)

series26.5s (18.2%)

Calls

295 calls:

1.2s	(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
491.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)))))
412.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))
410.0ms	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
407.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.0s (7.5%)

Algorithm

175×	egg-herbie

rewrite8.0s (5.5%)

Algorithm

105×	rewrite-expression-head

Calls

295 calls:

342.0ms	(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
299.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
292.0ms	(+ (+ (+ (+ e d) c) b) a)
243.0ms	(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
240.0ms	(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))

Rules

15552×	`times-frac`
12104×	`*-un-lft-identity`
10786×	`add-sqr-sqrt`
9774×	`add-cube-cbrt`
5176×	`prod-diff`
1761×	`add-exp-log`
1721×	`sqrt-prod`
1481×	`distribute-rgt-in` `distribute-lft-in`
1381×	`add-cbrt-cube`
963×	`distribute-lft-out`
947×	`div-inv`
695×	`associate-r`
621×	`pow1`
614×	`add-log-exp`
558×	`prod-exp`
515×	`div-exp`
499×	`associate-l`
417×	`associate-/l*`
381×	`cbrt-unprod`
365×	`cbrt-undiv`
347×	`associate-/r*`
342×	`difference-of-squares`
332×	`associate-/r/`
295×	`log1p-expm1-u` `expm1-log1p-u`
289×	`unpow-prod-down`
279×	`fma-neg`
254×	`flip-+` `flip3-+`
236×	`distribute-lft-out--`
219×	`cbrt-prod`
217×	`frac-times`
183×	`distribute-rgt-neg-in`
172×	`associate-*r/`
162×	`distribute-lft-neg-in`
156×	`flip3--` `flip--`
141×	`unswap-sqr`
125×	`sum-log`
121×	`sqr-pow` `associate-*l/`
116×	`pow-prod-down`
107×	`swap-sqr`
104×	`frac-sub`
94×	`1-exp`
93×	`fma-def`
85×	`cube-prod`
81×	`log-prod`
80×	`exp-neg`
78×	`sub-neg`
71×	`associate-/l/`
69×	`neg-sub0`
67×	`clear-num` `frac-2neg`
66×	`*-commutative`
62×	`diff-log` `sqrt-div`
60×	`exp-diff`
54×	`neg-mul-1`
48×	`log-pow` `rec-exp`
47×	`fma-udef`
42×	`cbrt-div` `pow-exp`
40×	`unpow2`
32×	`pow1/2` `pow-to-exp` `sqrt-pow1`
26×	`associate--r+`
25×	`un-div-inv`
23×	`+-commutative`
19×	`rem-sqrt-square` `unpow3` `cube-mult`
18×	`pow-unpow` `pow-prod-up`
17×	`div-sub`
16×	`pow-sqr`
14×	`rem-cube-cbrt` `pow-plus` `pow2` `log-div`
12×	`pow1/3` `exp-to-pow`
11×	`associate-+r+` `pow-pow`
10×	`associate-+l+` `pow-flip`
9×	`cube-div`
8×	`frac-add` `rem-log-exp`
7×	`neg-log`
6×	`associate--l-` `inv-pow` `distribute-lft-neg-out` `exp-prod`
5×	`distribute-frac-neg` `rem-cbrt-cube`
4×	`hypot-def` `associate--l+`
3×	`distribute-rgt-out--`
2×	`associate-+r-` `hypot-udef` `associate--r-` `exp-sum` `associate-+l-`
1×	`sqrt-unprod` `sub-div` `expm1-log1p` `unsub-neg` `expm1-udef` `rem-square-sqrt` `sum-cubes`

regimes3.3s (2.3%)

Accuracy

Total 33.1b remaining (14%)

Threshold costs 2.9b (1.2%)

8.7b	31.1%	Complex division, imag part
6.8b	38.5%	Complex division, real part
6.1b	66.1%	Compound Interest
5.2b	81.9%	The quadratic formula (r2)
1.1b	95.3%	The quadratic formula (r1)

Details

sample49.2s (33.8%)

prune45.2s (31.0%)

series26.5s (18.2%)

simplify11.0s (7.5%)

rewrite8.0s (5.5%)

regimes3.3s (2.3%)

localize1.4s (1.0%)

bsearch1.1s (0.8%)

end1.0ms (0.0%)