Details

analyze78.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
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
46.8%	53.1%	0.1%	6
70.2%	29.7%	0.1%	7
76.5%	23.4%	0.1%	8
83.5%	16.4%	0.1%	9
87%	12.9%	0.1%	10
91.1%	8.8%	0.1%	11
93.2%	6.7%	0.1%	12
95.4%	4.5%	0.1%	13
96.5%	3.4%	0.1%	14

sample21.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify324.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (181.0ms)

Iter	Nodes	Cost
0	4960	25
1	4960	25

prune6.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: 17.8b

Counts

2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
0.1b	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
17.6b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

60×	`flip3-+_binary64_5066` `flip-+_binary64_5093` `frac-times_binary64_5060`
31×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
30×	`associate-*l/_binary64_5130`
27×	`*-un-lft-identity_binary64_5068`
26×	`associate-/r/_binary64_5133`
18×	`associate-*r/_binary64_5129`
15×	`pow1_binary64_5014`
13×	`prod-exp_binary64_5019` `cbrt-unprod_binary64_5037`
11×	`add-sqr-sqrt_binary64_5053`
9×	`distribute-lft-out_binary64_5112` `associate-r_binary64_5127`
8×	`add-cube-cbrt_binary64_5039`
6×	`cbrt-undiv_binary64_5038` `swap-sqr_binary64_5095` `div-exp_binary64_5021`
5×	`associate-l_binary64_5128`
4×	`pow-prod-down_binary64_4995`
3×	`add-log-exp_binary64_5033`
2×	`distribute-lft-in_binary64_5110` `unswap-sqr_binary64_5096` `distribute-rgt-in_binary64_5111` `*-commutative_binary64_5136`
1×	`associate-/l_binary64_5132` `associate-/r_binary64_5131` `pow-sqr_binary64_5101` `frac-2neg_binary64_5061` `clear-num_binary64_5071` `pow2_binary64_5005` `times-frac_binary64_5063` `div-inv_binary64_5069` `pow-prod-up_binary64_4994` `pow-plus_binary64_5009`

Counts

3 → 140

Calls

3 calls:

9.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
21.0ms	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
20.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

series139.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
31.0ms	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
94.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

simplify90.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5219	3922

prune339.0ms

Filtered

89 candidates to 149 candidates (-67.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	144	5	149
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	144	6	150

Merged error: 4.4b

Counts

150 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
0.0b	(/.f64 y (+.f64 (+.f64 x y) 1))
0.1b	(.f64 (/.f64 x (.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 (+.f64 x y) 1)))
17.1b	(/.f64 x (*.f64 (+.f64 x y) (+.f64 x y)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

80×	`*-un-lft-identity_binary64_5068`
43×	`add-sqr-sqrt_binary64_5053`
40×	`times-frac_binary64_5063`
34×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
31×	`add-cube-cbrt_binary64_5039`
27×	`distribute-lft-out_binary64_5112`
25×	`associate-r_binary64_5127`
20×	`flip3-+_binary64_5066` `flip-+_binary64_5093` `associate-/r/_binary64_5133`
19×	`associate-l_binary64_5128`
13×	`pow1_binary64_5014` `frac-times_binary64_5060`
10×	`cbrt-undiv_binary64_5038` `prod-exp_binary64_5019` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021`
7×	`associate-l/_binary64_5130` `associate-r/_binary64_5129`
6×	`associate-/l_binary64_5132` `swap-sqr_binary64_5095` `associate-/r_binary64_5131`
5×	`unswap-sqr_binary64_5096`
4×	`add-log-exp_binary64_5033` `div-inv_binary64_5069`
2×	`pow-prod-down_binary64_4995` `frac-2neg_binary64_5061` `clear-num_binary64_5071` `*-commutative_binary64_5136`
1×	`pow-sqr_binary64_5101` `distribute-lft-in_binary64_5110` `pow2_binary64_5005` `distribute-rgt-in_binary64_5111` `pow-prod-up_binary64_4994` `pow-plus_binary64_5009`

Counts

4 → 170

Calls

4 calls:

8.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
23.0ms	(.f64 (/.f64 x (.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 (+.f64 x y) 1)))
9.0ms	(/.f64 x (*.f64 (+.f64 x y) (+.f64 x y)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
26.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
94.0ms	(.f64 (/.f64 x (.f64 (+.f64 x y) (+.f64 x y))) (/.f64 y (+.f64 (+.f64 x y) 1)))
51.0ms	(/.f64 x (*.f64 (+.f64 x y) (+.f64 x y)))

simplify93.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5020	3325

prune451.0ms

Filtered

118 candidates to 182 candidates (-54.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Merged error: 0.0b

Counts

188 → 7

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

313×	`*-un-lft-identity_binary64_5068`
303×	`times-frac_binary64_5063`
163×	`add-sqr-sqrt_binary64_5053`
142×	`add-cube-cbrt_binary64_5039`
89×	`distribute-lft-out_binary64_5112`
78×	`associate-l_binary64_5128`
34×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
28×	`associate-/r/_binary64_5133`
24×	`associate-/l*_binary64_5132`
21×	`associate-r_binary64_5127`
14×	`cbrt-undiv_binary64_5038` `flip3-+_binary64_5066` `flip-+_binary64_5093` `div-exp_binary64_5021` `div-inv_binary64_5069`
13×	`associate-/r*_binary64_5131`
6×	`pow1_binary64_5014` `prod-exp_binary64_5019` `unswap-sqr_binary64_5096` `cbrt-unprod_binary64_5037`
4×	`add-log-exp_binary64_5033`
3×	`frac-2neg_binary64_5061` `clear-num_binary64_5071`
1×	`pow-prod-down_binary64_4995` `associate-/l/_binary64_5134` `associate-l/_binary64_5130` `frac-times_binary64_5060` `associate-r/_binary64_5129` `*-commutative_binary64_5136`

Counts

4 → 310

Calls

4 calls:

8.0ms	(/.f64 x (+.f64 x y))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
11.0ms	(/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y))
40.0ms	(*.f64 (/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y)) (/.f64 y (+.f64 (+.f64 x y) 1)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/.f64 x (+.f64 x y))
27.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
48.0ms	(/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y))
97.0ms	(*.f64 (/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y)) (/.f64 y (+.f64 (+.f64 x y) 1)))

simplify135.0ms

Algorithm

egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5088	7466

prune1.0s

Filtered

196 candidates to 322 candidates (-64.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	318	4	322
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	321	8	329

Merged error: 0b

Counts

329 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

411×	`*-un-lft-identity_binary64_5068`
351×	`times-frac_binary64_5063`
177×	`add-sqr-sqrt_binary64_5053`
156×	`add-cube-cbrt_binary64_5039`
143×	`distribute-lft-out_binary64_5112`
90×	`associate-r_binary64_5127`
34×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
28×	`associate-/r/_binary64_5133`
27×	`associate-/l*_binary64_5132`
18×	`associate-l_binary64_5128`
14×	`cbrt-undiv_binary64_5038` `flip3-+_binary64_5066` `flip-+_binary64_5093` `div-exp_binary64_5021` `div-inv_binary64_5069`
13×	`associate-/r*_binary64_5131`
6×	`pow1_binary64_5014` `prod-exp_binary64_5019` `unswap-sqr_binary64_5096` `cbrt-unprod_binary64_5037`
4×	`add-log-exp_binary64_5033`
3×	`frac-2neg_binary64_5061` `clear-num_binary64_5071`
1×	`pow-prod-down_binary64_4995` `associate-/l/_binary64_5134` `associate-l/_binary64_5130` `frac-times_binary64_5060` `associate-r/_binary64_5129` `*-commutative_binary64_5136`

Counts

4 → 334

Calls

4 calls:

5.0ms	(/.f64 x (+.f64 x y))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
18.0ms	(/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y))
46.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y)))

series202.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/.f64 x (+.f64 x y))
26.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
50.0ms	(/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y))
102.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y)))

simplify125.0ms

Algorithm

egg-herbie

Counts

346 → 346

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5448	8578

prune812.0ms

Filtered

201 candidates to 346 candidates (-72.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	344	2	346
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	347	7	354

Merged error: 0b

Counts

354 → 7

regimes257.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	25
1	13	25

end0.0ms

sample468.0ms

Algorithm

intervals

Results

291.0ms

8000×

body

valid

Details

analyze78.0ms

sample21.0ms

simplify324.0ms

prune6.0ms

localize13.0ms

rewrite57.0ms

series139.0ms

simplify90.0ms

prune339.0ms

localize17.0ms

rewrite54.0ms

series183.0ms

simplify93.0ms

prune451.0ms

localize20.0ms

rewrite83.0ms

series196.0ms

simplify135.0ms

prune1.0s

localize15.0ms

rewrite97.0ms

series202.0ms

simplify125.0ms

prune812.0ms

regimes257.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample468.0ms

Profiling