Details

analyze1.9s (23.3%)

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

Compiler

Compiled 32 to 29 computations (9.4% saved)

sample46.0ms (0.6%)

Algorithm

1×

intervals

Results

25.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify86.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

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

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) 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.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

rewrite70.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`*-un-lft-identity_binary64_1783`
84×	`times-frac_binary64_1789`
78×	`add-sqr-sqrt_binary64_1805`
63×	`distribute-lft-out--_binary64_1735`
50×	`add-cube-cbrt_binary64_1818` `exp-prod_binary64_1835`
21×	`distribute-lft-out_binary64_1734`
14×	`difference-of-squares_binary64_1752` `associate-/l*_binary64_1728`
8×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
6×	`associate-/r*_binary64_1727` `add-log-exp_binary64_1822`
4×	`div-sub_binary64_1788` `associate-/l/_binary64_1730` `div-inv_binary64_1780` `pow1_binary64_1844`
2×	`flip3--_binary64_1787` `exp-diff_binary64_1831` `rem-exp-log_binary64_1823` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `div-exp_binary64_1834` `clear-num_binary64_1782` `flip--_binary64_1758`

Counts

4 → 160

Calls

4 calls:

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

series253.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

73.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
70.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
57.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
53.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify76.0ms (1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5821	3140

prune213.0ms (2.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	168	4	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	4	173

Error

Counts

173 → 4

Compiler

Compiled 6472 to 1864 computations (71.2% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

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	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

rewrite71.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

166×	`*-un-lft-identity_binary64_1783`
84×	`times-frac_binary64_1789`
75×	`add-sqr-sqrt_binary64_1805` `exp-prod_binary64_1835`
49×	`add-cube-cbrt_binary64_1818`
48×	`distribute-lft-out--_binary64_1735`
30×	`distribute-lft-out_binary64_1734`
13×	`difference-of-squares_binary64_1752`
7×	`associate-/l*_binary64_1728` `add-log-exp_binary64_1822`
6×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
4×	`div-sub_binary64_1788` `div-inv_binary64_1780` `pow1_binary64_1844`
3×	`exp-diff_binary64_1831` `rem-exp-log_binary64_1823` `associate-/r*_binary64_1727`
2×	`associate-/l/_binary64_1730`
1×	`flip3--_binary64_1787` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `div-exp_binary64_1834` `clear-num_binary64_1782` `flip--_binary64_1758`

Counts

4 → 148

Calls

4 calls:

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

series267.0ms (3.4%)

Counts

4 → 12

Calls

4 calls:

74.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
71.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
70.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
51.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify101.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4957	2733
1	4957	2733

prune225.0ms (2.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	160	4	164

Error

Counts

164 → 4

Compiler

Compiled 8117 to 1865 computations (77% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

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.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.2b	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))

rewrite67.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

131×	`*-un-lft-identity_binary64_1783`
63×	`times-frac_binary64_1789`
61×	`add-sqr-sqrt_binary64_1805`
50×	`exp-prod_binary64_1835`
41×	`add-cube-cbrt_binary64_1818`
39×	`distribute-lft-out--_binary64_1735`
21×	`distribute-lft-out_binary64_1734`
12×	`cbrt-prod_binary64_1814`
10×	`difference-of-squares_binary64_1752`
7×	`associate-/l*_binary64_1728`
6×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `add-log-exp_binary64_1822`
4×	`div-sub_binary64_1788` `pow1_binary64_1844`
3×	`exp-diff_binary64_1831` `div-inv_binary64_1780` `unpow-prod-down_binary64_1862` `associate-/r*_binary64_1727` `cube-prod_binary64_1811`
2×	`associate-/l/_binary64_1730` `rem-exp-log_binary64_1823`
1×	`flip3--_binary64_1787` `sqr-pow_binary64_1755` `rem-cbrt-cube_binary64_1807` `cube-mult_binary64_1813` `unpow3_binary64_1849` `cbrt-div_binary64_1815` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `div-exp_binary64_1834` `pow1/3_binary64_1865` `clear-num_binary64_1782` `cube-div_binary64_1812` `flip--_binary64_1758`

Counts

4 → 136

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
11.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
11.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))

series270.0ms (3.4%)

Counts

4 → 12

Calls

4 calls:

74.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))
71.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
67.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
58.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify83.0ms (1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4931	2716
1	4931	2716

prune211.0ms (2.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	148	4	152

Error

Counts

152 → 4

Compiler

Compiled 5904 to 1938 computations (67.2% saved)

localize29.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)))
0.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.2b	(pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)
23.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3))

rewrite101.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

274×	`*-un-lft-identity_binary64_1783`
147×	`times-frac_binary64_1789`
127×	`add-sqr-sqrt_binary64_1805`
112×	`cbrt-prod_binary64_1814`
85×	`add-cube-cbrt_binary64_1818`
84×	`exp-prod_binary64_1835`
75×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
72×	`distribute-lft-out--_binary64_1735`
54×	`distribute-lft-out_binary64_1734`
21×	`difference-of-squares_binary64_1752`
7×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `div-inv_binary64_1780`
6×	`add-log-exp_binary64_1822`
5×	`pow1_binary64_1844`
3×	`sqr-pow_binary64_1755` `cube-mult_binary64_1813` `pow-unpow_binary64_1860` `unpow3_binary64_1849`
2×	`rem-exp-log_binary64_1823` `rem-cube-cbrt_binary64_1806` `cube-div_binary64_1812` `pow-exp_binary64_1851`
1×	`div-sub_binary64_1788` `exp-diff_binary64_1831` `rem-cbrt-cube_binary64_1807` `cbrt-div_binary64_1815` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow-pow_binary64_1855` `pow1/3_binary64_1865` `pow-to-exp_binary64_1852`

Counts

4 → 237

Calls

4 calls:

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

series1.2s (15.6%)

Counts

4 → 12

Calls

4 calls:

998.0ms	(pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)
91.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3))
82.0ms	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)))
68.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

simplify104.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5054	5026

prune378.0ms (4.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	249	0	249
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	249	4	253

Error

Counts

253 → 4

Compiler

Compiled 9849 to 3278 computations (66.7% saved)

regimes355.0ms (4.5%)

Accuracy

Total 0.0b remaining (9.5%)

Threshold costs 0.0b (9.5%)

Compiler

Compiled 3970 to 3648 computations (8.1% saved)

bsearch0.0ms (0%)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	225	65
1	225	65

Compiler

Compiled 84 to 56 computations (33.3% saved)

end0.0ms (0%)

sample1.8s (22%)

Algorithm

1×

intervals

Results

814.0ms	7999×	body	128	valid
1.0ms	1×	body	8192	exit
0.0ms	1×	body	1024	valid

Compiler

Compiled 463 to 409 computations (11.7% saved)

Details

analyze1.9s (23.3%)

sample46.0ms (0.6%)

simplify86.0ms (1.1%)

prune10.0ms (0.1%)

localize25.0ms (0.3%)

rewrite70.0ms (0.9%)

series253.0ms (3.2%)

simplify76.0ms (1%)

prune213.0ms (2.7%)

localize27.0ms (0.3%)

rewrite71.0ms (0.9%)

series267.0ms (3.4%)

simplify101.0ms (1.3%)

prune225.0ms (2.8%)

localize28.0ms (0.3%)

rewrite67.0ms (0.8%)

series270.0ms (3.4%)

simplify83.0ms (1%)

prune211.0ms (2.7%)

localize29.0ms (0.4%)

rewrite101.0ms (1.3%)

series1.2s (15.6%)

simplify104.0ms (1.3%)

prune378.0ms (4.8%)

regimes355.0ms (4.5%)

bsearch0.0ms (0%)

simplify14.0ms (0.2%)

end0.0ms (0%)

sample1.8s (22%)

Profiling