Details

analyze1.9s (19.6%)

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)

sample49.0ms (0.5%)

Algorithm

1×

intervals

Results

22.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify86.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

prune6.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)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite240.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

119×	`*-un-lft-identity_binary64_2124`
54×	`times-frac_binary64_2130`
53×	`add-sqr-sqrt_binary64_2146`
37×	`add-cube-cbrt_binary64_2159`
36×	`distribute-lft-out--_binary64_2076`
17×	`associate-/l*_binary64_2069` `distribute-lft-out_binary64_2075`
10×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `associate-/r*_binary64_2068`
8×	`difference-of-squares_binary64_2093`
6×	`add-log-exp_binary64_2163`
4×	`pow1_binary64_2185` `associate-/l/_binary64_2071`
3×	`div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `frac-2neg_binary64_2135` `clear-num_binary64_2123` `div-inv_binary64_2121`
2×	`div-sub_binary64_2129` `flip3--_binary64_2128` `flip--_binary64_2099` `flip3-+_binary64_2127` `associate-/r/_binary64_2070` `flip-+_binary64_2098`
1×	`sum-log_binary64_2215` `+-commutative_binary64_2054`

Counts

4 → 137

Calls

4 calls:

15.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
12.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 5461 to 1584 computations (71% saved)

series2.1s (21.8%)

Error

0.0b

Counts

4 → 107

Calls

4 calls:

1.0s	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
375.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
283.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
258.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

Compiler

Compiled 12959 to 8331 computations (35.7% saved)

simplify100.0ms (1%)

Algorithm

1×	egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4984	7662
1	4984	7662

prune355.0ms (3.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	243	1	244
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	243	2	245

Error

Counts

245 → 2

Compiler

Compiled 10110 to 3088 computations (69.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite360.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

178×	`*-un-lft-identity_binary64_2124`
138×	`times-frac_binary64_2130`
93×	`add-sqr-sqrt_binary64_2146`
77×	`add-cube-cbrt_binary64_2159`
32×	`distribute-lft-out--_binary64_2076`
31×	`distribute-lft-out_binary64_2075`
22×	`associate-/r*_binary64_2068`
19×	`add-exp-log_binary64_2162`
17×	`associate-/l*_binary64_2069`
13×	`add-cbrt-cube_binary64_2160`
9×	`div-exp_binary64_2175` `add-log-exp_binary64_2163`
8×	`difference-of-squares_binary64_2093`
7×	`div-inv_binary64_2121`
5×	`pow1_binary64_2185` `cbrt-undiv_binary64_2158`
4×	`associate-/l/_binary64_2071`
3×	`frac-2neg_binary64_2135` `clear-num_binary64_2123` `sum-log_binary64_2215`
2×	`1-exp_binary64_2168` `rec-exp_binary64_2174` `div-sub_binary64_2129` `flip3--_binary64_2128` `flip--_binary64_2099`
1×	`inv-pow_binary64_2209` `pow-flip_binary64_2198` `associate-/r/_binary64_2070` `flip3-+_binary64_2127` `flip-+_binary64_2098` `associate-+l+_binary64_2057` `+-commutative_binary64_2054`

Counts

4 → 195

Calls

4 calls:

20.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT))) NdChar))
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
11.0ms	(/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT)
6.0ms	(+.f64 (+.f64 Vef Ev) EAccept)

Compiler

Compiled 8426 to 2931 computations (65.2% saved)

series1.8s (18.6%)

Error

Counts

4 → 96

Calls

4 calls:

1.1s	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT))) NdChar))
280.0ms	(/.f64 (-.f64 mu (-.f64 Ec (+.f64 EDonor Vef))) KbT)
269.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
78.0ms	(+.f64 (+.f64 Vef Ev) EAccept)

Compiler

Compiled 10142 to 6748 computations (33.5% saved)

simplify120.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

291 → 291

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4983	7658
1	4983	7658

prune444.0ms (4.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

293 → 2

Compiler

Compiled 11521 to 3814 computations (66.9% saved)

regimes395.0ms (4%)

Accuracy

Total 0.0b remaining (8.4%)

Threshold costs 0.0b (8.4%)

Compiler

Compiled 4340 to 4358 computations (-0.4% saved)

bsearch0.0ms (0%)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (5.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%)

sample1.7s (17.2%)

Algorithm

1×

intervals

Results

765.0ms	7999×	body	128	valid
2.0ms	3×	body	8192	exit
0.0ms	1×	body	512	valid

Compiler

Compiled 487 to 478 computations (1.8% saved)

Details

analyze1.9s (19.6%)

sample49.0ms (0.5%)

simplify86.0ms (0.9%)

prune6.0ms (0.1%)

localize28.0ms (0.3%)

rewrite240.0ms (2.5%)

series2.1s (21.8%)

simplify100.0ms (1%)

prune355.0ms (3.6%)

localize24.0ms (0.2%)

rewrite360.0ms (3.7%)

series1.8s (18.6%)

simplify120.0ms (1.2%)

prune444.0ms (4.5%)

regimes395.0ms (4%)

bsearch0.0ms (0%)

simplify16.0ms (0.2%)

end0.0ms (0%)

sample1.7s (17.2%)

Profiling