Details

analyze1.7s

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

sample62.0ms

Algorithm

intervals

Results

30.0ms

256×

body

valid

simplify131.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	4982	44
1	4982	44

prune23.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.1b

Counts

2 → 1

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

155×	`*-un-lft-identity_binary64`
75×	`times-frac_binary64`
70×	`add-sqr-sqrt_binary64`
54×	`distribute-lft-out--_binary64`
48×	`add-cube-cbrt_binary64`
25×	`exp-prod_binary64`
17×	`associate-/l*_binary64`
16×	`distribute-lft-out_binary64`
11×	`difference-of-squares_binary64`
10×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `pow1_binary64` `div-inv_binary64`
3×	`cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
2×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `rem-exp-log_binary64` `exp-diff_binary64` `flip-+_binary64`

Counts

4 → 159

Calls

4 calls:

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

series406.0ms

Counts

4 → 12

Calls

4 calls:

222.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
55.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
52.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
76.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

simplify91.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5000	3652

prune598.0ms

Filtered

113 candidates to 171 candidates (-51.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	3	172

Merged error: 0.0b

Counts

172 → 3

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

142×	`*-un-lft-identity_binary64`
63×	`add-sqr-sqrt_binary64` `times-frac_binary64`
54×	`distribute-lft-out--_binary64`
41×	`add-cube-cbrt_binary64`
25×	`pow-unpow_binary64`
14×	`associate-/l*_binary64`
13×	`distribute-lft-out_binary64`
11×	`difference-of-squares_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
5×	`pow1_binary64`
4×	`associate-/l/_binary64` `pow-pow_binary64`
3×	`div-sub_binary64` `unpow-prod-down_binary64` `div-inv_binary64` `exp-prod_binary64`
2×	`flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `flip--_binary64`
1×	`pow-to-exp_binary64` `flip3-+_binary64` `sqr-pow_binary64` `pow-sub_binary64` `+-commutative_binary64` `flip-+_binary64` `pow-exp_binary64` `sum-log_binary64`

Counts

4 → 147

Calls

4 calls:

5.0ms	(+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
16.0ms	(pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
11.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series300.0ms

Counts

4 → 12

Calls

4 calls:

104.0ms	(+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
53.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
87.0ms	(pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
54.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify63.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5323	3195

prune570.0ms

Filtered

105 candidates to 159 candidates (-51.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	158	4	162

Merged error: 0.0b

Counts

162 → 4

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

290×	`*-un-lft-identity_binary64`
201×	`times-frac_binary64`
143×	`add-sqr-sqrt_binary64`
114×	`distribute-lft-out--_binary64`
101×	`add-cube-cbrt_binary64`
79×	`pow-unpow_binary64`
21×	`difference-of-squares_binary64` `associate-/l*_binary64`
12×	`distribute-lft-out_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-/r*_binary64`
7×	`div-inv_binary64`
6×	`associate-/l/_binary64`
5×	`pow1_binary64` `div-sub_binary64`
4×	`add-log-exp_binary64` `pow-pow_binary64`
3×	`flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `unpow-prod-down_binary64` `frac-2neg_binary64` `div-exp_binary64` `flip--_binary64` `exp-prod_binary64`
1×	`pow-to-exp_binary64` `sqr-pow_binary64` `pow-sub_binary64` `pow-exp_binary64`

Counts

4 → 235

Calls

4 calls:

22.0ms	(pow.f64 (exp.f64 1) (/.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT) 2))
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
11.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series267.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(pow.f64 (exp.f64 1) (/.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT) 2))
57.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
55.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
55.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify83.0ms

Algorithm

egg-herbie

Counts

247 → 247

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5360	5343

prune898.0ms

Filtered

155 candidates to 247 candidates (-59.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	247	0	247
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	247	4	251

Merged error: 0.0b

Counts

251 → 4

localize36.0ms

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

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

211×	`*-un-lft-identity_binary64`
159×	`times-frac_binary64`
110×	`add-sqr-sqrt_binary64`
88×	`add-cube-cbrt_binary64`
54×	`distribute-lft-out--_binary64`
25×	`exp-prod_binary64`
24×	`distribute-lft-out_binary64`
22×	`associate-/r*_binary64`
17×	`associate-/l*_binary64`
16×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
11×	`difference-of-squares_binary64`
8×	`div-inv_binary64`
6×	`div-exp_binary64`
5×	`add-log-exp_binary64` `pow1_binary64` `cbrt-undiv_binary64`
4×	`associate-/l/_binary64`
3×	`div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `rec-exp_binary64` `flip--_binary64`
1×	`associate-/r/_binary64` `rem-exp-log_binary64` `exp-diff_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 212

Calls

4 calls:

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

series433.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
57.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
69.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
254.0ms	(/.f64 1 (/.f64 (+.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 1) NdChar))

simplify109.0ms

Algorithm

egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5118	5825

prune912.0ms

Filtered

134 candidates to 224 candidates (-67.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	224	4	228

Merged error: 0.0b

Counts

228 → 4

regimes1.2s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify10.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	246	73
1	246	73

end0.0ms

sample1.4s

Algorithm

intervals

Results

827.0ms	7999×	body	80	valid
3.0ms	3×	body	5120	exit
0.0ms	1×	body	640	valid

Details

analyze1.7s

sample62.0ms

simplify131.0ms

prune23.0ms

localize41.0ms

rewrite54.0ms

series406.0ms

simplify91.0ms

prune598.0ms

localize39.0ms

rewrite49.0ms

series300.0ms

simplify63.0ms

prune570.0ms

localize50.0ms

rewrite69.0ms

series267.0ms

simplify83.0ms

prune898.0ms

localize36.0ms

rewrite66.0ms

series433.0ms

simplify109.0ms

prune912.0ms

regimes1.2s

bsearch0.0ms

simplify10.0ms

end0.0ms

sample1.4s

Profiling