Details

analyze45.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

sample22.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify590.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	782	10
1	782	10

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

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 f n) (-.f64 n f))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64`
22×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
12×	`add-cube-cbrt_binary64`
6×	`distribute-lft-out_binary64`
5×	`associate-/r*_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
4×	`associate-/l*_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`flip3-+_binary64` `add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `flip-+_binary64`

Counts

1 → 45

Calls

1 calls:

10.0ms

(/.f64 (+.f64 f n) (-.f64 n f))

series57.0ms

Counts

1 → 3

Calls

1 calls:

57.0ms

(/.f64 (+.f64 f n) (-.f64 n f))

simplify122.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	4975	802
1	4975	802

prune132.0ms

Filtered

34 candidates to 48 candidates (-41.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	3	49

Merged error: 0.0b

Counts

49 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))
0.0b	(log.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
0.0b	(/.f64 (+.f64 n f) (-.f64 n f))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

93×	`*-un-lft-identity_binary64`
61×	`add-sqr-sqrt_binary64`
60×	`times-frac_binary64`
52×	`exp-prod_binary64`
35×	`add-cube-cbrt_binary64`
27×	`log-pow_binary64`
16×	`distribute-lft-out_binary64`
13×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`associate-/r/_binary64`
5×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `associate-/l*_binary64`
3×	`flip3--_binary64` `log-prod_binary64` `div-inv_binary64` `flip--_binary64`
2×	`associate-/l/_binary64`
1×	`flip3-+_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

3 → 117

Calls

3 calls:

9.0ms	(exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))
10.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
8.0ms	(/.f64 (+.f64 n f) (-.f64 n f))

series149.0ms

Counts

3 → 9

Calls

3 calls:

63.0ms	(exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))
43.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
43.0ms	(/.f64 (+.f64 n f) (-.f64 n f))

simplify94.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5441	1790

prune273.0ms

Filtered

83 candidates to 126 candidates (-51.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	125	4	129

Merged error: 0b

Counts

129 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
0.0b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
0.0b	(/.f64 (+.f64 n f) (-.f64 n f))
0.0b	(/.f64 (+.f64 n f) (-.f64 n f))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

130×	`*-un-lft-identity_binary64`
86×	`add-sqr-sqrt_binary64`
80×	`times-frac_binary64`
58×	`log-pow_binary64`
54×	`sqrt-pow1_binary64`
52×	`exp-prod_binary64`
50×	`add-cube-cbrt_binary64`
22×	`distribute-lft-out_binary64`
18×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
12×	`log-prod_binary64`
10×	`associate-/r*_binary64` `add-exp-log_binary64`
8×	`pow1_binary64` `add-cbrt-cube_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
6×	`sqrt-prod_binary64`
4×	`associate-/l/_binary64` `add-log-exp_binary64` `flip3--_binary64` `div-inv_binary64` `flip--_binary64`
2×	`flip3-+_binary64` `pow1/2_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

4 → 176

Calls

4 calls:

12.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
12.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
8.0ms	(/.f64 (+.f64 n f) (-.f64 n f))
8.0ms	(/.f64 (+.f64 n f) (-.f64 n f))

series292.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
104.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
39.0ms	(/.f64 (+.f64 n f) (-.f64 n f))
48.0ms	(/.f64 (+.f64 n f) (-.f64 n f))

simplify105.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5417	2998

prune417.0ms

Filtered

122 candidates to 188 candidates (-54.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	188	0	188
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	188	4	192

Merged error: 0b

Counts

192 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (/.f64 (-.f64 n f) (+.f64 n f)))
0.0b	(/.f64 (-.f64 n f) (+.f64 n f))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac_binary64`
174×	`*-un-lft-identity_binary64`
122×	`add-sqr-sqrt_binary64`
80×	`add-cube-cbrt_binary64`
30×	`associate-/r*_binary64`
26×	`distribute-lft-out_binary64`
21×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
12×	`add-exp-log_binary64`
11×	`associate-/r/_binary64`
9×	`add-cbrt-cube_binary64`
8×	`associate-/l*_binary64`
6×	`div-inv_binary64`
5×	`flip3-+_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`cbrt-undiv_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64`
1×	`flip3--_binary64` `div-sub_binary64` `inv-pow_binary64` `flip--_binary64` `pow-flip_binary64`

Counts

2 → 172

Calls

2 calls:

11.0ms	(/.f64 1 (/.f64 (-.f64 n f) (+.f64 n f)))
8.0ms	(/.f64 (-.f64 n f) (+.f64 n f))

series81.0ms

Counts

2 → 6

Calls

2 calls:

42.0ms	(/.f64 1 (/.f64 (-.f64 n f) (+.f64 n f)))
39.0ms	(/.f64 (-.f64 n f) (+.f64 n f))

simplify106.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5119	3682

prune297.0ms

Filtered

95 candidates to 178 candidates (-87.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	178	4	182

Merged error: 0b

Counts

182 → 4

regimes135.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	14
1	19	14

end0.0ms

sample379.0ms

Algorithm

intervals

Results

212.0ms

8000×

body

valid

Details

analyze45.0ms

sample22.0ms

simplify590.0ms

prune14.0ms

localize17.0ms

rewrite13.0ms

series57.0ms

simplify122.0ms

prune132.0ms

localize12.0ms

rewrite32.0ms

series149.0ms

simplify94.0ms

prune273.0ms

localize16.0ms

rewrite48.0ms

series292.0ms

simplify105.0ms

prune417.0ms

localize9.0ms

rewrite33.0ms

series81.0ms

simplify106.0ms

prune297.0ms

regimes135.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample379.0ms

Profiling