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

sample43.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5482	29

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

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64`
45×	`times-frac_binary64`
39×	`add-sqr-sqrt_binary64`
33×	`add-cube-cbrt_binary64`
25×	`exp-prod_binary64`
18×	`distribute-lft-out--_binary64`
9×	`distribute-lft-out_binary64`
8×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`add-log-exp_binary64`
6×	`associate-/l*_binary64`
4×	`pow1_binary64` `associate-/r/_binary64`
3×	`flip3-+_binary64` `difference-of-squares_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
1×	`rem-exp-log_binary64` `exp-diff_binary64` `div-sub_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 112

Calls

4 calls:

12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
14.0ms	(/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
14.0ms	(/.f64 NdChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
12.0ms	(+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

series253.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
100.0ms	(/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
100.0ms	(/.f64 NdChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
29.0ms	(+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5152	2560

prune143.0ms

Filtered

90 candidates to 124 candidates (-37.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	3	125

Merged error: 0b

Counts

125 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

120×	`times-frac_binary64`
113×	`*-un-lft-identity_binary64`
71×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
23×	`associate-/r*_binary64`
21×	`distribute-lft-out_binary64`
19×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
10×	`associate-/l*_binary64`
9×	`div-exp_binary64`
7×	`div-inv_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `cbrt-undiv_binary64`
3×	`flip3-+_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `1-exp_binary64` `rec-exp_binary64`
1×	`inv-pow_binary64` `+-commutative_binary64` `pow-flip_binary64` `sum-log_binary64`

Counts

4 → 166

Calls

4 calls:

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

series377.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(/.f64 (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar)
100.0ms	(/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
27.0ms	(+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))
123.0ms	(/.f64 1 (/.f64 (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar))

simplify72.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4973	4024
1	4973	4024

prune174.0ms

Filtered

112 candidates to 178 candidates (-58.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	178	3	181

Merged error: 0b

Counts

181 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))))
0.4b	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
0.4b	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
0.4b	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

150×	`cbrt-prod_binary64`
128×	`*-un-lft-identity_binary64`
102×	`times-frac_binary64`
92×	`add-sqr-sqrt_binary64`
68×	`add-cube-cbrt_binary64`
27×	`swap-sqr_binary64` `distribute-lft-out_binary64`
21×	`associate-r_binary64` `associate-l_binary64`
14×	`associate-/r/_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64` `unswap-sqr_binary64`
7×	`cbrt-div_binary64` `flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `associate-r/_binary64` `pow-plus_binary64` `prod-exp_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 180

Calls

4 calls:

39.0ms	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))))
15.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
14.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
14.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

series780.0ms

Counts

4 → 12

Calls

4 calls:

291.0ms	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))))
163.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
161.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
165.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

simplify96.0ms

Algorithm

egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4928	5758
1	4928	5758

prune300.0ms

Filtered

143 candidates to 192 candidates (-34.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	192	3	195

Merged error: 0b

Counts

195 → 3

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 NdChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
0.0b	(pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)
0.4b	(/.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)) (+.f64 (.f64 1.0 1.0) (.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) (-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0))))
2.8b	(-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0)

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

118×	`*-un-lft-identity_binary64`
60×	`times-frac_binary64`
49×	`add-sqr-sqrt_binary64`
41×	`add-cube-cbrt_binary64`
33×	`distribute-lft-out_binary64`
26×	`pow-pow_binary64`
25×	`exp-prod_binary64`
19×	`unpow-prod-down_binary64` `cube-prod_binary64`
12×	`associate-/l*_binary64`
10×	`distribute-lft-out--_binary64`
9×	`add-cbrt-cube_binary64`
8×	`add-exp-log_binary64`
7×	`associate-/r*_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64`
4×	`sum-cubes_binary64` `associate-/r/_binary64` `difference-of-squares_binary64`
3×	`flip3-+_binary64` `pow-unpow_binary64` `div-inv_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
1×	`pow-to-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `sqr-pow_binary64` `cube-div_binary64` `exp-diff_binary64` `div-sub_binary64` `rem-cube-cbrt_binary64` `flip--_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

4 → 150

Calls

4 calls:

15.0ms	(/.f64 NdChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
14.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)
27.0ms	(/.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)) (+.f64 (.f64 1.0 1.0) (.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) (-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0))))
15.0ms	(-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0)

series1.3s

Counts

4 → 12

Calls

4 calls:

100.0ms	(/.f64 NdChar (+.f64 1.0 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
67.0ms	(pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)
1.1s	(/.f64 (+.f64 (pow.f64 1.0 3) (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3)) (+.f64 (.f64 1.0 1.0) (.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) (-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0))))
26.0ms	(-.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1.0)

simplify58.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5393	5528

prune207.0ms

Filtered

107 candidates to 162 candidates (-51.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	162	3	165

Merged error: 0b

Counts

165 → 3

regimes858.0ms

Accuracy

0% (0.1b remaining)

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

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

766.0ms	7998×	body	80	valid
1.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

analyze1.5s

sample43.0ms

simplify55.0ms

prune14.0ms

localize25.0ms

rewrite55.0ms

series253.0ms

simplify43.0ms

prune143.0ms

localize22.0ms

rewrite65.0ms

series377.0ms

simplify72.0ms

prune174.0ms

localize26.0ms

rewrite92.0ms

series780.0ms

simplify96.0ms

prune300.0ms

localize30.0ms

rewrite77.0ms

series1.3s

simplify58.0ms

prune207.0ms

regimes858.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling