Details

analyze71.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
12.5%	87.4%	0.1%	4
25%	74.9%	0.1%	5
31.2%	68.7%	0.1%	6
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

sample17.0ms

Algorithm

intervals

Results

6.0ms	205×	body	80	valid
2.0ms	18×	body	640	valid
1.0ms	11×	body	1280	valid
1.0ms	13×	body	320	valid
1.0ms	9×	body	160	valid

simplify535.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	523	16
1	523	16

prune2.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: 21.3b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64_1777`
15×	`add-sqr-sqrt_binary64_1762`
10×	`add-cbrt-cube_binary64_1749` `add-exp-log_binary64_1741`
7×	`add-cube-cbrt_binary64_1748`
6×	`associate-l_binary64_1837`
5×	`pow1_binary64_1719` `add-log-exp_binary64_1742`
4×	`associate-l/_binary64_1839` `times-frac_binary64_1772` `associate-/r_binary64_1840` `difference-of-squares_binary64_1806`
3×	`associate-r_binary64_1836` `flip3--_binary64_1776` `flip--_binary64_1803`
2×	`cbrt-undiv_binary64_1747` `div-exp_binary64_1726` `prod-exp_binary64_1724` `cbrt-unprod_binary64_1746` `distribute-lft-out--_binary64_1822` `distribute-lft-out_binary64_1821` `associate-/r/_binary64_1842` `associate-/l/_binary64_1843`
1×	`-commutative_binary64_1845` `clear-num_binary64_1780` `associate-/l_binary64_1841` `diff-log_binary64_1688` `sub-neg_binary64_1781` `div-inv_binary64_1778` `pow-prod-down_binary64_1700` `unswap-sqr_binary64_1805` `flip-+_binary64_1802` `frac-2neg_binary64_1770` `flip3-+_binary64_1775`

Counts

3 → 64

Calls

3 calls:

8.0ms	(*.f64 (-.f64 1 x) y)
10.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
13.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

series981.0ms

Counts

3 → 9

Calls

3 calls:

119.0ms	(*.f64 (-.f64 1 x) y)
692.0ms	(-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1)))
171.0ms	(/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	988	9
1	988	9
0	988	9
1	988	9
0	1	3
1	1	3
0	28120	9
0	28120	9
0	1	3
1	1	3
0	591	9
1	591	9
0	591	9
1	591	9
0	1	3
1	1	3

simplify86.0ms

Counts

73 → 73

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5655	1000

prune77.0ms

Filtered

54 candidates to 73 candidates (-35.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	62	11	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	11	74

Merged error: 11.4b

Counts

74 → 11

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

65×	`*-un-lft-identity_binary64_1777`
41×	`times-frac_binary64_1772`
39×	`add-sqr-sqrt_binary64_1762`
26×	`associate-l_binary64_1837`
25×	`add-cube-cbrt_binary64_1748`
20×	`distribute-lft-out_binary64_1821`
10×	`add-cbrt-cube_binary64_1749` `add-exp-log_binary64_1741`
9×	`difference-of-sqr--1_binary64_1808`
5×	`associate-/l*_binary64_1841` `pow1_binary64_1719` `add-log-exp_binary64_1742`
4×	`flip-+_binary64_1802` `associate-/r*_binary64_1840` `flip3-+_binary64_1775` `associate-/r/_binary64_1842`
3×	`associate-r_binary64_1836`
2×	`cbrt-undiv_binary64_1747` `div-exp_binary64_1726` `div-inv_binary64_1778` `unswap-sqr_binary64_1805` `prod-exp_binary64_1724` `cbrt-unprod_binary64_1746` `associate-/l/_binary64_1843`
1×	`associate-l/_binary64_1839` `-commutative_binary64_1845` `clear-num_binary64_1780` `pow-prod-down_binary64_1700` `frac-2neg_binary64_1770` `sum-log_binary64_1687` `+-commutative_binary64_1844`

Counts

3 → 101

Calls

3 calls:

10.0ms	(/.f64 (+.f64 x -1) (+.f64 y 1))
15.0ms	(*.f64 (/.f64 (+.f64 x -1) (+.f64 y 1)) y)
5.0ms	(+.f64 1 (*.f64 (/.f64 (+.f64 x -1) (+.f64 y 1)) y))

series1.7s

Counts

3 → 9

Calls

3 calls:

578.0ms	(/.f64 (+.f64 x -1) (+.f64 y 1))
557.0ms	(*.f64 (/.f64 (+.f64 x -1) (+.f64 y 1)) y)
587.0ms	(+.f64 1 (*.f64 (/.f64 (+.f64 x -1) (+.f64 y 1)) y))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	25814	9
0	25814	9
0	1	3
1	1	3
0	25799	9
0	25799	9
0	1	3
1	1	3
0	28100	9
0	28100	9
0	1	3
1	1	3

simplify120.0ms

Counts

110 → 110

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	5637	1743

prune108.0ms

Filtered

77 candidates to 110 candidates (-42.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	100	10	110
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	104	17	121

Merged error: 11.4b

Counts

121 → 17

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

198×	`times-frac_binary64_1772`
191×	`*-un-lft-identity_binary64_1777`
151×	`add-sqr-sqrt_binary64_1762`
85×	`add-cube-cbrt_binary64_1748`
40×	`difference-of-squares_binary64_1806`
25×	`distribute-lft-out_binary64_1821`
19×	`associate-/r*_binary64_1840`
18×	`distribute-lft-out--_binary64_1822`
10×	`associate-/l*_binary64_1841` `add-cbrt-cube_binary64_1749` `add-exp-log_binary64_1741`
9×	`div-inv_binary64_1778`
5×	`add-log-exp_binary64_1742`
4×	`cbrt-undiv_binary64_1747` `div-exp_binary64_1726` `associate-/l/_binary64_1843`
3×	`pow1_binary64_1719`
2×	`flip3--_binary64_1776` `div-sub_binary64_1771` `clear-num_binary64_1780` `frac-2neg_binary64_1770` `flip--_binary64_1803`
1×	`diff-log_binary64_1688` `sub-neg_binary64_1781` `flip-+_binary64_1802` `flip3-+_binary64_1775` `associate-/r/_binary64_1842` `associate--r-_binary64_1835`

Counts

3 → 188

Calls

3 calls:

7.0ms	(/.f64 (+.f64 y 1) y)
18.0ms	(/.f64 (-.f64 1 x) (/.f64 (+.f64 y 1) y))
42.0ms	(-.f64 1 (/.f64 (-.f64 1 x) (/.f64 (+.f64 y 1) y)))

series4.0s

Counts

3 → 9

Calls

3 calls:

1.4s	(/.f64 (+.f64 y 1) y)
1.1s	(/.f64 (-.f64 1 x) (/.f64 (+.f64 y 1) y))
1.5s	(-.f64 1 (/.f64 (-.f64 1 x) (/.f64 (+.f64 y 1) y)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	15008	9
1	15008	9
0	15008	9
1	15008	9
0	1	3
1	1	3
0	34784	9
0	34784	9
0	1	3
1	1	3
0	26290	9
0	26290	9
0	1	3
1	1	3

simplify129.0ms

Counts

197 → 197

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5601	4632

prune149.0ms

Filtered

121 candidates to 197 candidates (-62.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	194	3	197
Fresh	8	8	16
Picked	1	0	1
Done	0	0	0
Total	203	11	214

Merged error: 6.9b

Counts

214 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

122×	`times-frac_binary64_1772`
115×	`*-un-lft-identity_binary64_1777`
79×	`add-sqr-sqrt_binary64_1762`
71×	`add-cube-cbrt_binary64_1748`
23×	`associate-/r*_binary64_1840`
20×	`distribute-lft-out_binary64_1821`
13×	`add-cbrt-cube_binary64_1749` `add-exp-log_binary64_1741`
10×	`associate-/l*_binary64_1841`
7×	`div-inv_binary64_1778`
6×	`add-log-exp_binary64_1742`
5×	`cbrt-undiv_binary64_1747` `div-exp_binary64_1726`
4×	`pow1_binary64_1719` `difference-of-squares_binary64_1806`
3×	`clear-num_binary64_1780` `frac-2neg_binary64_1770` `associate-/r/_binary64_1842`
2×	`flip-+_binary64_1802` `flip3-+_binary64_1775` `associate-/l/_binary64_1843`
1×	`flip3--_binary64_1776` `diff-log_binary64_1688` `sub-neg_binary64_1781` `distribute-lft-out--_binary64_1822` `flip--_binary64_1803`

Counts

4 → 164

Calls

4 calls:

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

series6.5s

Counts

4 → 12

Calls

4 calls:

1.5s	(/.f64 y (+.f64 1 y))
1.5s	(/.f64 (+.f64 y 1) y)
792.0ms	(/.f64 x (/.f64 (+.f64 y 1) y))
2.7s	(-.f64 1 (/.f64 y (+.f64 1 y)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	20097	9
1	20097	9
0	20097	9
1	20097	9
0	1	3
1	1	3
0	34063	9
0	34063	9
0	1	3
1	1	3
0	26290	9
0	26290	9
0	1	3
1	1	3
0	35186	9
0	35186	9
0	1	3
1	1	3

simplify110.0ms

Counts

176 → 176

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4975	2864
1	4975	2864

prune160.0ms

Filtered

126 candidates to 176 candidates (-39.7%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	170	6	176
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	170	17	187

Merged error: 6.9b

Counts

187 → 17

regimes110.0ms

Accuracy

0% (0.2b remaining)

Error of 7.7b against oracle of 7.5b and baseline of 7.7b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	30	22
1	30	22

end0.0ms

sample498.0ms

Algorithm

intervals

Results

180.0ms	6076×	body	80	valid
76.0ms	704×	body	640	valid
53.0ms	381×	body	1280	valid
41.0ms	525×	body	320	valid
17.0ms	314×	body	160	valid

Details

analyze71.0ms

sample17.0ms

simplify535.0ms

prune2.0ms

localize7.0ms

rewrite34.0ms

series981.0ms

simplify86.0ms

prune77.0ms

localize7.0ms

rewrite34.0ms

series1.7s

simplify120.0ms

prune108.0ms

localize7.0ms

rewrite80.0ms

series4.0s

simplify129.0ms

prune149.0ms

localize9.0ms

rewrite47.0ms

series6.5s

simplify110.0ms

prune160.0ms

regimes110.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample498.0ms

Profiling