Details

analyze1.5s (24.2%)

Algorithm

1×

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

Compiler

Compiled 32 to 29 computations (9.4% saved)

sample41.0ms (0.7%)

Algorithm

1×

intervals

Results

23.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify240.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5029	44

prune8.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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 118 to 106 computations (10.2% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite82.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`*-un-lft-identity_binary64_1799`
84×	`times-frac_binary64_1805`
78×	`add-sqr-sqrt_binary64_1821`
63×	`distribute-lft-out--_binary64_1751`
50×	`add-cube-cbrt_binary64_1834` `exp-prod_binary64_1851`
21×	`distribute-lft-out_binary64_1750`
14×	`associate-/l*_binary64_1744` `difference-of-squares_binary64_1768`
8×	`add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837`
6×	`add-log-exp_binary64_1838` `associate-/r*_binary64_1743`
4×	`pow1_binary64_1860` `div-sub_binary64_1804` `associate-/l/_binary64_1746` `div-inv_binary64_1796`
2×	`exp-diff_binary64_1847` `clear-num_binary64_1798` `div-exp_binary64_1850` `frac-2neg_binary64_1810` `flip--_binary64_1774` `flip3--_binary64_1803` `cbrt-undiv_binary64_1833` `rem-exp-log_binary64_1839`

Counts

4 → 160

Calls

4 calls:

17.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
13.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
13.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
13.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series508.0ms (8.2%)

Counts

4 → 12

Calls

4 calls:

146.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
144.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
110.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
109.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify72.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5583	3134

prune263.0ms (4.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	170	3	173

Merged error: 0b

Counts

173 → 3

Compiler

Compiled 6954 to 2254 computations (67.6% saved)

localize29.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite81.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

166×	`*-un-lft-identity_binary64_1799`
84×	`times-frac_binary64_1805`
75×	`add-sqr-sqrt_binary64_1821` `exp-prod_binary64_1851`
60×	`distribute-lft-out--_binary64_1751`
49×	`add-cube-cbrt_binary64_1834`
18×	`distribute-lft-out_binary64_1750`
13×	`difference-of-squares_binary64_1768`
7×	`associate-/l*_binary64_1744` `add-log-exp_binary64_1838`
6×	`add-cbrt-cube_binary64_1835` `add-exp-log_binary64_1837`
4×	`pow1_binary64_1860` `div-sub_binary64_1804` `div-inv_binary64_1796`
3×	`exp-diff_binary64_1847` `associate-/r*_binary64_1743` `rem-exp-log_binary64_1839`
2×	`associate-/l/_binary64_1746`
1×	`clear-num_binary64_1798` `div-exp_binary64_1850` `frac-2neg_binary64_1810` `flip--_binary64_1774` `flip3--_binary64_1803` `cbrt-undiv_binary64_1833`

Counts

4 → 148

Calls

4 calls:

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

series590.0ms (9.5%)

Counts

4 → 12

Calls

4 calls:

159.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
157.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
157.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
117.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify77.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5026	2715

prune240.0ms (3.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	160	3	163

Merged error: 0b

Counts

163 → 3

Compiler

Compiled 8184 to 1814 computations (77.8% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite70.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`*-un-lft-identity_binary64_1799`
80×	`exp-prod_binary64_1851`
75×	`times-frac_binary64_1805`
58×	`add-sqr-sqrt_binary64_1821`
46×	`add-cube-cbrt_binary64_1834`
27×	`distribute-lft-out--_binary64_1751`
10×	`pow-div_binary64_1874`
9×	`distribute-lft-out_binary64_1750`
7×	`add-log-exp_binary64_1838`
6×	`add-cbrt-cube_binary64_1835` `difference-of-squares_binary64_1768`
4×	`pow1_binary64_1860` `add-exp-log_binary64_1837` `div-inv_binary64_1796`
3×	`exp-diff_binary64_1847` `div-sub_binary64_1804` `associate-/l_binary64_1744` `associate-/r_binary64_1743` `rem-exp-log_binary64_1839`
1×	`clear-num_binary64_1798` `div-exp_binary64_1850` `frac-2neg_binary64_1810` `associate-/r/_binary64_1745` `cbrt-undiv_binary64_1833`

Counts

4 → 124

Calls

4 calls:

23.0ms	(/.f64 (exp.f64 (/.f64 mu KbT)) (exp.f64 (/.f64 (-.f64 (-.f64 Ec Vef) EDonor) KbT)))
13.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
11.0ms	(exp.f64 (/.f64 (-.f64 (-.f64 Ec Vef) EDonor) KbT))
4.0ms	(exp.f64 (/.f64 mu KbT))

series643.0ms (10.4%)

Counts

4 → 12

Calls

4 calls:

353.0ms	(/.f64 (exp.f64 (/.f64 mu KbT)) (exp.f64 (/.f64 (-.f64 (-.f64 Ec Vef) EDonor) KbT)))
146.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
115.0ms	(exp.f64 (/.f64 (-.f64 (-.f64 Ec Vef) EDonor) KbT))
29.0ms	(exp.f64 (/.f64 mu KbT))

simplify78.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5177	2317

prune192.0ms (3.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	136	3	139

Merged error: 0b

Counts

139 → 3

Compiler

Compiled 5751 to 1765 computations (69.3% saved)

regimes131.0ms (2.1%)

Compiler: Compiled 945 to 900 computations (4.8% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	141	44
1	141	44

end0.0ms (0%)

sample1.3s (21.1%)

Algorithm

1×

intervals

Results

749.0ms	7999×	body	128	valid
1.0ms	1×	body	8192	exit
0.0ms	1×	body	512	valid

Compiler

Compiled 164 to 146 computations (11% saved)

Details

analyze1.5s (24.2%)

sample41.0ms (0.7%)

simplify240.0ms (3.9%)

prune8.0ms (0.1%)

localize21.0ms (0.3%)

rewrite82.0ms (1.3%)

series508.0ms (8.2%)

simplify72.0ms (1.2%)

prune263.0ms (4.2%)

localize29.0ms (0.5%)

rewrite81.0ms (1.3%)

series590.0ms (9.5%)

simplify77.0ms (1.2%)

prune240.0ms (3.9%)

localize27.0ms (0.4%)

rewrite70.0ms (1.1%)

series643.0ms (10.4%)

simplify78.0ms (1.3%)

prune192.0ms (3.1%)

regimes131.0ms (2.1%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.3s (21.1%)

Profiling