Details

analyze3.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

sample55.0ms

Algorithm

intervals

Results

30.0ms	65×	body	1280	valid
13.0ms	57×	body	640	valid
3.0ms	27×	body	320	valid
2.0ms	88×	body	80	valid
1.0ms	19×	body	160	valid

simplify19.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: 39.3b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

4×	`log-prod_binary64_1601` `*-un-lft-identity_binary64_1687`
2×	`add-sqr-sqrt_binary64_1672` `add-cube-cbrt_binary64_1658` `pow1_binary64_1629` `log-div_binary64_1602` `add-exp-log_binary64_1651`
1×	`distribute-lft-out_binary64_1731` `add-log-exp_binary64_1652` `flip3-+_binary64_1685` `add-cbrt-cube_binary64_1659` `flip-+_binary64_1712` `rem-log-exp_binary64_1650` `log-pow_binary64_1604`

Counts

1 → 15

Calls

1 calls:

4.0ms

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

series276.0ms

Counts

1 → 3

Calls

1 calls:

276.0ms

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

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	1	3
1	1	3

simplify141.0ms

Counts

18 → 18

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	4896	161
1	4896	161

prune15.0ms

Filtered

12 candidates to 18 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	14	4	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	5	19

Merged error: 39.3b

Counts

19 → 5

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64_1687`
16×	`sqrt-prod_binary64_1666`
14×	`log-prod_binary64_1601`
12×	`add-sqr-sqrt_binary64_1672`
10×	`add-cube-cbrt_binary64_1658` `pow1_binary64_1629`
8×	`sqrt-div_binary64_1667`
6×	`add-exp-log_binary64_1651` `log-pow_binary64_1604`
4×	`distribute-lft-out_binary64_1731` `pow1/2_binary64_1619` `add-log-exp_binary64_1652` `flip3-+_binary64_1685` `add-cbrt-cube_binary64_1659` `flip-+_binary64_1712` `sqrt-pow1_binary64_1668` `log-div_binary64_1602`
2×	`rem-sqrt-square_binary64_1675` `rem-log-exp_binary64_1650`

Counts

4 → 72

Calls

4 calls:

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

series933.0ms

Counts

4 → 12

Calls

4 calls:

224.0ms	(sqrt.f64 (+.f64 1 x))
222.0ms	(sqrt.f64 (+.f64 1 x))
244.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))
243.0ms	(log.f64 (sqrt.f64 (+.f64 1 x)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	173	1502
1	173	1502
0	4817	1152
1	4817	1152
0	173	1502
1	173	1502
0	4817	1152
1	4817	1152
0	1	3
1	1	3
0	173	1502
1	173	1502
0	4817	1152
1	4817	1152
0	173	1502
1	173	1502
0	4817	1152
1	4817	1152
0	1	3
1	1	3
0	137	1388
1	137	1388
0	5205	1150
0	137	1388
1	137	1388
0	5205	1150
0	1	3
1	1	3
0	137	1388
1	137	1388
0	5205	1150
0	137	1388
1	137	1388
0	5205	1150
0	1	3
1	1	3

simplify139.0ms

Counts

84 → 84

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4753	822
1	4753	822

prune64.0ms

Filtered

56 candidates to 84 candidates (-50.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	82	7	89

Merged error: 39.3b

Counts

89 → 7

localize6.0ms

Local error

Found 3 expressions with local error:

0.2b	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
0.3b	(pow.f64 (log.f64 (+.f64 1 x)) 3)
4.9b	(log.f64 (+.f64 1 x))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_1654`
12×	`*-un-lft-identity_binary64_1687`
10×	`add-sqr-sqrt_binary64_1672` `add-cube-cbrt_binary64_1658`
9×	`pow1_binary64_1629`
8×	`cube-prod_binary64_1660` `unpow-prod-down_binary64_1618`
5×	`add-exp-log_binary64_1651` `log-pow_binary64_1604`
4×	`log-prod_binary64_1601` `add-cbrt-cube_binary64_1659`
3×	`add-log-exp_binary64_1652` `pow-unpow_binary64_1616`
2×	`sqr-pow_binary64_1719` `unpow3_binary64_1627` `log-div_binary64_1602` `cube-mult_binary64_1662`
1×	`rem-cbrt-cube_binary64_1664` `distribute-lft-out_binary64_1731` `flip3-+_binary64_1685` `flip-+_binary64_1712` `rem-cube-cbrt_binary64_1663` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608` `rem-log-exp_binary64_1650` `pow1/3_binary64_1621` `pow-pow_binary64_1611`

Counts

3 → 63

Calls

3 calls:

3.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
3.0ms	(pow.f64 (log.f64 (+.f64 1 x)) 3)
4.0ms	(log.f64 (+.f64 1 x))

series822.0ms

Counts

3 → 9

Calls

3 calls:

298.0ms	(cbrt.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3))
247.0ms	(pow.f64 (log.f64 (+.f64 1 x)) 3)
277.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	1	3
1	1	3
0	195	1674
1	195	1674
0	4915	1472
1	4915	1472
0	195	1674
1	195	1674
0	4915	1472
1	4915	1472
0	1	3
1	1	3
0	43	1986
1	43	1986
0	5082	1092
0	43	1986
1	43	1986
0	5082	1092
0	1	3
1	1	3

simplify122.0ms

Counts

72 → 72

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4867	696
1	4867	696

prune36.0ms

Filtered

35 candidates to 72 candidates (-105.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	72	7	79

Merged error: 39.3b

Counts

79 → 7

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt.f64 (log.f64 (+.f64 1 x)))
0.2b	(pow.f64 (cbrt.f64 (log.f64 (+.f64 1 x))) 2)
4.9b	(log.f64 (+.f64 1 x))
4.9b	(log.f64 (+.f64 1 x))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity_binary64_1687`
10×	`add-sqr-sqrt_binary64_1672` `add-cube-cbrt_binary64_1658`
9×	`pow1_binary64_1629`
8×	`log-prod_binary64_1601` `cbrt-prod_binary64_1654`
7×	`unpow-prod-down_binary64_1618` `add-exp-log_binary64_1651`
4×	`add-log-exp_binary64_1652` `add-cbrt-cube_binary64_1659` `log-div_binary64_1602` `log-pow_binary64_1604`
3×	`pow-unpow_binary64_1616`
2×	`distribute-lft-out_binary64_1731` `flip3-+_binary64_1685` `flip-+_binary64_1712` `rem-log-exp_binary64_1650` `pow1/3_binary64_1621` `pow-pow_binary64_1611`
1×	`sqr-pow_binary64_1719` `unpow2_binary64_1626` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608`

Counts

4 → 65

Calls

4 calls:

1.0ms	(cbrt.f64 (log.f64 (+.f64 1 x)))
3.0ms	(pow.f64 (cbrt.f64 (log.f64 (+.f64 1 x))) 2)
4.0ms	(log.f64 (+.f64 1 x))
4.0ms	(log.f64 (+.f64 1 x))

series798.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(cbrt.f64 (log.f64 (+.f64 1 x)))
157.0ms	(pow.f64 (cbrt.f64 (log.f64 (+.f64 1 x))) 2)
277.0ms	(log.f64 (+.f64 1 x))
274.0ms	(log.f64 (+.f64 1 x))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	1	3
1	1	3
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	121	1308
1	121	1308
0	4795	1058
1	4795	1058
0	1	3
1	1	3
0	129	1986
1	129	1986
0	5349	1971
0	129	1986
1	129	1986
0	5349	1971
0	1	3
1	1	3
0	39	1959
1	39	1959
0	51	1944
1	51	1944
0	39	1959
1	39	1959
0	51	1944
1	51	1944
0	1	3
1	1	3

simplify172.0ms

Counts

77 → 77

Iterations

Useful iterations: 0 (150.0ms)

Iter	Nodes	Cost
0	4902	760
1	4902	760

prune61.0ms

Filtered

51 candidates to 77 candidates (-51.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	74	3	77
Fresh	2	3	5
Picked	1	0	1
Done	0	1	1
Total	77	7	84

Merged error: 39.3b

Counts

84 → 7

regimes47.0ms

Accuracy

0% (0.0b remaining)

Error of 39.5b against oracle of 39.4b and baseline of 39.5b

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	6
1	8	6

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.0s	2274×	body	1280	valid
386.0ms	1668×	body	640	valid
102.0ms	856×	body	320	valid
71.0ms	2763×	body	80	valid
31.0ms	439×	body	160	valid

Details

analyze3.0ms

sample55.0ms

simplify19.0ms

prune1.0ms

localize6.0ms

rewrite4.0ms

series276.0ms

simplify141.0ms

prune15.0ms

localize6.0ms

rewrite21.0ms

series933.0ms

simplify139.0ms

prune64.0ms

localize6.0ms

rewrite12.0ms

series822.0ms

simplify122.0ms

prune36.0ms

localize8.0ms

rewrite15.0ms

series798.0ms

simplify172.0ms

prune61.0ms

regimes47.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.8s

Profiling