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

sample45.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify89.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5615	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

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

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 113

Calls

4 calls:

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

series446.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
212.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
75.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
71.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))

simplify94.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4965	2572
1	4965	2572

prune127.0ms

Filtered

86 candidates to 125 candidates (-45.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	122	3	125
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	3	126

Merged error: 0.0b

Counts

126 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

87×	`*-un-lft-identity_binary64`
54×	`exp-prod_binary64`
42×	`times-frac_binary64`
41×	`add-sqr-sqrt_binary64`
29×	`add-cube-cbrt_binary64`
27×	`distribute-lft-out--_binary64`
11×	`distribute-lft-out_binary64`
8×	`log-prod_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `difference-of-squares_binary64`
5×	`add-exp-log_binary64`
4×	`add-cbrt-cube_binary64` `exp-diff_binary64` `exp-sum_binary64` `log-div_binary64`
3×	`rem-exp-log_binary64`
2×	`flip3-+_binary64` `log-pow_binary64` `div-sub_binary64` `div-inv_binary64` `flip-+_binary64`
1×	`rem-log-exp_binary64`

Counts

4 → 101

Calls

4 calls:

25.0ms	(exp.f64 (log.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
23.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
20.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
18.0ms	(log.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))

series388.0ms

Counts

4 → 12

Calls

4 calls:

80.0ms	(exp.f64 (log.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
68.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
72.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
168.0ms	(log.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))

simplify128.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4991	2097
1	4991	2097

prune137.0ms

Filtered

76 candidates to 113 candidates (-48.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	113	3	116

Merged error: 0.0b

Counts

116 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

124×	`*-un-lft-identity_binary64`
75×	`exp-prod_binary64`
63×	`times-frac_binary64`
61×	`add-sqr-sqrt_binary64`
45×	`distribute-lft-out--_binary64`
43×	`add-cube-cbrt_binary64`
26×	`pow-pow_binary64`
12×	`cbrt-prod_binary64`
9×	`distribute-lft-out_binary64` `difference-of-squares_binary64`
6×	`add-log-exp_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
5×	`pow1_binary64` `add-cbrt-cube_binary64`
4×	`add-exp-log_binary64` `exp-diff_binary64` `div-sub_binary64`
3×	`pow-unpow_binary64` `div-inv_binary64`
2×	`sqr-pow_binary64` `cube-div_binary64` `rem-exp-log_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`cbrt-div_binary64` `pow-to-exp_binary64` `rem-cbrt-cube_binary64` `pow1/3_binary64` `rem-cube-cbrt_binary64` `pow-exp_binary64`

Counts

4 → 139

Calls

4 calls:

15.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)
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))
12.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3))

series415.0ms

Counts

4 → 12

Calls

4 calls:

196.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3)
72.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
75.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
71.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) 3))

simplify79.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5003	2713

prune134.0ms

Filtered

92 candidates to 151 candidates (-64.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	151	3	154

Merged error: 0.0b

Counts

154 → 3

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
0.6b	(cbrt.f64 NdChar)
0.6b	(cbrt.f64 NdChar)
0.6b	(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)

series362.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
82.0ms	(cbrt.f64 NdChar)
91.0ms	(cbrt.f64 NdChar)
86.0ms	(cbrt.f64 NdChar)

simplify96.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4937	588
1	4937	588

prune108.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	85	3	88

Merged error: 0.0b

Counts

88 → 3

regimes113.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify9.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	226	48
1	226	48

end0.0ms

sample1.2s

Algorithm

intervals

Results

754.0ms	7998×	body	80	valid
1.0ms	1×	body	5120	exit
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

analyze1.6s

sample45.0ms

simplify89.0ms

prune5.0ms

localize23.0ms

rewrite60.0ms

series446.0ms

simplify94.0ms

prune127.0ms

localize30.0ms

rewrite92.0ms

series388.0ms

simplify128.0ms

prune137.0ms

localize25.0ms

rewrite60.0ms

series415.0ms

simplify79.0ms

prune134.0ms

localize33.0ms

rewrite11.0ms

series362.0ms

simplify96.0ms

prune108.0ms

regimes113.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample1.2s

Profiling