Details

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

sample77.0ms

Algorithm

intervals

Results

36.0ms	102×	body	1280	valid
24.0ms	100×	body	640	valid
7.0ms	44×	body	320	valid
3.0ms	256×	pre	80	true
1.0ms	10×	body	160	valid

simplify216.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (201.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 (+.f64 n 1) (log.f64 (+.f64 n 1)))
0.3b	(*.f64 n (log.f64 n))
3.7b	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

rewrite32.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:

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

series4.3s

Counts

3 → 9

Calls

3 calls:

1.9s	(*.f64 (+.f64 n 1) (log.f64 (+.f64 n 1)))
401.0ms	(*.f64 n (log.f64 n))
2.1s	(-.f64 (.f64 (+.f64 n 1) (log.f64 (+.f64 n 1))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	10963	1280
1	10963	1280
0	10963	1280
1	10963	1280
0	5006	14
0	805	818
1	805	818
0	805	818
1	805	818
0	4990	3
1	4990	3
0	10747	883
1	10747	883
0	10747	883
1	10747	883
0	5099	14

simplify99.0ms

Counts

92 → 92

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5330	1470

prune101.0ms

Filtered

64 candidates to 92 candidates (-43.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	80	12	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	12	93

Merged error: 60.5b

Counts

93 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64`
32×	`cbrt-prod_binary64`
24×	`add-sqr-sqrt_binary64`
16×	`cbrt-div_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`swap-sqr_binary64`
8×	`flip3-+_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `flip-+_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-log-exp_binary64` `associate--r+_binary64` `log-prod_binary64` `add-exp-log_binary64`
4×	`add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16` `frac-times_binary64`
3×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `flip--_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 102

Calls

4 calls:

4.0ms	(cbrt.f64 (+.f64 n 1))
4.0ms	(cbrt.f64 (+.f64 n 1))
14.0ms	(*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))
26.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))) (.f64 (log.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))) (.f64 n (log.f64 n)))

series2.9s

Counts

4 → 12

Calls

4 calls:

153.0ms	(cbrt.f64 (+.f64 n 1))
153.0ms	(cbrt.f64 (+.f64 n 1))
309.0ms	(*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))
2.2s	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))) (.f64 (log.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (139.0ms)

Iter	Nodes	Cost
0	11361	1983
1	11361	1983
0	11361	1983
1	11361	1983
0	5882	14
0	741	1653
1	741	1653
0	741	1653
1	741	1653
0	5547	17
0	60	1626
1	60	1626
0	60	1626
1	60	1626
0	5099	14
0	60	1626
1	60	1626
0	60	1626
1	60	1626
0	5099	14

simplify130.0ms

Counts

114 → 114

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	5415	1739

prune148.0ms

Filtered

83 candidates to 114 candidates (-37.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	110	4	114
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	112	14	126

Merged error: 60.5b

Counts

126 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))
0.5b	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
0.5b	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
42.6b	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (*.f64 n (log.f64 n)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

38×	`cbrt-prod_binary64`
36×	`*-un-lft-identity_binary64`
26×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64`
16×	`cbrt-div_binary64`
11×	`pow1_binary64`
9×	`swap-sqr_binary64`
8×	`flip3-+_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `sqrt-prod_binary64` `flip-+_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-log-exp_binary64` `associate--r+_binary64` `log-prod_binary64` `add-exp-log_binary64`
4×	`add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16` `frac-times_binary64` `sqrt-div_binary64`
3×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `flip--_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 108

Calls

4 calls:

12.0ms	(*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))
5.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
5.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
47.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (*.f64 n (log.f64 n)))

series3.1s

Counts

4 → 12

Calls

4 calls:

308.0ms	(*.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1)))
152.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
158.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
2.5s	(-.f64 (.f64 (.f64 (cbrt.f64 (+.f64 n 1)) (cbrt.f64 (+.f64 n 1))) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (*.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	11909	2026
1	11909	2026
0	11909	2026
1	11909	2026
0	5914	22
0	66	1642
1	66	1642
0	66	1642
1	66	1642
0	5099	14
0	66	1642
1	66	1642
0	66	1642
1	66	1642
0	5099	14
0	741	1653
1	741	1653
0	741	1653
1	741	1653
0	5547	17

simplify146.0ms

Counts

120 → 120

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4967	2494
1	4967	2494

prune206.0ms

Filtered

85 candidates to 120 candidates (-41.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	116	4	120
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	120	14	134

Merged error: 58.1b

Counts

134 → 14

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
0.8b	(pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4)
45.7b	(posit16->binary64 (binary64->posit16 (-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))))
49.7b	(-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
11×	`sqrt-prod_binary64` `cbrt-prod_binary64`
10×	`unpow-prod-down_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `associate--r+_binary64` `log-prod_binary64`
5×	`add-exp-log_binary64`
4×	`pow-pow_binary64` `add-cbrt-cube_binary64` `insert-posit16`
3×	`pow-unpow_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64`
2×	`cbrt-div_binary64` `distribute-lft-out_binary64` `pow1/3_binary64` `sqrt-pow1_binary64` `sqrt-div_binary64`
1×	`pow-to-exp_binary64` `flip3-+_binary64` `sub-neg_binary64` `pow1/2_binary64` `flip3--_binary64` `diff-log_binary64` `sqrt-pow2_binary64` `sqr-pow_binary64` `remove-posit16` `flip--_binary64` `flip-+_binary64` `pow-exp_binary64`

Counts

4 → 74

Calls

4 calls:

5.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
8.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4)
1.0ms	(posit16->binary64 (binary64->posit16 (-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))))
31.0ms	(-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

series3.2s

Counts

4 → 12

Calls

4 calls:

159.0ms	(cbrt.f64 (sqrt.f64 (+.f64 n 1)))
262.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4)
71.0ms	(posit16->binary64 (binary64->posit16 (-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))))
2.7s	(-.f64 (.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 n 1))) 4) (.f64 (log.f64 (+.f64 n 1)) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 n 1))) (cbrt.f64 (sqrt.f64 (+.f64 n 1)))))) (.f64 n (log.f64 n)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	12175	2044
1	12175	2044
0	12175	2044
1	12175	2044
0	5548	32
0	96	2370
1	96	2370
0	96	2370
1	96	2370
0	1	3
1	1	3
0	995	1671
1	995	1671
0	995	1671
1	995	1671
0	5149	19
0	66	1642
1	66	1642
0	66	1642
1	66	1642
0	5099	14

simplify134.0ms

Counts

86 → 86

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5938	1994

prune151.0ms

Filtered

64 candidates to 86 candidates (-34.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	83	3	86
Fresh	11	2	13
Picked	1	0	1
Done	0	0	0
Total	95	5	100

Merged error: 56.3b

Counts

100 → 5

regimes24.0ms

Accuracy

0% (0.0b remaining)

Error of 56.4b against oracle of 56.3b and baseline of 56.4b

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	73	66
1	73	66

end0.0ms

sample2.4s

Algorithm

intervals

Results

1.3s	3623×	body	1280	valid
629.0ms	2598×	body	640	valid
218.0ms	1350×	body	320	valid
88.0ms	8000×	pre	80	true
44.0ms	429×	body	160	valid

Details

analyze14.0ms

sample77.0ms

simplify216.0ms

prune5.0ms

localize10.0ms

rewrite32.0ms

series4.3s

simplify99.0ms

prune101.0ms

localize14.0ms

rewrite52.0ms

series2.9s

simplify130.0ms

prune148.0ms

localize17.0ms

rewrite74.0ms

series3.1s

simplify146.0ms

prune206.0ms

localize23.0ms

rewrite47.0ms

series3.2s

simplify134.0ms

prune151.0ms

regimes24.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample2.4s

Profiling