Details

analyze6.0ms

Algorithm

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

sample34.0ms

Algorithm

intervals

Results

23.0ms	256×	body	80	valid
3.0ms	256×	pre	80	true

simplify681.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (200.0ms)

Iter	Nodes	Cost
0	5204	47

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.0b

Counts

2 → 2

localize29.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow1_binary64_1629`
35×	`add-cbrt-cube_binary64_1659` `add-exp-log_binary64_1651`
18×	`prod-exp_binary64_1634` `cbrt-unprod_binary64_1656`
17×	`add-sqr-sqrt_binary64_1672`
15×	`associate-l_binary64_1747`
14×	`add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
12×	`pow-plus_binary64_1624` `pow-prod-up_binary64_1609` `pow-prod-down_binary64_1610`
9×	`times-frac_binary64_1682`
7×	`associate-r_binary64_1746`
4×	`add-log-exp_binary64_1652` `pow-sqr_binary64_1720` `pow2_binary64_1620`
3×	`div-exp_binary64_1636` `cbrt-undiv_binary64_1657` `*-commutative_binary64_1755` `sqrt-prod_binary64_1666`
2×	`pow3_binary64_1622` `unswap-sqr_binary64_1715`
1×	`rem-sqrt-square_binary64_1675` `pow1/2_binary64_1619` `associate-*l/_binary64_1749` `sqrt-pow1_binary64_1668` `div-inv_binary64_1688`

Counts

4 → 107

Calls

4 calls:

7.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
8.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
15.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
2.0ms	(sqrt.f64 PI.f64)

series655.0ms

Counts

4 → 10

Calls

4 calls:

213.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
216.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
226.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	152	2079
1	152	2079
0	5180	1953
0	152	2079
1	152	2079
0	5180	1953
0	1	3
1	1	3
0	108	2052
1	108	2052
0	4972	1926
1	4972	1926
0	108	2052
1	108	2052
0	4972	1926
1	4972	1926
0	1	3
1	1	3
0	108	2052
1	108	2052
0	4972	1926
1	4972	1926
0	108	2052
1	108	2052
0	4972	1926
1	4972	1926
0	1	3
1	1	3

simplify135.0ms

Counts

117 → 117

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4917	894
1	4917	894

prune162.0ms

Filtered

67 candidates to 117 candidates (-74.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	116	3	119

Merged error: 0.0b

Counts

119 → 3

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x)))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.2b	(.f64 (.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x))) (sqrt.f64 (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-exp-log_binary64_1651`
32×	`add-cbrt-cube_binary64_1659`
31×	`add-sqr-sqrt_binary64_1672`
22×	`prod-exp_binary64_1634` `associate-l_binary64_1747`
21×	`pow1_binary64_1629`
18×	`add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
16×	`cbrt-unprod_binary64_1656`
13×	`sqrt-prod_binary64_1666` `associate-r_binary64_1746`
10×	`pow-prod-up_binary64_1609`
9×	`times-frac_binary64_1682`
8×	`unswap-sqr_binary64_1715`
7×	`pow-prod-down_binary64_1610`
6×	`pow1/2_binary64_1619` `sqrt-pow1_binary64_1668`
5×	`unpow-prod-down_binary64_1618`
4×	`add-log-exp_binary64_1652`
3×	`sqr-pow_binary64_1719` `div-exp_binary64_1636` `cbrt-undiv_binary64_1657` `*-commutative_binary64_1755` `unpow2_binary64_1626`
2×	`pow-exp_binary64_1607` `pow-to-exp_binary64_1608`
1×	`rem-sqrt-square_binary64_1675` `associate-*l/_binary64_1749` `div-inv_binary64_1688`

Counts

4 → 113

Calls

4 calls:

8.0ms	(*.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x)))
15.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
11.0ms	(.f64 (.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x))) (sqrt.f64 (fabs.f64 x)))
2.0ms	(sqrt.f64 PI.f64)

series555.0ms

Counts

4 → 10

Calls

4 calls:

159.0ms	(*.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x)))
224.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
172.0ms	(.f64 (.f64 (pow.f64 (fabs.f64 x) 2) (sqrt.f64 (fabs.f64 x))) (sqrt.f64 (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	255	2115
1	255	2115
0	5367	1926
0	255	2115
1	255	2115
0	5367	1926
0	1	3
1	1	3
0	152	2079
1	152	2079
0	5180	1953
0	152	2079
1	152	2079
0	5180	1953
0	1	3
1	1	3
0	210	2028
1	210	2028
0	4945	1926
1	4945	1926
0	210	2028
1	210	2028
0	4945	1926
1	4945	1926
0	1	3
1	1	3

simplify112.0ms

Counts

123 → 123

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4928	1166
1	4928	1166

prune194.0ms

Filtered

74 candidates to 123 candidates (-66.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	123	3	126

Merged error: 0.0b

Counts

126 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 1/5 (pow.f64 (fabs.f64 x) 5))
0.2b	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
0.3b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 PI.f64))
1.0b	(sqrt.f64 PI.f64)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_1672`
27×	`add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
19×	`associate-r_binary64_1746`
18×	`times-frac_binary64_1682`
16×	`add-exp-log_binary64_1651`
15×	`sqrt-prod_binary64_1666`
10×	`add-cbrt-cube_binary64_1659`
8×	`unpow-prod-down_binary64_1618`
7×	`unswap-sqr_binary64_1715`
6×	`prod-exp_binary64_1634` `associate-l_binary64_1747` `associate-/r*_binary64_1750`
5×	`pow1_binary64_1629`
4×	`sqr-pow_binary64_1719` `cube-prod_binary64_1660` `add-log-exp_binary64_1652`
3×	`associate-/l*_binary64_1751`
2×	`*-commutative_binary64_1755` `associate-/l/_binary64_1753` `pow-exp_binary64_1607` `pow-to-exp_binary64_1608` `cbrt-unprod_binary64_1656`
1×	`rem-sqrt-square_binary64_1675` `div-exp_binary64_1636` `pow1/2_binary64_1619` `flip3-+_binary64_1685` `cbrt-undiv_binary64_1657` `flip-+_binary64_1712` `sqrt-pow1_binary64_1668` `unpow3_binary64_1627` `clear-num_binary64_1690` `div-inv_binary64_1688` `frac-2neg_binary64_1680` `cube-mult_binary64_1662`

Counts

4 → 110

Calls

4 calls:

7.0ms	(*.f64 1/5 (pow.f64 (fabs.f64 x) 5))
10.0ms	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
18.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 PI.f64))
2.0ms	(sqrt.f64 PI.f64)

series612.0ms

Counts

4 → 10

Calls

4 calls:

204.0ms	(*.f64 1/5 (pow.f64 (fabs.f64 x) 5))
231.0ms	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
177.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 PI.f64))
0.0ms	(sqrt.f64 PI.f64)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	565	2364
1	565	2364
0	4992	2331
1	4992	2331
0	565	2364
1	565	2364
0	4992	2331
1	4992	2331
0	1	3
1	1	3
0	167	1968
1	167	1968
0	5470	1953
0	167	1968
1	167	1968
0	5470	1953
0	1	3
1	1	3
0	167	1968
1	167	1968
0	5646	1953
0	167	1968
1	167	1968
0	5646	1953
0	1	3
1	1	3

simplify105.0ms

Counts

120 → 120

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5001	3661

prune180.0ms

Filtered

79 candidates to 120 candidates (-51.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	120	3	123

Merged error: 0b

Counts

123 → 3

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64)))
0.3b	(/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64))) (sqrt.f64 (sqrt.f64 PI.f64)))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

600×	`sqrt-prod_binary64_1666`
576×	`times-frac_binary64_1682`
316×	`add-sqr-sqrt_binary64_1672`
314×	`add-cube-cbrt_binary64_1658` `*-un-lft-identity_binary64_1687`
34×	`associate-/l*_binary64_1751`
18×	`associate-/r*_binary64_1750`
12×	`div-inv_binary64_1688`
11×	`add-cbrt-cube_binary64_1659` `add-exp-log_binary64_1651`
6×	`pow1_binary64_1629`
4×	`div-exp_binary64_1636` `add-log-exp_binary64_1652` `cbrt-undiv_binary64_1657`
3×	`associate-/l/_binary64_1753`
2×	`rem-sqrt-square_binary64_1675` `pow1/2_binary64_1619` `sqrt-pow1_binary64_1668` `clear-num_binary64_1690` `frac-2neg_binary64_1680`
1×	`flip3-+_binary64_1685` `flip-+_binary64_1712`

Counts

4 → 413

Calls

4 calls:

19.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64)))
28.0ms	(/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64))) (sqrt.f64 (sqrt.f64 PI.f64)))
2.0ms	(sqrt.f64 PI.f64)
2.0ms	(sqrt.f64 PI.f64)

series435.0ms

Counts

4 → 8

Calls

4 calls:

180.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64)))
254.0ms	(/.f64 (/.f64 (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 1/5 (pow.f64 (fabs.f64 x) 5))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 (sqrt.f64 PI.f64))) (sqrt.f64 (sqrt.f64 PI.f64)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	648	2454
1	648	2454
0	5392	2331
0	648	2454
1	648	2454
0	5392	2331
0	1	3
1	1	3
0	579	2382
1	579	2382
0	5035	2349
0	579	2382
1	579	2382
0	5035	2349
0	1	3
1	1	3

simplify607.0ms

Counts

421 → 421

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	5061	37417

prune474.0ms

Filtered

151 candidates to 421 candidates (-178.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	421	0	421
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	421	3	424

Merged error: 0b

Counts

424 → 3

regimes32.0ms

Accuracy

0% (0.1b 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	54	108
1	54	108

end0.0ms

sample924.0ms

Algorithm

intervals

Results

719.0ms	8000×	body	80	valid
86.0ms	8000×	pre	80	true

Details

analyze6.0ms

sample34.0ms

simplify681.0ms

prune7.0ms

localize29.0ms

rewrite37.0ms

series655.0ms

simplify135.0ms

prune162.0ms

localize34.0ms

rewrite41.0ms

series555.0ms

simplify112.0ms

prune194.0ms

localize18.0ms

rewrite41.0ms

series612.0ms

simplify105.0ms

prune180.0ms

localize20.0ms

rewrite93.0ms

series435.0ms

simplify607.0ms

prune474.0ms

regimes32.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample924.0ms

Profiling