Details

analyze8.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

sample61.0ms

Algorithm

intervals

Results

36.0ms	73×	body	1280	valid
13.0ms	55×	body	640	valid
3.0ms	24×	body	320	valid
3.0ms	91×	body	80	valid
1.0ms	13×	body	160	valid

simplify20.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	8	6
1	8	6

prune1.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: 38.6b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

3.6b	(log.f64 (+.f64 1 x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_1777` `log-prod_binary64_1691`
2×	`add-sqr-sqrt_binary64_1762` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `log-div_binary64_1692` `add-exp-log_binary64_1741`
1×	`add-cbrt-cube_binary64_1749` `flip-+_binary64_1802` `rem-log-exp_binary64_1740` `add-log-exp_binary64_1742` `log-pow_binary64_1694` `flip3-+_binary64_1775` `distribute-lft-out_binary64_1821`

Counts

1 → 15

Calls

1 calls:

4.0ms

(log.f64 (+.f64 1 x))

series350.0ms

Counts

1 → 3

Calls

1 calls:

350.0ms

(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3

simplify152.0ms

Counts

18 → 18

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	4886	161
1	4886	161

prune17.0ms

Filtered

12 candidates to 18 candidates (-50.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	15	3	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	4	19

Merged error: 38.6b

Counts

19 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (log.f64 (+.f64 1 x)))
3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_1777`
12×	`log-prod_binary64_1691`
8×	`add-sqr-sqrt_binary64_1762` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719`
7×	`add-exp-log_binary64_1741`
6×	`log-div_binary64_1692`
4×	`cbrt-prod_binary64_1744` `add-cbrt-cube_binary64_1749` `add-log-exp_binary64_1742` `log-pow_binary64_1694`
3×	`flip-+_binary64_1802` `rem-log-exp_binary64_1740` `flip3-+_binary64_1775` `distribute-lft-out_binary64_1821`
1×	`pow1/3_binary64_1711`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt.f64 (log.f64 (+.f64 1 x)))
7.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))

series1.1s

Counts

4 → 12

Calls

4 calls:

46.0ms	(cbrt.f64 (log.f64 (+.f64 1 x)))
361.0ms	(log.f64 (+.f64 1 x))
358.0ms	(log.f64 (+.f64 1 x))
349.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	32	9
1	32	9
0	32	9
1	32	9
0	1	3
1	1	3

simplify102.0ms

Counts

69 → 69

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5024	608

prune71.0ms

Filtered

47 candidates to 69 candidates (-46.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	3	69
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	68	5	73

Merged error: 38.6b

Counts

73 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_1777` `log-prod_binary64_1691`
8×	`add-sqr-sqrt_binary64_1762` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `log-div_binary64_1692` `add-exp-log_binary64_1741`
4×	`add-cbrt-cube_binary64_1749` `flip-+_binary64_1802` `rem-log-exp_binary64_1740` `add-log-exp_binary64_1742` `log-pow_binary64_1694` `flip3-+_binary64_1775` `distribute-lft-out_binary64_1821`

Counts

4 → 60

Calls

4 calls:

4.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))
5.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))

series1.4s

Counts

4 → 12

Calls

4 calls:

345.0ms	(log.f64 (+.f64 1 x))
375.0ms	(log.f64 (+.f64 1 x))
361.0ms	(log.f64 (+.f64 1 x))
368.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3

simplify158.0ms

Counts

72 → 72

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	4886	644
1	4886	644

prune95.0ms

Filtered

48 candidates to 72 candidates (-50.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	69	3	72
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	70	7	77

Merged error: 38.6b

Counts

77 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

3.6b	(log.f64 (+.f64 1 x))
3.6b	(log.f64 (+.f64 1 x))
3.7b	(log.f64 (sqrt.f64 (+.f64 1 x)))
3.7b	(log.f64 (sqrt.f64 (+.f64 1 x)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod_binary64_1691`
18×	`*-un-lft-identity_binary64_1777`
10×	`add-sqr-sqrt_binary64_1762` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719`
8×	`sqrt-prod_binary64_1756` `log-pow_binary64_1694` `log-div_binary64_1692` `add-exp-log_binary64_1741`
4×	`add-cbrt-cube_binary64_1749` `flip-+_binary64_1802` `rem-log-exp_binary64_1740` `add-log-exp_binary64_1742` `flip3-+_binary64_1775` `distribute-lft-out_binary64_1821` `sqrt-div_binary64_1757`
2×	`pow1/2_binary64_1709` `sqrt-pow1_binary64_1758`

Counts

4 → 70

Calls

4 calls:

4.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))
5.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))

series1.5s

Counts

4 → 12

Calls

4 calls:

365.0ms	(log.f64 (+.f64 1 x))
365.0ms	(log.f64 (+.f64 1 x))
381.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))
379.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	4365	9
1	4365	9
0	4365	9
1	4365	9
0	1	3
1	1	3
0	4365	9
1	4365	9
0	4365	9
1	4365	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3
0	4415	9
1	4415	9
0	4415	9
1	4415	9
0	1	3
1	1	3

simplify167.0ms

Counts

82 → 82

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4810	846
1	4810	846

prune126.0ms

Filtered

54 candidates to 82 candidates (-51.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	81	8	89

Merged error: 38.6b

Counts

89 → 8

regimes70.0ms

Accuracy

0% (0.1b remaining)

Error of 39.3b against oracle of 39.2b and baseline of 39.3b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	6
1	8	6

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.1s	2353×	body	1280	valid
384.0ms	1632×	body	640	valid
101.0ms	813×	body	320	valid
81.0ms	2774×	body	80	valid
32.0ms	428×	body	160	valid

Details

analyze8.0ms

sample61.0ms

simplify20.0ms

prune1.0ms

localize4.0ms

rewrite5.0ms

series350.0ms

simplify152.0ms

prune17.0ms

localize8.0ms

rewrite18.0ms

series1.1s

simplify102.0ms

prune71.0ms

localize16.0ms

rewrite20.0ms

series1.4s

simplify158.0ms

prune95.0ms

localize16.0ms

rewrite21.0ms

series1.5s

simplify167.0ms

prune126.0ms

regimes70.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.9s

Profiling