Details

analyze33.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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14

sample13.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify165.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (162.0ms)

Iter	Nodes	Cost
0	2190	9
1	2190	9

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

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
40×	`add-sqr-sqrt_binary64`
30×	`times-frac_binary64`
19×	`distribute-lft-out--_binary64`
14×	`add-cube-cbrt_binary64`
13×	`difference-of-squares_binary64`
6×	`associate-/r*_binary64` `distribute-lft-out_binary64`
5×	`associate-/l*_binary64`
3×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`associate-/l/_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`add-log-exp_binary64` `pow1_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

1 → 58

Calls

1 calls:

10.0ms

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

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

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

simplify64.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4966	901
1	4966	901

prune51.0ms

Filtered

38 candidates to 61 candidates (-60.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	58	3	61
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	4	62

Merged error: 0b

Counts

62 → 4

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

127×	`*-un-lft-identity_binary64`
64×	`times-frac_binary64`
59×	`add-sqr-sqrt_binary64`
41×	`distribute-lft-out--_binary64`
27×	`add-cube-cbrt_binary64`
14×	`distribute-lft-out_binary64` `difference-of-squares_binary64`
12×	`associate-/r*_binary64`
8×	`associate-/r/_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-/l*_binary64`
5×	`add-log-exp_binary64` `flip3--_binary64` `flip--_binary64`
4×	`div-inv_binary64`
3×	`pow1_binary64` `distribute-rgt-out--_binary64`
2×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `sub-div_binary64` `frac-sub_binary64`

Counts

3 → 115

Calls

3 calls:

8.0ms	(/.f64 y (-.f64 2.0 (+.f64 x y)))
8.0ms	(/.f64 x (-.f64 2.0 (+.f64 x y)))
40.0ms	(-.f64 (/.f64 x (-.f64 2.0 (+.f64 x y))) (/.f64 y (-.f64 2.0 (+.f64 x y))))

series31.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/.f64 y (-.f64 2.0 (+.f64 x y)))
8.0ms	(/.f64 x (-.f64 2.0 (+.f64 x y)))
15.0ms	(-.f64 (/.f64 x (-.f64 2.0 (+.f64 x y))) (/.f64 y (-.f64 2.0 (+.f64 x y))))

simplify63.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5912	1672

prune102.0ms

Filtered

84 candidates to 124 candidates (-47.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	124	4	128

Merged error: 0b

Counts

128 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

292×	`*-un-lft-identity_binary64`
258×	`times-frac_binary64`
214×	`add-sqr-sqrt_binary64`
100×	`add-cube-cbrt_binary64`
83×	`distribute-lft-out--_binary64`
57×	`difference-of-squares_binary64`
41×	`associate-/r*_binary64`
26×	`distribute-lft-out_binary64`
15×	`add-exp-log_binary64`
11×	`associate-/r/_binary64`
9×	`add-cbrt-cube_binary64` `associate-/l*_binary64`
8×	`div-exp_binary64`
6×	`flip3--_binary64` `div-inv_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×	`div-sub_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

2 → 226

Calls

2 calls:

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

series26.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify73.0ms

Algorithm

egg-herbie

Counts

232 → 232

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5537	3866

prune129.0ms

Filtered

112 candidates to 232 candidates (-107.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	232	4	236

Merged error: 0b

Counts

236 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))))
0.3b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
0.3b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
0.3b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

651×	`*-un-lft-identity_binary64`
372×	`cbrt-prod_binary64`
324×	`times-frac_binary64`
318×	`add-sqr-sqrt_binary64`
212×	`distribute-lft-out--_binary64`
108×	`add-cube-cbrt_binary64`
93×	`swap-sqr_binary64` `difference-of-squares_binary64`
67×	`distribute-lft-out_binary64`
39×	`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 → 336

Calls

4 calls:

45.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))))
12.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
10.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
10.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))

series112.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y)))))
30.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
25.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))
25.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2.0 (+.f64 x y))))

simplify80.0ms

Algorithm

egg-herbie

Counts

348 → 348

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4978	8032
1	4978	8032

prune314.0ms

Filtered

181 candidates to 348 candidates (-92.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	348	0	348
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	348	4	352

Merged error: 0b

Counts

352 → 4

regimes140.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	44	15
1	44	15

end0.0ms

sample316.0ms

Algorithm

intervals

Results

196.0ms	7999×	body	80	valid
0.0ms	1×	body	640	valid

Details

analyze33.0ms

sample13.0ms

simplify165.0ms

prune3.0ms

localize10.0ms

rewrite13.0ms

series9.0ms

simplify64.0ms

prune51.0ms

localize7.0ms

rewrite61.0ms

series31.0ms

simplify63.0ms

prune102.0ms

localize7.0ms

rewrite43.0ms

series26.0ms

simplify73.0ms

prune129.0ms

localize10.0ms

rewrite108.0ms

series112.0ms

simplify80.0ms

prune314.0ms

regimes140.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample316.0ms

Profiling