Details

analyze15.0ms

Algorithm

Search

True	Other	False	Iter
0%	23.7%	76.3%	0
0%	23.7%	76.3%	1
11.9%	11.9%	76.3%	2
17.8%	5.9%	76.3%	3
20.8%	3%	76.3%	4
22.2%	1.5%	76.3%	5
23%	0.7%	76.3%	6
23.3%	0.4%	76.3%	7
23.3%	0.4%	76.3%	8
23.4%	0.3%	76.3%	9
23.5%	0.2%	76.3%	10
23.5%	0.2%	76.3%	11
23.5%	0.2%	76.3%	12
23.6%	0.2%	76.3%	13
23.6%	0.1%	76.3%	14

sample88.0ms

Algorithm

intervals

Results

51.0ms	131×	body	1280	valid
20.0ms	79×	body	640	valid
6.0ms	32×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	14×	body	160	valid

simplify216.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (202.0ms)

Iter	Nodes	Cost
0	5239	23

prune5.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: 63.0b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b	(*.f64 n (log.f64 n))
0.3b	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
4.8b	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

28×	`log-prod_binary64`
25×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64`
14×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
9×	`pow1_binary64`
8×	`associate-r_binary64` `associate--l+_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
6×	`associate--r+_binary64`
5×	`add-log-exp_binary64` `distribute-lft-out_binary64`
3×	`insert-posit16`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `log-pow_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64` `flip-+_binary64`

Counts

3 → 83

Calls

3 calls:

5.0ms	(*.f64 n (log.f64 n))
11.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
13.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

series1.7s

Counts

3 → 9

Calls

3 calls:

594.0ms	(*.f64 n (log.f64 n))
495.0ms	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
577.0ms	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	703	1412
1	703	1412
0	5022	949
0	703	1412
1	703	1412
0	5022	949
0	5167	14
0	505	980
1	505	980
0	5010	619
0	505	980
1	505	980
0	5010	619
0	5167	14
0	467	884
1	467	884
0	4902	418
1	4902	418
0	467	884
1	467	884
0	4902	418
1	4902	418
0	5096	14

simplify103.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5058	1465

prune105.0ms

Filtered

63 candidates to 92 candidates (-46.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	78	14	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	14	93

Merged error: 60.6b

Counts

93 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

1.2b	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
1.2b	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
1.2b	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
39.4b	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (.f64 n (log.f64 n)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-div_binary64` `-un-lft-identity_binary64` `add-log-exp_binary64` `associate--r+_binary64` `log-prod_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-l/_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`flip3-+_binary64` `pow1/3_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `cbrt-prod_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 54

Calls

4 calls:

6.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
6.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
6.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
20.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (.f64 n (log.f64 n)))

series1.9s

Counts

4 → 12

Calls

4 calls:

458.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
460.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
468.0ms	(cbrt.f64 (*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))
486.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (cbrt.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (136.0ms)

Iter	Nodes	Cost
0	729	2278
1	729	2278
0	273	27
1	273	27
0	729	2278
1	729	2278
0	273	27
1	273	27
0	5553	54
0	68	1738
1	68	1738
0	5049	1718
0	68	1738
1	68	1738
0	5049	1718
0	5168	16
0	68	1738
1	68	1738
0	5049	1718
0	68	1738
1	68	1738
0	5049	1718
0	5168	16
0	68	1738
1	68	1738
0	5049	1718
0	68	1738
1	68	1738
0	5049	1718
0	5168	16

simplify206.0ms

Counts

66 → 66

Iterations

Useful iterations: 0 (180.0ms)

Iter	Nodes	Cost
0	4814	1202
1	4814	1202

prune119.0ms

Filtered

58 candidates to 66 candidates (-13.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	65	15	80

Merged error: 60.6b

Counts

80 → 15

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (log.f64 (+.f64 n 1)))
0.5b	(cbrt.f64 (log.f64 (+.f64 n 1)))
0.5b	(cbrt.f64 (log.f64 (+.f64 n 1)))
42.8b	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (log.f64 (+.f64 n 1)))) (.f64 n (log.f64 n)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate--r+_binary64` `log-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`pow1/3_binary64` `log-pow_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
1.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
1.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
18.0ms	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (log.f64 (+.f64 n 1)))) (.f64 n (log.f64 n)))

series1.4s

Counts

4 → 12

Calls

4 calls:

266.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
267.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
265.0ms	(cbrt.f64 (log.f64 (+.f64 n 1)))
609.0ms	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (log.f64 (+.f64 n 1)))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (135.0ms)

Iter	Nodes	Cost
0	804	2112
1	804	2112
0	4982	1798
1	4982	1798
0	804	2112
1	804	2112
0	4982	1798
1	4982	1798
0	5167	14
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	5168	16
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	5168	16
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	59	1655
1	59	1655
0	60	1642
1	60	1642
0	5168	16

simplify124.0ms

Counts

69 → 69

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	4971	1006
1	4971	1006

prune105.0ms

Filtered

56 candidates to 69 candidates (-23.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	1	12	13
Picked	0	1	1
Done	0	1	1
Total	68	16	84

Merged error: 60.6b

Counts

84 → 16

localize19.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
0.5b	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
0.5b	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
45.3b	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-prod_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate--r+_binary64` `log-prod_binary64`
4×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`pow1/3_binary64` `log-pow_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 66

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
2.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
2.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
31.0ms	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

series1.6s

Counts

4 → 12

Calls

4 calls:

318.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
318.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
318.0ms	(cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))
636.0ms	(-.f64 (.f64 (.f64 (+.f64 n 1) (.f64 (cbrt.f64 (log.f64 (+.f64 n 1))) (cbrt.f64 (log.f64 (+.f64 n 1))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1))))) (cbrt.f64 (cbrt.f64 (log.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	1008	2404
1	1008	2404
0	5261	1843
0	1008	2404
1	1008	2404
0	5261	1843
0	5834	14
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	4980	18
1	4980	18
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	4980	18
1	4980	18
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	68	1673
1	68	1673
0	66	1660
1	66	1660
0	4980	18
1	4980	18

simplify152.0ms

Counts

78 → 78

Iterations

Useful iterations: 0 (122.0ms)

Iter	Nodes	Cost
0	4954	1306
1	4954	1306

prune136.0ms

Filtered

61 candidates to 78 candidates (-27.9%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	78	16	94

Merged error: 60.6b

Counts

94 → 16

regimes45.0ms

Accuracy

0% (1.4b remaining)

Error of 61.9b against oracle of 60.5b and baseline of 61.9b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	62	57
1	62	57

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.3s	3589×	body	1280	valid
661.0ms	2645×	body	640	valid
224.0ms	1313×	body	320	valid
88.0ms	8000×	pre	80	true
50.0ms	453×	body	160	valid

Details

analyze15.0ms

sample88.0ms

simplify216.0ms

prune5.0ms

localize10.0ms

rewrite33.0ms

series1.7s

simplify103.0ms

prune105.0ms

localize14.0ms

rewrite40.0ms

series1.9s

simplify206.0ms

prune119.0ms

localize15.0ms

rewrite24.0ms

series1.4s

simplify124.0ms

prune105.0ms

localize19.0ms

rewrite40.0ms

series1.6s

simplify152.0ms

prune136.0ms

regimes45.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample2.5s

Profiling