Details

analyze5.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

sample92.0ms

Algorithm

intervals

Results

51.0ms	106×	body	1280	valid
26.0ms	92×	body	640	valid
7.0ms	38×	body	320	valid
2.0ms	17×	body	160	valid
0.0ms	3×	body	80	valid

simplify47.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	451	15
1	451	15

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 59.5b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
4.9b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`
18×	`difference-of-squares_binary64`
13×	`distribute-lft-out_binary64`
9×	`distribute-lft-out--_binary64`
7×	`add-exp-log_binary64`
6×	`associate-/r*_binary64`
4×	`add-cbrt-cube_binary64` `associate-/r/_binary64` `associate-/l*_binary64`
3×	`pow1_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `flip3--_binary64` `rem-log-exp_binary64` `div-inv_binary64` `div-exp_binary64` `insert-posit16` `flip--_binary64`
1×	`flip3-+_binary64` `cbrt-undiv_binary64` `log-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `log-div_binary64` `flip-+_binary64`

Counts

2 → 93

Calls

2 calls:

11.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
10.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

series839.0ms

Counts

2 → 6

Calls

2 calls:

381.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
457.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	392	803
1	392	803
0	6243	569
0	392	803
1	392	803
0	6243	569
0	4971	60
1	4971	60
0	333	543
1	333	543
0	18	9
1	18	9
0	333	543
1	333	543
0	18	9
1	18	9
0	5063	42

simplify113.0ms

Counts

99 → 99

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5307	1920

prune82.0ms

Filtered

63 candidates to 99 candidates (-57.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	3	100

Merged error: 0.1b

Counts

100 → 3

localize9.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify20.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.1b

Counts

3 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x)))
4.9b	(log.f64 (-.f64 1 x))
4.9b	(log.f64 (+.f64 1 x))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
20×	`log-prod_binary64`
15×	`add-sqr-sqrt_binary64`
9×	`pow1_binary64`
8×	`log-div_binary64`
7×	`add-cube-cbrt_binary64`
6×	`associate--r+_binary64` `log-pow_binary64` `distribute-lft-out--_binary64`
5×	`add-exp-log_binary64` `difference-of-squares_binary64`
4×	`associate--l+_binary64`
3×	`add-log-exp_binary64` `flip3--_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip--_binary64`
2×	`flip3-+_binary64` `associate--l-_binary64` `distribute-lft-out_binary64` `associate--r-_binary64` `rem-log-exp_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `diff-log_binary64`

Counts

3 → 65

Calls

3 calls:

12.0ms	(-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x)))
4.0ms	(log.f64 (-.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))

series902.0ms

Counts

3 → 9

Calls

3 calls:

329.0ms	(-.f64 (log.f64 (+.f64 1 x)) (log.f64 (-.f64 1 x)))
275.0ms	(log.f64 (-.f64 1 x))
297.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	205	171
1	205	171
0	8	15
1	8	15
0	205	171
1	205	171
0	8	15
1	8	15
0	4892	45
1	4892	45
0	205	171
1	205	171
0	13	15
1	13	15
0	205	171
1	205	171
0	13	15
1	13	15
0	4828	52
1	4828	52
0	311	342
1	311	342
0	12	9
1	12	9
0	311	342
1	311	342
0	12	9
1	12	9
0	4967	36
1	4967	36

simplify227.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (204.0ms)

Iter	Nodes	Cost
0	4858	1035
1	4858	1035

prune60.0ms

Filtered

57 candidates to 74 candidates (-29.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	74	3	77

Merged error: 0.0b

Counts

77 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 1 x)))
2.7b	(log.f64 (-.f64 1 (*.f64 x x)))
4.9b	(log.f64 (+.f64 1 x))
4.9b	(log.f64 (+.f64 1 x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod_binary64`
21×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`pow1_binary64`
10×	`log-div_binary64`
9×	`add-cube-cbrt_binary64`
7×	`log-pow_binary64` `add-exp-log_binary64`
5×	`difference-of-squares_binary64` `associate--l+_binary64`
4×	`add-log-exp_binary64` `associate--r+_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `insert-posit16`
3×	`flip3-+_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `rem-log-exp_binary64` `flip--_binary64` `flip-+_binary64`
2×	`associate--l-_binary64` `associate--r-_binary64`
1×	`sub-neg_binary64` `diff-log_binary64`

Counts

4 → 79

Calls

4 calls:

12.0ms	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 1 x)))
4.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
4.0ms	(log.f64 (+.f64 1 x))
6.0ms	(log.f64 (+.f64 1 x))

series1.3s

Counts

4 → 12

Calls

4 calls:

379.0ms	(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (+.f64 1 x)))
356.0ms	(log.f64 (-.f64 1 (*.f64 x x)))
290.0ms	(log.f64 (+.f64 1 x))
288.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (9.0ms)

Iter	Nodes	Cost
0	205	171
1	205	171
0	8	15
1	8	15
0	205	171
1	205	171
0	8	15
1	8	15
0	4892	45
1	4892	45
0	205	171
1	205	171
0	8	15
1	8	15
0	205	171
1	205	171
0	8	15
1	8	15
0	4892	45
1	4892	45
0	267	423
1	267	423
0	17	15
1	17	15
0	267	423
1	267	423
0	17	15
1	17	15
0	5011	48
0	361	594
1	361	594
0	16	9
1	16	9
0	361	594
1	361	594
0	16	9
1	16	9
0	4988	42
1	4988	42

simplify251.0ms

Counts

91 → 91

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	4770	1360
1	4770	1360

prune91.0ms

Filtered

72 candidates to 91 candidates (-26.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	91	3	94

Merged error: 0.0b

Counts

94 → 3

regimes10.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b and baseline of 0.6b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	21
1	18	21

end0.0ms

sample2.8s

Algorithm

intervals

Results

1.6s	3380×	body	1280	valid
703.0ms	2493×	body	640	valid
219.0ms	1252×	body	320	valid
72.0ms	676×	body	160	valid
12.0ms	199×	body	80	valid

Details

analyze5.0ms

sample92.0ms

simplify47.0ms

prune3.0ms

localize7.0ms

rewrite25.0ms

series839.0ms

simplify113.0ms

prune82.0ms

localize9.0ms

rewrite0.0ms

series0.0ms

simplify20.0ms

prune3.0ms

localize7.0ms

rewrite23.0ms

series902.0ms

simplify227.0ms

prune60.0ms

localize10.0ms

rewrite28.0ms

series1.3s

simplify251.0ms

prune91.0ms

regimes10.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample2.8s

Profiling