Details

analyze1.9s (21.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5755	1702
0	9	9
1	9	9

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
24.9%	74.7%	0.4%	8
24.9%	74.7%	0.4%	9
24.9%	74.7%	0.4%	10
25.7%	73.9%	0.4%	11
25.7%	73.9%	0.4%	12
25.7%	73.9%	0.4%	13
25.7%	73.9%	0.4%	14

Symmetry

(sort Ev EAccept)

Compiler

Compiled 32 to 29 computations (9.4% saved)

sample48.0ms (0.5%)

Algorithm

1×

intervals

Results

21.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify87.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 58 to 52 computations (10.3% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

rewrite302.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

155×	`*-un-lft-identity_binary64_1442`
75×	`times-frac_binary64_1448`
70×	`add-sqr-sqrt_binary64_1464`
48×	`add-cube-cbrt_binary64_1477`
45×	`distribute-lft-out--_binary64_1394`
25×	`exp-prod_binary64_1494` `distribute-lft-out_binary64_1393`
17×	`associate-/l*_binary64_1387`
11×	`difference-of-squares_binary64_1411`
10×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `associate-/r*_binary64_1386`
5×	`add-log-exp_binary64_1481`
4×	`pow1_binary64_1503` `div-inv_binary64_1439` `associate-/l/_binary64_1389`
3×	`div-exp_binary64_1493` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `div-sub_binary64_1447` `clear-num_binary64_1441`
2×	`flip3--_binary64_1446` `flip--_binary64_1417` `associate-/r/_binary64_1388`
1×	`exp-diff_binary64_1490` `rem-exp-log_binary64_1482` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 159

Calls

4 calls:

14.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
13.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))

Compiler

Compiled 6295 to 1790 computations (71.6% saved)

series2.1s (24.2%)

Error

0.0b

Counts

4 → 112

Calls

4 calls:

1.1s	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
329.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
283.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
266.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

Compiler

Compiled 13928 to 8514 computations (38.9% saved)

simplify89.0ms (1%)

Algorithm

1×	egg-herbie

Counts

271 → 271

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5034	7861

prune400.0ms (4.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	270	1	271
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	270	2	272

Error

0.0b

Counts

272 → 2

Compiler

Compiled 11082 to 3237 computations (70.8% saved)

localize31.0ms (0.4%)

Local error

Found 4 expressions with local error:

4.5b	(*.f64 (/.f64 Vef KbT) NaChar)
4.8b	(*.f64 (/.f64 mu KbT) NaChar)
5.0b	(*.f64 (/.f64 EAccept KbT) NaChar)
5.2b	(*.f64 (/.f64 Ev KbT) NaChar)

rewrite251.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

56×	`add-sqr-sqrt_binary64_1464`
52×	`associate-l_binary64_1383`
40×	`times-frac_binary64_1448`
36×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
24×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
12×	`pow1_binary64_1503` `associate-r_binary64_1382`
8×	`prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `unswap-sqr_binary64_1410`
4×	`pow-prod-down_binary64_1513` `div-exp_binary64_1493` `add-log-exp_binary64_1481` `cbrt-undiv_binary64_1476` `associate-l/_binary64_1385` `div-inv_binary64_1439` `-commutative_binary64_1373`

Counts

4 → 128

Calls

4 calls:

9.0ms	(*.f64 (/.f64 EAccept KbT) NaChar)
8.0ms	(*.f64 (/.f64 Ev KbT) NaChar)
7.0ms	(*.f64 (/.f64 Vef KbT) NaChar)
7.0ms	(*.f64 (/.f64 mu KbT) NaChar)

Compiler

Compiled 6740 to 2144 computations (68.2% saved)

series526.0ms (6%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

123.0ms	(*.f64 (/.f64 Ev KbT) NaChar)
122.0ms	(*.f64 (/.f64 mu KbT) NaChar)
117.0ms	(*.f64 (/.f64 Vef KbT) NaChar)
115.0ms	(*.f64 (/.f64 EAccept KbT) NaChar)

Compiler

Compiled 4968 to 3069 computations (38.2% saved)

simplify95.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4992	1512
1	4992	1512

prune245.0ms (2.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	164	2	166

Error

0.0b

Counts

166 → 2

Compiler

Compiled 8248 to 2492 computations (69.8% saved)

regimes703.0ms (8%)

Accuracy

Total 0.0b remaining (34.3%)

Threshold costs 0.0b (34.3%)

Compiler

Compiled 10220 to 8458 computations (17.2% saved)

bsearch0.0ms (0%)

simplify19.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	223	44
1	223	44

Remove

(sort Ev EAccept)

Compiler

Compiled 58 to 52 computations (10.3% saved)

end0.0ms (0%)

sample2.0s (22.2%)

Algorithm

1×

intervals

Results

718.0ms	8000×	body	128	valid
3.0ms	1×	body	8192	exit

Compiler

Compiled 1075 to 888 computations (17.4% saved)

Details

analyze1.9s (21.5%)

sample48.0ms (0.5%)

simplify87.0ms (1%)

prune7.0ms (0.1%)

localize29.0ms (0.3%)

rewrite302.0ms (3.4%)

series2.1s (24.2%)

simplify89.0ms (1%)

prune400.0ms (4.5%)

localize31.0ms (0.4%)

rewrite251.0ms (2.8%)

series526.0ms (6%)

simplify95.0ms (1.1%)

prune245.0ms (2.8%)

regimes703.0ms (8%)

bsearch0.0ms (0%)

simplify19.0ms (0.2%)

end0.0ms (0%)

sample2.0s (22.2%)

Profiling