Details

analyze23.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
50%	50%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
87.4%	12.5%	0.1%	7
87.4%	12.5%	0.1%	8
93.7%	6.2%	0.1%	9
93.7%	6.2%	0.1%	10
96.8%	3.1%	0.1%	11
96.8%	3.1%	0.1%	12
98.3%	1.6%	0.1%	13
98.3%	1.6%	0.1%	14

sample12.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify25.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	12	9
1	12	9

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: 16.7b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

16.3b

(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

7×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `times-frac_binary64`
1×	`cbrt-div_binary64` `add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-inv_binary64` `insert-posit16`

Counts

1 → 17

Calls

1 calls:

4.0ms

(cbrt.f64 (/.f64 g (*.f64 2 a)))

series252.0ms

Counts

1 → 3

Calls

1 calls:

252.0ms

(cbrt.f64 (/.f64 g (*.f64 2 a)))

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	106	1677
1	106	1677
0	67	1599
1	67	1599
0	106	1677
1	106	1677
0	67	1599
1	67	1599
0	4907	40
1	4907	40

simplify180.0ms

Counts

20 → 20

Iterations

Useful iterations: 0 (161.0ms)

Iter	Nodes	Cost
0	4770	268
1	4770	268

prune26.0ms

Filtered

18 candidates to 20 candidates (-11.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	12	8	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	9	21

Merged error: 0.2b

Counts

21 → 9

localize6.0ms

Local error

Found 3 expressions with local error:

0.4b	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
0.6b	(cbrt.f64 g)
0.6b	(cbrt.f64 (*.f64 2 a))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

26×	`cbrt-prod_binary64`
24×	`times-frac_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`associate-/l*_binary64`
5×	`add-exp-log_binary64`
4×	`associate-/r*_binary64`
3×	`add-log-exp_binary64` `pow1_binary64` `add-cbrt-cube_binary64` `insert-posit16`
2×	`pow1/3_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

3 → 69

Calls

3 calls:

5.0ms	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
1.0ms	(cbrt.f64 g)
3.0ms	(cbrt.f64 (*.f64 2 a))

series1.2s

Counts

3 → 9

Calls

3 calls:

683.0ms	(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 2 a)))
268.0ms	(cbrt.f64 g)
287.0ms	(cbrt.f64 (*.f64 2 a))

Iterations

Useful iterations: 0 (146.0ms)

Iter	Nodes	Cost
0	46	1627
1	46	1627
0	84	1596
1	84	1596
0	46	1627
1	46	1627
0	84	1596
1	84	1596
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	242	1695
1	242	1695
0	4942	1620
1	4942	1620
0	242	1695
1	242	1695
0	4942	1620
1	4942	1620
0	4971	27
1	4971	27

simplify163.0ms

Counts

78 → 78

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	5581	1216

prune85.0ms

Filtered

69 candidates to 78 candidates (-13.0%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	67	11	78
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	69	18	87

Merged error: 0.1b

Counts

87 → 18

localize6.0ms

Local error

Found 3 expressions with local error:

0.4b	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.6b	(cbrt.f64 g)
0.6b	(cbrt.f64 (/.f64 1/2 a))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

39×	`cbrt-prod_binary64`
35×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
20×	`times-frac_binary64`
16×	`associate-r_binary64`
6×	`associate-l_binary64` `unswap-sqr_binary64`
5×	`pow1_binary64` `add-exp-log_binary64`
4×	`pow1/3_binary64`
3×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `insert-posit16`
2×	`cbrt-div_binary64` `pow-prod-down_binary64` `div-inv_binary64`
1×	`cbrt-unprod_binary64` `associate-r/_binary64` `prod-exp_binary64` `-commutative_binary64`

Counts

3 → 77

Calls

3 calls:

13.0ms	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
1.0ms	(cbrt.f64 g)
3.0ms	(cbrt.f64 (/.f64 1/2 a))

series847.0ms

Counts

3 → 9

Calls

3 calls:

292.0ms	(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
276.0ms	(cbrt.f64 g)
278.0ms	(cbrt.f64 (/.f64 1/2 a))

Iterations

Useful iterations: 0 (154.0ms)

Iter	Nodes	Cost
0	52	1630
1	52	1630
0	65	1593
1	65	1593
0	52	1630
1	52	1630
0	65	1593
1	65	1593
0	4891	45
1	4891	45
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	201	1698
1	201	1698
0	285	1650
1	285	1650
0	201	1698
1	201	1698
0	285	1650
1	285	1650
0	5065	64

simplify198.0ms

Counts

86 → 86

Iterations

Useful iterations: 0 (173.0ms)

Iter	Nodes	Cost
0	4820	1194
1	4820	1194

prune94.0ms

Filtered

77 candidates to 86 candidates (-11.7%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	75	11	86
Fresh	8	7	15
Picked	1	0	1
Done	0	2	2
Total	84	20	104

Merged error: 0.0b

Counts

104 → 20

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
0.4b	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
0.5b	(cbrt.f64 (/.f64 1 a))
0.6b	(cbrt.f64 g)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

45×	`cbrt-prod_binary64`
42×	`add-sqr-sqrt_binary64`
26×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
22×	`times-frac_binary64`
17×	`associate-r_binary64`
12×	`associate-l_binary64`
11×	`pow1_binary64` `add-exp-log_binary64`
8×	`unswap-sqr_binary64`
7×	`pow-prod-down_binary64` `pow1/3_binary64`
5×	`add-cbrt-cube_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `insert-posit16`
3×	`cbrt-div_binary64` `associate-*r/_binary64`
2×	`div-inv_binary64` `*-commutative_binary64`

Counts

4 → 103

Calls

4 calls:

10.0ms	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
10.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
3.0ms	(cbrt.f64 (/.f64 1 a))
1.0ms	(cbrt.f64 g)

series1.4s

Counts

4 → 12

Calls

4 calls:

529.0ms	(.f64 (cbrt.f64 g) (.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a))))
362.0ms	(*.f64 (cbrt.f64 1/2) (cbrt.f64 (/.f64 1 a)))
285.0ms	(cbrt.f64 (/.f64 1 a))
270.0ms	(cbrt.f64 g)

Iterations

Useful iterations: 0 (156.0ms)

Iter	Nodes	Cost
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	47	1630
1	47	1630
0	64	1585
1	64	1585
0	47	1630
1	47	1630
0	64	1585
1	64	1585
0	4890	45
1	4890	45
0	162	1675
1	162	1675
0	476	1630
1	476	1630
0	162	1675
1	162	1675
0	476	1630
1	476	1630
0	4930	60
1	4930	60
0	289	1743
1	289	1743
0	1161	1687
1	1161	1687
0	289	1743
1	289	1743
0	1161	1687
1	1161	1687
0	4955	79
1	4955	79

simplify124.0ms

Counts

115 → 115

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4903	1659
1	4903	1659

prune94.0ms

Filtered

91 candidates to 115 candidates (-26.4%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	1	16	17
Picked	1	0	1
Done	0	2	2
Total	114	21	135

Merged error: 0.0b

Counts

135 → 21

regimes208.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	9	11

end0.0ms

sample337.0ms

Algorithm

intervals

Results

202.0ms

8000×

body

valid

Details

analyze23.0ms

sample12.0ms

simplify25.0ms

prune1.0ms

localize5.0ms

rewrite5.0ms

series252.0ms

simplify180.0ms

prune26.0ms

localize6.0ms

rewrite12.0ms

series1.2s

simplify163.0ms

prune85.0ms

localize6.0ms

rewrite21.0ms

series847.0ms

simplify198.0ms

prune94.0ms

localize9.0ms

rewrite29.0ms

series1.4s

simplify124.0ms

prune94.0ms

regimes208.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample337.0ms

Profiling