Details

analyze1.6s

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

sample43.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5482	29

prune18.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 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 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

88×	`*-un-lft-identity_binary64`
45×	`times-frac_binary64`
42×	`add-sqr-sqrt_binary64`
34×	`add-cube-cbrt_binary64`
24×	`distribute-lft-out--_binary64`
13×	`associate-/l*_binary64`
11×	`associate-/r*_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`distribute-lft-out_binary64`
6×	`add-log-exp_binary64`
4×	`pow1_binary64` `associate-/r/_binary64` `difference-of-squares_binary64`
3×	`flip3-+_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64`
1×	`flip3--_binary64` `div-sub_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 124

Calls

4 calls:

18.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)
12.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
14.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

series171.0ms

Counts

4 → 12

Calls

4 calls:

62.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
18.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
31.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
60.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

simplify50.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5096	2315

prune156.0ms

Filtered

95 candidates to 136 candidates (-43.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	132	4	136
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	133	4	137

Merged error: 0b

Counts

137 → 4

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

87×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
47×	`times-frac_binary64`
34×	`add-cube-cbrt_binary64`
24×	`distribute-lft-out--_binary64`
19×	`add-exp-log_binary64`
18×	`associate-r_binary64`
13×	`add-cbrt-cube_binary64`
10×	`associate-/l*_binary64`
8×	`distribute-lft-out_binary64`
7×	`associate-/r*_binary64` `pow1_binary64`
6×	`add-log-exp_binary64`
5×	`div-exp_binary64`
4×	`associate-/r/_binary64` `prod-exp_binary64` `difference-of-squares_binary64`
3×	`flip3-+_binary64` `cbrt-undiv_binary64` `associate-l_binary64` `unswap-sqr_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `1-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `associate-r/_binary64` `div-sub_binary64` `inv-pow_binary64` `un-div-inv_binary64` `+-commutative_binary64` `flip--_binary64` `pow-flip_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 136

Calls

4 calls:

11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
21.0ms	(*.f64 NaChar (/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
12.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
15.0ms	(/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

series162.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
61.0ms	(*.f64 NaChar (/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
31.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
52.0ms	(/.f64 1 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

simplify62.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4962	2274
1	4962	2274

prune139.0ms

Filtered

92 candidates to 148 candidates (-60.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0b

Counts

152 → 4

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

144×	`*-un-lft-identity_binary64`
129×	`times-frac_binary64`
82×	`add-sqr-sqrt_binary64`
74×	`add-cube-cbrt_binary64`
24×	`distribute-lft-out--_binary64`
22×	`associate-/r*_binary64`
19×	`add-exp-log_binary64`
17×	`distribute-lft-out_binary64`
14×	`associate-/l*_binary64`
13×	`add-cbrt-cube_binary64`
9×	`div-exp_binary64`
7×	`div-inv_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `cbrt-undiv_binary64`
4×	`associate-/l/_binary64` `difference-of-squares_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`flip3-+_binary64` `1-exp_binary64` `rec-exp_binary64` `flip-+_binary64`
1×	`flip3--_binary64` `associate-/r/_binary64` `div-sub_binary64` `inv-pow_binary64` `+-commutative_binary64` `flip--_binary64` `pow-flip_binary64` `sum-log_binary64`

Counts

4 → 179

Calls

4 calls:

11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
15.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar)
12.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
17.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar))

series216.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
57.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar)
28.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
114.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar))

simplify64.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5228	3685

prune167.0ms

Filtered

115 candidates to 191 candidates (-66.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	191	4	195

Merged error: 0b

Counts

195 → 4

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
0.5b	(cbrt.f64 NdChar)
0.5b	(cbrt.f64 NdChar)
0.5b	(cbrt.f64 NdChar)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
1.0ms	(cbrt.f64 NdChar)
1.0ms	(cbrt.f64 NdChar)
1.0ms	(cbrt.f64 NdChar)

series67.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
18.0ms	(cbrt.f64 NdChar)
15.0ms	(cbrt.f64 NdChar)
15.0ms	(cbrt.f64 NdChar)

simplify50.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4940	374
1	4940	374

prune107.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	85	4	89

Merged error: 0b

Counts

89 → 4

regimes913.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	224	31
1	224	31

end0.0ms

sample1.2s

Algorithm

intervals

Results

747.0ms	7999×	body	80	valid
2.0ms	2×	body	5120	exit
1.0ms	1×	body	1280	valid

Details

analyze1.6s

sample43.0ms

simplify58.0ms

prune18.0ms

localize22.0ms

rewrite60.0ms

series171.0ms

simplify50.0ms

prune156.0ms

localize23.0ms

rewrite65.0ms

series162.0ms

simplify62.0ms

prune139.0ms

localize26.0ms

rewrite62.0ms

series216.0ms

simplify64.0ms

prune167.0ms

localize33.0ms

rewrite11.0ms

series67.0ms

simplify50.0ms

prune107.0ms

regimes913.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling