Details

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

sample16.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify63.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	781	7
1	781	7

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x y) (-.f64 x y))

rewrite10.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:

8.0ms

(/.f64 (+.f64 x y) (-.f64 x y))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/.f64 (+.f64 x y) (-.f64 x y))

simplify53.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4959	532
1	4959	532

prune35.0ms

Filtered

32 candidates to 48 candidates (-50.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	40	8	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	8	49

Merged error: 0.0b

Counts

49 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
0.0b	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)
0.0b	(/.f64 (+.f64 x y) (-.f64 x y))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

150×	`*-un-lft-identity_binary64`
100×	`times-frac_binary64`
98×	`add-sqr-sqrt_binary64`
58×	`cbrt-prod_binary64`
56×	`add-cube-cbrt_binary64`
52×	`unpow-prod-down_binary64` `cube-prod_binary64`
26×	`distribute-lft-out_binary64`
21×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
10×	`associate-/r/_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r*_binary64` `flip3--_binary64` `div-inv_binary64` `flip--_binary64`
4×	`pow1_binary64` `associate-/l*_binary64`
3×	`pow-unpow_binary64` `add-log-exp_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `sqr-pow_binary64` `cube-div_binary64` `rem-cube-cbrt_binary64` `div-exp_binary64` `pow-exp_binary64` `unpow3_binary64` `cube-mult_binary64`
1×	`cbrt-div_binary64` `pow-to-exp_binary64` `flip3-+_binary64` `rem-cbrt-cube_binary64` `pow1/3_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64`

Counts

3 → 185

Calls

3 calls:

12.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
11.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)
9.0ms	(/.f64 (+.f64 x y) (-.f64 x y))

series43.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(cbrt.f64 (pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3))
19.0ms	(pow.f64 (/.f64 (+.f64 x y) (-.f64 x y)) 3)
10.0ms	(/.f64 (+.f64 x y) (-.f64 x y))

simplify44.0ms

Algorithm

egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5492	2496

prune62.0ms

Filtered

86 candidates to 194 candidates (-125.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	191	3	194
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	195	7	202

Merged error: 0.0b

Counts

202 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(/.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))

rewrite32.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`
15×	`add-exp-log_binary64`
11×	`associate-/r/_binary64`
9×	`add-cbrt-cube_binary64`
8×	`associate-/l*_binary64` `div-exp_binary64`
6×	`div-inv_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`cbrt-undiv_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `1-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 → 174

Calls

2 calls:

8.0ms	(/.f64 (-.f64 x y) (+.f64 x y))
12.0ms	(/.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))

series19.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/.f64 (-.f64 x y) (+.f64 x y))
10.0ms	(/.f64 1 (/.f64 (-.f64 x y) (+.f64 x y)))

simplify65.0ms

Algorithm

egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	6131	2391

prune60.0ms

Filtered

94 candidates to 180 candidates (-91.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	177	3	180
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	180	7	187

Merged error: 0.0b

Counts

187 → 7

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.0b	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
0.0b	(/.f64 1 (-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y))))
0.0b	(/.f64 y (+.f64 x y))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

190×	`*-un-lft-identity_binary64`
155×	`times-frac_binary64`
114×	`add-sqr-sqrt_binary64`
54×	`add-cube-cbrt_binary64`
35×	`distribute-lft-out--_binary64`
28×	`distribute-lft-out_binary64` `associate-/r/_binary64`
25×	`associate-/r*_binary64`
20×	`difference-of-squares_binary64`
15×	`distribute-rgt-out--_binary64`
13×	`div-inv_binary64`
12×	`flip3-+_binary64` `add-exp-log_binary64` `flip-+_binary64`
10×	`add-cbrt-cube_binary64`
9×	`associate-/l*_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64`
4×	`div-exp_binary64`
3×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `sub-div_binary64` `flip--_binary64` `frac-sub_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `1-exp_binary64` `inv-pow_binary64` `rec-exp_binary64` `pow-flip_binary64`

Counts

4 → 184

Calls

4 calls:

5.0ms	(/.f64 x (+.f64 x y))
22.0ms	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
28.0ms	(/.f64 1 (-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y))))
6.0ms	(/.f64 y (+.f64 x y))

series44.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 x (+.f64 x y))
13.0ms	(-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y)))
19.0ms	(/.f64 1 (-.f64 (/.f64 x (+.f64 x y)) (/.f64 y (+.f64 x y))))
6.0ms	(/.f64 y (+.f64 x y))

simplify63.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5229	2490

prune75.0ms

Filtered

130 candidates to 196 candidates (-50.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	197	6	203

Merged error: 0b

Counts

203 → 6

regimes105.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	13
1	26	13

end0.0ms

sample309.0ms

Algorithm

intervals

Results

182.0ms

8000×

body

valid

Details

analyze24.0ms

sample16.0ms

simplify63.0ms

prune2.0ms

localize4.0ms

rewrite10.0ms

series10.0ms

simplify53.0ms

prune35.0ms

localize7.0ms

rewrite42.0ms

series43.0ms

simplify44.0ms

prune62.0ms

localize6.0ms

rewrite32.0ms

series19.0ms

simplify65.0ms

prune60.0ms

localize7.0ms

rewrite72.0ms

series44.0ms

simplify63.0ms

prune75.0ms

regimes105.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample309.0ms

Profiling