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

simplify71.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5397	44

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

localize29.0ms

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)

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

119×	`*-un-lft-identity_binary64`
54×	`times-frac_binary64`
53×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
36×	`distribute-lft-out--_binary64`
17×	`distribute-lft-out_binary64` `associate-/l*_binary64`
10×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`difference-of-squares_binary64`
6×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `pow1_binary64`
3×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`
2×	`flip3-+_binary64` `flip3--_binary64` `associate-/r/_binary64` `div-sub_binary64` `flip--_binary64` `flip-+_binary64`
1×	`+-commutative_binary64` `sum-log_binary64`

Counts

4 → 137

Calls

4 calls:

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

series835.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
475.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
104.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
109.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify80.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5326	3425

prune150.0ms

Filtered

102 candidates to 149 candidates (-46.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	147	3	150

Merged error: 0.0b

Counts

150 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

119×	`*-un-lft-identity_binary64`
54×	`times-frac_binary64`
53×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
36×	`distribute-lft-out--_binary64`
17×	`distribute-lft-out_binary64` `associate-/l*_binary64`
11×	`add-exp-log_binary64`
10×	`associate-/r*_binary64` `add-cbrt-cube_binary64`
8×	`difference-of-squares_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64`
4×	`associate-/l/_binary64`
3×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`
2×	`flip3-+_binary64` `flip3--_binary64` `associate-/r/_binary64` `div-sub_binary64` `flip--_binary64` `flip-+_binary64`
1×	`inv-pow_binary64` `rec-exp_binary64` `+-commutative_binary64` `pow-flip_binary64` `sum-log_binary64`

Counts

4 → 140

Calls

4 calls:

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

series754.0ms

Counts

4 → 12

Calls

4 calls:

362.0ms	(/.f64 1 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1))
165.0ms	(+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1)
118.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
109.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify79.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5289	3396

prune142.0ms

Filtered

96 candidates to 152 candidates (-58.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	152	3	155

Merged error: 0.0b

Counts

155 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

109×	`*-un-lft-identity_binary64`
47×	`add-sqr-sqrt_binary64`
42×	`times-frac_binary64`
36×	`distribute-lft-out--_binary64`
31×	`add-cube-cbrt_binary64`
15×	`distribute-lft-out_binary64`
14×	`associate-/l*_binary64`
9×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
5×	`pow1_binary64`
4×	`associate-/l/_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
3×	`pow-unpow_binary64`
2×	`flip3-+_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `cube-div_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `flip-+_binary64`
1×	`pow-to-exp_binary64` `pow-pow_binary64` `sqr-pow_binary64` `rem-cube-cbrt_binary64` `+-commutative_binary64` `pow-exp_binary64` `unpow3_binary64` `sum-log_binary64` `cube-mult_binary64`

Counts

4 → 131

Calls

4 calls:

21.0ms	(+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1)
13.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
19.0ms	(pow.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1) 3)
13.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

series928.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1)
108.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
555.0ms	(pow.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1) 3)
105.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify56.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5128	3124

prune141.0ms

Filtered

90 candidates to 143 candidates (-58.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	143	3	146

Merged error: 0.0b

Counts

146 → 3

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite183.0ms

Algorithm

rewrite-expression-head

Rules

420×	`times-frac_binary64`
396×	`*-un-lft-identity_binary64`
228×	`add-sqr-sqrt_binary64`
224×	`sqrt-prod_binary64`
212×	`add-cube-cbrt_binary64`
56×	`distribute-lft-out_binary64`
48×	`distribute-lft-out--_binary64`
44×	`associate-/l*_binary64`
20×	`associate-/r*_binary64` `associate-/r/_binary64` `sqrt-div_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`div-inv_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
8×	`difference-of-squares_binary64`
6×	`cbrt-undiv_binary64` `div-exp_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `div-sub_binary64` `flip--_binary64`

Counts

4 → 377

Calls

4 calls:

13.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
19.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
21.0ms	(/.f64 NdChar (sqrt.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1)))
43.0ms	(/.f64 (/.f64 NdChar (sqrt.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

series1.3s

Counts

4 → 12

Calls

4 calls:

106.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
109.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
630.0ms	(/.f64 NdChar (sqrt.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1)))
473.0ms	(/.f64 (/.f64 NdChar (sqrt.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

simplify223.0ms

Algorithm

egg-herbie

Counts

389 → 389

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4970	18920
1	4970	18920

prune343.0ms

Filtered

178 candidates to 389 candidates (-118.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	389	0	389
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	389	3	392

Merged error: 0.0b

Counts

392 → 3

regimes128.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 (5.0ms)

Iter	Nodes	Cost
0	228	52
1	228	52

end0.0ms

sample1.2s

Algorithm

intervals

Results

745.0ms	8000×	body	128	valid
1.0ms	1×	body	8192	exit

Details

analyze1.5s

sample39.0ms

simplify71.0ms

prune6.0ms

localize29.0ms

rewrite72.0ms

series835.0ms

simplify80.0ms

prune150.0ms

localize22.0ms

rewrite80.0ms

series754.0ms

simplify79.0ms

prune142.0ms

localize26.0ms

rewrite83.0ms

series928.0ms

simplify56.0ms

prune141.0ms

localize31.0ms

rewrite183.0ms

series1.3s

simplify223.0ms

prune343.0ms

regimes128.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample1.2s

Profiling