Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample32.0ms

Algorithm

intervals

Results

15.0ms	256×	pre	80	true
6.0ms	256×	body	80	valid

simplify24.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	186	13
1	186	13

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.2b	(+.f64 (+.f64 (+.f64 e d) c) b)
0.2b	(+.f64 (+.f64 e d) c)
0.3b	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-log-exp_binary64_1742` `*-un-lft-identity_binary64_1777`
19×	`sum-log_binary64_1687` `distribute-lft-out_binary64_1821`
3×	`add-sqr-sqrt_binary64_1762` `add-cbrt-cube_binary64_1749` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `flip-+_binary64_1802` `associate-+l+_binary64_1829` `flip3-+_binary64_1775` `+-commutative_binary64_1844` `add-exp-log_binary64_1741`

Counts

3 → 51

Calls

3 calls:

12.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
8.0ms	(+.f64 (+.f64 e d) c)
17.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

series229.0ms

Counts

3 → 9

Calls

3 calls:

71.0ms	(+.f64 (+.f64 (+.f64 e d) c) b)
61.0ms	(+.f64 (+.f64 e d) c)
97.0ms	(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	1392	9
1	1392	9
0	1392	9
1	1392	9
0	1	3
1	1	3
0	154	9
1	154	9
0	154	9
1	154	9
0	1	3
1	1	3
0	467	9
1	467	9
0	467	9
1	467	9
0	1	3
1	1	3

simplify97.0ms

Counts

60 → 60

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5476	747

prune52.0ms

Filtered

38 candidates to 60 candidates (-57.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	51	9	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	52	9	61

Merged error: 0.0b

Counts

61 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(+.f64 (+.f64 e d) (+.f64 b c))
0.3b	(+.f64 (+.f64 (+.f64 e d) (+.f64 b c)) a)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-log-exp_binary64_1742` `*-un-lft-identity_binary64_1777`
21×	`sum-log_binary64_1687` `distribute-lft-out_binary64_1821`
6×	`flip-+_binary64_1802` `flip3-+_binary64_1775`
4×	`frac-add_binary64_1767`
2×	`add-sqr-sqrt_binary64_1762` `add-cbrt-cube_binary64_1749` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `associate-+l+_binary64_1829` `+-commutative_binary64_1844` `add-exp-log_binary64_1741`
1×	`associate-+r+_binary64_1828`

Counts

2 → 45

Calls

2 calls:

11.0ms	(+.f64 (+.f64 e d) (+.f64 b c))
18.0ms	(+.f64 (+.f64 (+.f64 e d) (+.f64 b c)) a)

series155.0ms

Counts

2 → 6

Calls

2 calls:

65.0ms	(+.f64 (+.f64 e d) (+.f64 b c))
89.0ms	(+.f64 (+.f64 (+.f64 e d) (+.f64 b c)) a)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	1336	9
1	1336	9
0	1336	9
1	1336	9
0	1	3
1	1	3
0	398	9
1	398	9
0	398	9
1	398	9
0	1	3
1	1	3

simplify99.0ms

Counts

51 → 51

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5927	868

prune36.0ms

Filtered

31 candidates to 51 candidates (-64.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	5	3	8
Picked	1	0	1
Done	0	0	0
Total	53	7	60

Merged error: 0.0b

Counts

60 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(+.f64 (+.f64 e d) (+.f64 (+.f64 b c) a))
0.2b	(+.f64 (+.f64 b c) a)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-log-exp_binary64_1742` `*-un-lft-identity_binary64_1777`
18×	`sum-log_binary64_1687` `distribute-lft-out_binary64_1821`
6×	`flip-+_binary64_1802` `flip3-+_binary64_1775`
4×	`frac-add_binary64_1767`
2×	`add-sqr-sqrt_binary64_1762` `add-cbrt-cube_binary64_1749` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `associate-+l+_binary64_1829` `+-commutative_binary64_1844` `add-exp-log_binary64_1741`
1×	`associate-+r+_binary64_1828`

Counts

2 → 43

Calls

2 calls:

17.0ms	(+.f64 (+.f64 e d) (+.f64 (+.f64 b c) a))
8.0ms	(+.f64 (+.f64 b c) a)

series148.0ms

Counts

2 → 6

Calls

2 calls:

89.0ms	(+.f64 (+.f64 e d) (+.f64 (+.f64 b c) a))
59.0ms	(+.f64 (+.f64 b c) a)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	154	9
1	154	9
0	154	9
1	154	9
0	1	3
1	1	3
0	1112	9
1	1112	9
0	1112	9
1	1112	9
0	1	3
1	1	3

simplify89.0ms

Counts

49 → 49

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5031	849

prune34.0ms

Filtered

31 candidates to 49 candidates (-58.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	50	6	56

Merged error: 0b

Counts

56 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

0.2b	(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
0.2b	(+.f64 (+.f64 a (+.f64 c b)) d)
0.2b	(+.f64 a (+.f64 c b))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-log-exp_binary64_1742` `*-un-lft-identity_binary64_1777`
19×	`sum-log_binary64_1687` `distribute-lft-out_binary64_1821`
3×	`add-sqr-sqrt_binary64_1762` `add-cbrt-cube_binary64_1749` `add-cube-cbrt_binary64_1748` `pow1_binary64_1719` `flip-+_binary64_1802` `flip3-+_binary64_1775` `+-commutative_binary64_1844` `add-exp-log_binary64_1741`
2×	`associate-+r+_binary64_1828`
1×	`associate-+l+_binary64_1829`

Counts

3 → 51

Calls

3 calls:

15.0ms	(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
11.0ms	(+.f64 (+.f64 a (+.f64 c b)) d)
8.0ms	(+.f64 a (+.f64 c b))

series228.0ms

Counts

3 → 9

Calls

3 calls:

99.0ms	(+.f64 e (+.f64 (+.f64 a (+.f64 c b)) d))
69.0ms	(+.f64 (+.f64 a (+.f64 c b)) d)
60.0ms	(+.f64 a (+.f64 c b))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	154	9
1	154	9
0	154	9
1	154	9
0	1	3
1	1	3
0	467	9
1	467	9
0	467	9
1	467	9
0	1	3
1	1	3
0	1392	9
1	1392	9
0	1392	9
1	1392	9
0	1	3
1	1	3

simplify98.0ms

Counts

60 → 60

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5111	756

prune31.0ms

Filtered

38 candidates to 60 candidates (-57.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	59	1	60
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	61	5	66

Merged error: 0b

Counts

66 → 5

regimes111.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	14	13
1	14	13

end0.0ms

sample802.0ms

Algorithm

intervals

Results

356.0ms	8000×	pre	80	true
210.0ms	8000×	body	80	valid

Details

analyze4.0ms

sample32.0ms

simplify24.0ms

prune2.0ms

localize8.0ms

rewrite40.0ms

series229.0ms

simplify97.0ms

prune52.0ms

localize8.0ms

rewrite32.0ms

series155.0ms

simplify99.0ms

prune36.0ms

localize8.0ms

rewrite30.0ms

series148.0ms

simplify89.0ms

prune34.0ms

localize8.0ms

rewrite36.0ms

series228.0ms

simplify98.0ms

prune31.0ms

regimes111.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample802.0ms

Profiling