Details

analyze370.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
14%	85.8%	0.1%	7
22.6%	77.2%	0.1%	8
23.8%	74.5%	1.7%	9
40%	56%	4%	10
47.3%	48.7%	4%	11
48.4%	45.8%	5.8%	12
58.6%	32.4%	9%	13
63.4%	27.5%	9%	14

sample24.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
1.0ms	25×	body	80	invalid

simplify152.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	5047	10

prune7.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: 15.5b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
14.9b	(/.f64 (*.f64 x (+.f64 y z)) z)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
8×	`*-un-lft-identity_binary64_1858` `add-sqr-sqrt_binary64_1843`
6×	`add-cube-cbrt_binary64_1829`
4×	`pow1_binary64_1804` `associate-r_binary64_1917` `associate-*r/_binary64_1919`
3×	`associate-l_binary64_1918` `associate-/r*_binary64_1921` `times-frac_binary64_1853`
2×	`div-exp_binary64_1811` `cbrt-undiv_binary64_1828` `cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `associate-/l/_binary64_1924` `flip3-+_binary64_1856` `flip-+_binary64_1883` `add-log-exp_binary64_1823`
1×	`clear-num_binary64_1861` `frac-2neg_binary64_1851` `distribute-lft-out_binary64_1902` `-commutative_binary64_1926` `div-inv_binary64_1859` `distribute-rgt-in_binary64_1901` `unswap-sqr_binary64_1886` `distribute-lft-in_binary64_1900` `pow-prod-down_binary64_1785` `associate-/l_binary64_1922`

Counts

2 → 46

Calls

2 calls:

6.0ms	(*.f64 x (+.f64 y z))
7.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)

series62.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(*.f64 x (+.f64 y z))
34.0ms	(/.f64 (*.f64 x (+.f64 y z)) z)

simplify59.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5136	553

prune218.0ms

Filtered

38 candidates to 52 candidates (-36.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	44	8	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	8	53

Merged error: 0.0b

Counts

53 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 z (+.f64 z y))
2.2b	(/.f64 x (/.f64 z (+.f64 z y)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac_binary64_1853`
94×	`*-un-lft-identity_binary64_1858`
62×	`add-cube-cbrt_binary64_1829` `add-sqr-sqrt_binary64_1843`
22×	`associate-/r*_binary64_1921`
16×	`distribute-lft-out_binary64_1902`
11×	`associate-/r/_binary64_1923`
9×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
6×	`div-inv_binary64_1859` `associate-/l*_binary64_1922`
5×	`flip3-+_binary64_1856` `flip-+_binary64_1883`
4×	`div-exp_binary64_1811` `cbrt-undiv_binary64_1828`
2×	`clear-num_binary64_1861` `frac-2neg_binary64_1851` `pow1_binary64_1804` `add-log-exp_binary64_1823`

Counts

2 → 123

Calls

2 calls:

5.0ms	(/.f64 z (+.f64 z y))
8.0ms	(/.f64 x (/.f64 z (+.f64 z y)))

series68.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(/.f64 z (+.f64 z y))
44.0ms	(/.f64 x (/.f64 z (+.f64 z y)))

simplify77.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5011	2390

prune412.0ms

Filtered

93 candidates to 129 candidates (-38.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	5	2	7
Picked	0	1	1
Done	0	0	0
Total	132	5	137

Merged error: 0b

Counts

137 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 z y) z)
2.7b	(*.f64 x (/.f64 (+.f64 z y) z))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64_1858`
25×	`add-sqr-sqrt_binary64_1843` `times-frac_binary64_1853`
20×	`add-cube-cbrt_binary64_1829`
16×	`associate-r_binary64_1917`
9×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
7×	`distribute-lft-out_binary64_1902`
4×	`pow1_binary64_1804` `associate-/l*_binary64_1922`
3×	`associate-l_binary64_1918` `associate-/r*_binary64_1921`
2×	`div-exp_binary64_1811` `cbrt-undiv_binary64_1828` `cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `div-inv_binary64_1859` `unswap-sqr_binary64_1886` `associate-/l/_binary64_1924` `add-log-exp_binary64_1823`
1×	`clear-num_binary64_1861` `frac-2neg_binary64_1851` `-commutative_binary64_1926` `associate-r/_binary64_1919` `pow-prod-down_binary64_1785` `flip3-+_binary64_1856` `flip-+_binary64_1883`

Counts

2 → 68

Calls

2 calls:

5.0ms	(/.f64 (+.f64 z y) z)
9.0ms	(*.f64 x (/.f64 (+.f64 z y) z))

series70.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(/.f64 (+.f64 z y) z)
52.0ms	(*.f64 x (/.f64 (+.f64 z y) z))

simplify49.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5090	932

prune233.0ms

Filtered

50 candidates to 74 candidates (-48.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	74	5	79

Merged error: 0b

Counts

79 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (/.f64 x z) y))
6.5b	(*.f64 (/.f64 x z) y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_1843`
13×	`associate-l_binary64_1918`
10×	`add-cube-cbrt_binary64_1829` `*-un-lft-identity_binary64_1858` `times-frac_binary64_1853`
7×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
4×	`pow1_binary64_1804` `add-log-exp_binary64_1823`
3×	`associate-r_binary64_1917`
2×	`cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `unswap-sqr_binary64_1886`
1×	`+-commutative_binary64_1925` `div-exp_binary64_1811` `cbrt-undiv_binary64_1828` `sum-log_binary64_1773` `-commutative_binary64_1926` `div-inv_binary64_1859` `associate-l/_binary64_1920` `pow-prod-down_binary64_1785` `flip3-+_binary64_1856` `flip-+_binary64_1883`

Counts

2 → 43

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 (/.f64 x z) y))
6.0ms	(*.f64 (/.f64 x z) y)

series44.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(+.f64 x (*.f64 (/.f64 x z) y))
21.0ms	(*.f64 (/.f64 x z) y)

simplify89.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5183	546

prune160.0ms

Filtered

37 candidates to 49 candidates (-32.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	49	5	54

Merged error: 0b

Counts

54 → 5

regimes277.0ms

Accuracy

2.1% (2.8b remaining)

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

bsearch58.0ms

Steps

Iters	Range	Point
9	1952793258948591972415413297878353202704823568250280266530521037077406271865808913163933761356499243452687982730200708177205459371954132577815254818034264971886687261098265244379640752871672816111801318818332845772264624957445069118402342158336	855006818172729397815255743387296326828507937197369655837351686176396293645191084333178993926989270036967754262971393752092490287990583029065131257848559020268282516857485510711574286570957376502505687894176773334088396420815570027829078910937595904	7.478347114349664e+247
9	4761983230170265/69617318994479297159441705409245167921344429126717528237597542082203295398081625160307507496908132931192662194421301381083506846944815643283884602656894137393981852330936660004926669193216	3434857381157217/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032	2.556206366461948e-167

Iters

Range

Point

1952793258948591972415413297878353202704823568250280266530521037077406271865808913163933761356499243452687982730200708177205459371954132577815254818034264971886687261098265244379640752871672816111801318818332845772264624957445069118402342158336

855006818172729397815255743387296326828507937197369655837351686176396293645191084333178993926989270036967754262971393752092490287990583029065131257848559020268282516857485510711574286570957376502505687894176773334088396420815570027829078910937595904

7.478347114349664e+247

4761983230170265/69617318994479297159441705409245167921344429126717528237597542082203295398081625160307507496908132931192662194421301381083506846944815643283884602656894137393981852330936660004926669193216

3434857381157217/132784498204191774672397051638117156832398279431757980799861034550100889965213060684790625566307321417222332371561625253836644834413176809852379994691646837985957817708848304757932032

2.556206366461948e-167

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	45
1	27	45

end0.0ms

sample471.0ms

Algorithm

intervals

Results

211.0ms	8000×	body	80	valid
21.0ms	740×	body	80	invalid

Details

analyze370.0ms

sample24.0ms

simplify152.0ms

prune7.0ms

localize7.0ms

rewrite14.0ms

series62.0ms

simplify59.0ms

prune218.0ms

localize8.0ms

rewrite19.0ms

series68.0ms

simplify77.0ms

prune412.0ms

localize8.0ms

rewrite17.0ms

series70.0ms

simplify49.0ms

prune233.0ms

localize7.0ms

rewrite11.0ms

series44.0ms

simplify89.0ms

prune160.0ms

regimes277.0ms

bsearch58.0ms

simplify3.0ms

end0.0ms

sample471.0ms

Profiling