Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
3.5%	96.2%	0.2%	10
9.8%	89.9%	0.2%	11
14.1%	85.7%	0.2%	12
22.6%	77.1%	0.2%	13
23.7%	76%	0.2%	14

sample42.0ms

Algorithm

intervals

Results

9.0ms	211×	body	80	valid
7.0ms	15×	body	640	valid
2.0ms	12×	body	1280	valid
1.0ms	10×	body	320	valid
1.0ms	24×	body	80	invalid
1.0ms	7×	body	160	valid
0.0ms	1×	body	2560	valid

simplify247.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (235.0ms)

Iter	Nodes	Cost
0	4847	19
1	4847	19

prune14.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 15.7b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 z t) y)
1.4b	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
11.1b	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64_5068`
17×	`add-sqr-sqrt_binary64_5053`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
8×	`add-log-exp_binary64_5033`
7×	`add-cube-cbrt_binary64_5039`
5×	`associate-/r_binary64_5131` `associate-l*_binary64_5128` `pow1_binary64_5014` `distribute-lft-out--_binary64_5113` `times-frac_binary64_5063`
4×	`associate-*l/_binary64_5130` `flip3--_binary64_5067` `difference-of-squares_binary64_5097` `flip--_binary64_5094`
3×	`associate-r_binary64_5127`
2×	`associate-/l/_binary64_5134` `cbrt-undiv_binary64_5038` `diff-log_binary64_4984` `associate-/r/_binary64_5133` `prod-exp_binary64_5019` `frac-sub_binary64_5059` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021`
1×	`pow-prod-down_binary64_4995` `associate-/l_binary64_5132` `associate--l+_binary64_5124` `flip3-+_binary64_5066` `frac-2neg_binary64_5061` `flip-+_binary64_5093` `distribute-lft-out_binary64_5112` `clear-num_binary64_5071` `unswap-sqr_binary64_5096` `sum-log_binary64_4983` `sub-neg_binary64_5072` `div-inv_binary64_5069` `-commutative_binary64_5136`

Counts

3 → 69

Calls

3 calls:

7.0ms	(*.f64 (-.f64 z t) y)
15.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
9.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

series251.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(*.f64 (-.f64 z t) y)
157.0ms	(-.f64 (+.f64 x y) (/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t)))
68.0ms	(/.f64 (*.f64 (-.f64 z t) y) (-.f64 a t))

simplify71.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5150	1279

prune366.0ms

Filtered

57 candidates to 78 candidates (-36.8%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	63	15	78
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	16	79

Merged error: 5.6b

Counts

79 → 16

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 y (-.f64 a t))
5.6b	(-.f64 y (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)))
10.9b	(*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary64_5053`
39×	`*-un-lft-identity_binary64_5068`
31×	`times-frac_binary64_5063`
23×	`add-cube-cbrt_binary64_5039`
21×	`associate-l_binary64_5128`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
8×	`distribute-lft-out--_binary64_5113` `difference-of-squares_binary64_5097`
5×	`associate-/r_binary64_5131` `add-log-exp_binary64_5033` `pow1_binary64_5014` `associate-r*_binary64_5127` `flip3--_binary64_5067` `flip--_binary64_5094` `sub-neg_binary64_5072`
4×	`associate-/r/_binary64_5133`
3×	`associate-/l*_binary64_5132`
2×	`cbrt-undiv_binary64_5038` `distribute-lft-in_binary64_5110` `prod-exp_binary64_5019` `associate--r+_binary64_5123` `unswap-sqr_binary64_5096` `frac-times_binary64_5060` `associate-*r/_binary64_5129` `distribute-rgt-in_binary64_5111` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021` `div-inv_binary64_5069`
1×	`pow-prod-down_binary64_4995` `associate-l/_binary64_5130` `diff-log_binary64_4984` `frac-2neg_binary64_5061` `clear-num_binary64_5071` `-commutative_binary64_5136`

Counts

3 → 98

Calls

3 calls:

5.0ms	(/.f64 y (-.f64 a t))
3.0ms	(-.f64 y (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)))
12.0ms	(*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))

series297.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(/.f64 y (-.f64 a t))
127.0ms	(-.f64 y (*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t)))
137.0ms	(*.f64 (/.f64 y (-.f64 a t)) (-.f64 z t))

simplify72.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5085	1672

prune472.0ms

Filtered

82 candidates to 107 candidates (-30.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	6	8	14
Picked	1	0	1
Done	1	0	1
Total	110	13	123

Merged error: 5.6b

Counts

123 → 13

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
1.4b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
2.9b	(-.f64 y (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt_binary64_5053`
71×	`*-un-lft-identity_binary64_5068`
51×	`times-frac_binary64_5063`
31×	`associate-r_binary64_5127`
27×	`add-cube-cbrt_binary64_5039`
22×	`distribute-lft-out--_binary64_5113` `difference-of-squares_binary64_5097`
10×	`add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
5×	`associate-/l_binary64_5132` `associate-/r_binary64_5131` `add-log-exp_binary64_5033` `pow1_binary64_5014`
4×	`associate-/r/_binary64_5133` `flip3--_binary64_5067` `flip--_binary64_5094`
3×	`associate-l_binary64_5128`
2×	`associate-/l/_binary64_5134` `cbrt-undiv_binary64_5038` `prod-exp_binary64_5019` `unswap-sqr_binary64_5096` `cbrt-unprod_binary64_5037` `div-exp_binary64_5021` `div-inv_binary64_5069`
1×	`pow-prod-down_binary64_4995` `diff-log_binary64_4984` `frac-2neg_binary64_5061` `clear-num_binary64_5071` `div-sub_binary64_5062` `associate-r/_binary64_5129` `sub-neg_binary64_5072` `-commutative_binary64_5136`

Counts

3 → 113

Calls

3 calls:

8.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
14.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
3.0ms	(-.f64 y (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))

series220.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
72.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 a t)))
109.0ms	(-.f64 y (*.f64 y (/.f64 (-.f64 z t) (-.f64 a t))))

simplify80.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4999	2069
1	4999	2069

prune430.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	122	13	135

Merged error: 5.6b

Counts

135 → 13

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 a t) y)
2.1b	(-.f64 (+.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y)))
11.1b	(/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

203×	`times-frac_binary64_5063`
180×	`add-sqr-sqrt_binary64_5053`
176×	`*-un-lft-identity_binary64_5068`
87×	`add-cube-cbrt_binary64_5039`
45×	`difference-of-squares_binary64_5097`
44×	`distribute-lft-out--_binary64_5113`
22×	`associate-/r*_binary64_5131`
10×	`associate-/l*_binary64_5132` `add-cbrt-cube_binary64_5040` `add-exp-log_binary64_5032`
8×	`add-log-exp_binary64_5033` `div-inv_binary64_5069`
4×	`associate-/l/_binary64_5134` `cbrt-undiv_binary64_5038` `div-exp_binary64_5021`
3×	`div-sub_binary64_5062` `pow1_binary64_5014` `flip3--_binary64_5067` `flip--_binary64_5094`
2×	`diff-log_binary64_4984` `frac-2neg_binary64_5061` `clear-num_binary64_5071` `frac-sub_binary64_5059`
1×	`associate--r-_binary64_5126` `associate--l+_binary64_5124` `flip3-+_binary64_5066` `flip-+_binary64_5093` `distribute-lft-out_binary64_5112` `associate-/r/_binary64_5133` `sum-log_binary64_4983` `sub-neg_binary64_5072`

Counts

3 → 196

Calls

3 calls:

9.0ms	(/.f64 (-.f64 a t) y)
33.0ms	(-.f64 (+.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y)))
11.0ms	(/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y))

series282.0ms

Counts

3 → 9

Calls

3 calls:

22.0ms	(/.f64 (-.f64 a t) y)
152.0ms	(-.f64 (+.f64 x y) (/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y)))
108.0ms	(/.f64 (-.f64 z t) (/.f64 (-.f64 a t) y))

simplify87.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5044	5101

prune735.0ms

Filtered

140 candidates to 205 candidates (-46.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	201	4	205
Fresh	3	8	11
Picked	1	0	1
Done	0	1	1
Total	205	13	218

Merged error: 4.6b

Counts

218 → 13

regimes808.0ms

Accuracy

13.6% (3.6b remaining)

Error of 6.9b against oracle of 3.2b and baseline of 7.4b

bsearch62.0ms

Steps

Iters	Range	Point
7	7673690651934999/241533595188578646543459493183249209018682958106652187416077203215719946393097526533512110411370161122653976001968886073585317416315186728483931792091692546793561300926464	3928741680951933/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952	5.980147012370445e-155
7	-2416562475679921/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264	-810507248858207/8104522595470689372094546608771799123071184047348509570304018222052056272290836223436927829974812098219136497287696853871865529444163623648216552410378835326291370709768573288448	-5.872757969820095e-163

Iters

Range

Point

7673690651934999/241533595188578646543459493183249209018682958106652187416077203215719946393097526533512110411370161122653976001968886073585317416315186728483931792091692546793561300926464

3928741680951933/7547924849643082704483109161976537781833842440832880856752412600491248324784297704172253450355317535082936750061527689799541169259849585265122868502865392087298790653952

5.980147012370445e-155

-2416562475679921/253266331108459042877954581524118722595974501479640924072000569439126758509088631982403994686712878069348015540240526683495797795130113239006767262824338603946605334680267915264

-810507248858207/8104522595470689372094546608771799123071184047348509570304018222052056272290836223436927829974812098219136497287696853871865529444163623648216552410378835326291370709768573288448

-5.872757969820095e-163

simplify10.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	240	43
1	240	43

end0.0ms

sample899.0ms

Algorithm

intervals

Results

292.0ms	6635×	body	80	valid
72.0ms	456×	body	640	valid
49.0ms	262×	body	1280	valid
44.0ms	389×	body	320	valid
32.0ms	727×	body	80	invalid
18.0ms	239×	body	160	valid
5.0ms	19×	body	2560	valid

Details

analyze1.0s

sample42.0ms

simplify247.0ms

prune14.0ms

localize14.0ms

rewrite33.0ms

series251.0ms

simplify71.0ms

prune366.0ms

localize23.0ms

rewrite25.0ms

series297.0ms

simplify72.0ms

prune472.0ms

localize14.0ms

rewrite30.0ms

series220.0ms

simplify80.0ms

prune430.0ms

localize17.0ms

rewrite65.0ms

series282.0ms

simplify87.0ms

prune735.0ms

regimes808.0ms

bsearch62.0ms

simplify10.0ms

end0.0ms

sample899.0ms

Profiling