Details

analyze1.5s

Algorithm

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

sample39.0ms

Algorithm

intervals

Results

22.0ms

256×

body

128

valid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5397	44

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

130×	`*-un-lft-identity_binary64`
63×	`times-frac_binary64`
58×	`add-sqr-sqrt_binary64`
51×	`distribute-lft-out--_binary64`
50×	`exp-prod_binary64`
38×	`add-cube-cbrt_binary64`
10×	`distribute-lft-out_binary64` `difference-of-squares_binary64`
8×	`add-log-exp_binary64`
7×	`associate-/l*_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`pow1_binary64`
3×	`associate-/r*_binary64` `div-sub_binary64` `div-inv_binary64`
2×	`associate-/l/_binary64` `rem-exp-log_binary64` `exp-diff_binary64`
1×	`flip3-+_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 126

Calls

4 calls:

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

series561.0ms

Counts

4 → 12

Calls

4 calls:

152.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
141.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
114.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
155.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))

simplify74.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5059	2495

prune124.0ms

Filtered

91 candidates to 138 candidates (-51.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

139 → 2

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

158×	`*-un-lft-identity_binary64`
100×	`exp-prod_binary64`
84×	`times-frac_binary64`
76×	`add-sqr-sqrt_binary64`
52×	`sqrt-pow1_binary64`
50×	`add-cube-cbrt_binary64`
36×	`distribute-lft-out_binary64` `distribute-lft-out--_binary64`
12×	`difference-of-squares_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `sqrt-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `exp-diff_binary64` `div-sub_binary64` `div-inv_binary64`
2×	`pow1/2_binary64` `rem-exp-log_binary64` `rem-sqrt-square_binary64` `sqrt-div_binary64`

Counts

4 → 146

Calls

4 calls:

14.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
14.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
16.0ms	(sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
15.0ms	(sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series903.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
163.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
301.0ms	(sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
289.0ms	(sqrt.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

simplify81.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5198	2668

prune158.0ms

Filtered

106 candidates to 158 candidates (-49.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

160 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

144×	`*-un-lft-identity_binary64`
72×	`times-frac_binary64`
60×	`add-sqr-sqrt_binary64`
46×	`add-cube-cbrt_binary64`
44×	`exp-prod_binary64`
42×	`distribute-lft-out--_binary64`
21×	`distribute-lft-out_binary64`
12×	`associate-/l*_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
4×	`associate-/l/_binary64` `pow1_binary64` `div-inv_binary64`
2×	`cbrt-undiv_binary64` `rem-exp-log_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
1×	`flip3-+_binary64` `flip3--_binary64` `exp-diff_binary64` `flip--_binary64` `flip-+_binary64`

Counts

4 → 144

Calls

4 calls:

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

series380.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/.f64 (+.f64 (+.f64 Vef Ev) EAccept) KbT)
147.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
117.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
74.0ms	(exp.f64 (/.f64 (+.f64 (+.f64 Vef Ev) EAccept) KbT))

simplify82.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4945	2608
1	4945	2608

prune140.0ms

Filtered

101 candidates to 156 candidates (-54.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

158 → 2

regimes108.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify7.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	225	65
1	225	65

end0.0ms

sample1.1s

Algorithm

intervals

Results

736.0ms

8000×

body

128

valid

Details

analyze1.5s

sample39.0ms

simplify72.0ms

prune5.0ms

localize22.0ms

rewrite71.0ms

series561.0ms

simplify74.0ms

prune124.0ms

localize28.0ms

rewrite91.0ms

series903.0ms

simplify81.0ms

prune158.0ms

localize25.0ms

rewrite69.0ms

series380.0ms

simplify82.0ms

prune140.0ms

regimes108.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample1.1s

Profiling