Details

analyze211.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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
12.5%	87.4%	0.1%	6
18.7%	81.1%	0.1%	7
37.4%	62.4%	0.1%	8
46.8%	46.8%	6.4%	9
54.6%	39%	6.4%	10
62.8%	30.8%	6.4%	11
66.9%	23.6%	9.5%	12
71.7%	18.8%	9.5%	13
75.3%	15.2%	9.5%	14

sample16.0ms

Algorithm

intervals

Results

6.0ms	256×	body	80	valid
3.0ms	10×	body	80	invalid

simplify33.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	181	10
1	181	10

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

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x 3) y)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `prod-exp_binary64`
2×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
1×	`add-log-exp_binary64` `associate-l_binary64` `insert-posit16` `*-commutative_binary64`

Counts

1 → 19

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x 3) y)

series176.0ms

Counts

1 → 3

Calls

1 calls:

176.0ms

(*.f64 (*.f64 x 3) y)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	240	189
1	240	189
0	14	9
1	14	9
0	240	189
1	240	189
0	14	9
1	14	9
0	1	3
1	1	3

simplify101.0ms

Counts

22 → 22

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5251	170

prune17.0ms

Filtered

13 candidates to 22 candidates (-69.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	17	5	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	6	23

Merged error: 0.0b

Counts

23 → 6

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(.f64 x (.f64 3 y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
1×	`add-log-exp_binary64` `associate-r_binary64` `insert-posit16` `*-commutative_binary64`

Counts

1 → 19

Calls

1 calls:

8.0ms

(*.f64 x (*.f64 3 y))

series189.0ms

Counts

1 → 3

Calls

1 calls:

189.0ms

(*.f64 x (*.f64 3 y))

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	262	189
1	262	189
0	23	21
1	23	21
0	262	189
1	262	189
0	23	21
1	23	21
0	42	3
1	42	3

simplify102.0ms

Counts

22 → 22

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4847	168
1	4847	168

prune15.0ms

Filtered

12 candidates to 22 candidates (-83.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	21	1	22
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	21	7	28

Merged error: 0.0b

Counts

28 → 7

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 77

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series1.9s

Counts

4 → 12

Calls

4 calls:

1.1s	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
274.0ms	(cbrt.f64 y)
274.0ms	(cbrt.f64 y)
276.0ms	(cbrt.f64 y)

Iterations

Useful iterations: 0 (154.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	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	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	111	1670
1	111	1670
0	6819	1644
0	111	1670
1	111	1670
0	6819	1644
0	4739	71
1	4739	71

simplify125.0ms

Counts

89 → 89

Iterations

Useful iterations: 0 (102.0ms)

Iter	Nodes	Cost
0	4841	750
1	4841	750

prune67.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	88	8	96

Merged error: 0.0b

Counts

96 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 77

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series1.9s

Counts

4 → 12

Calls

4 calls:

1.1s	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
274.0ms	(cbrt.f64 x)
276.0ms	(cbrt.f64 x)
277.0ms	(cbrt.f64 x)

Iterations

Useful iterations: 0 (154.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	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	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	111	1670
1	111	1670
0	6819	1644
0	111	1670
1	111	1670
0	6819	1644
0	4739	71
1	4739	71

simplify125.0ms

Counts

89 → 89

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4841	750
1	4841	750

prune60.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	1	3	4
Picked	0	1	1
Done	0	3	3
Total	89	8	97

Merged error: 0.0b

Counts

97 → 8

regimes119.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	20	10
1	20	10

end0.0ms

sample360.0ms

Algorithm

intervals

Results

189.0ms	8000×	body	80	valid
7.0ms	295×	body	80	invalid

Details

analyze211.0ms

sample16.0ms

simplify33.0ms

prune1.0ms

localize5.0ms

rewrite7.0ms

series176.0ms

simplify101.0ms

prune17.0ms

localize5.0ms

rewrite8.0ms

series189.0ms

simplify102.0ms

prune15.0ms

localize9.0ms

rewrite13.0ms

series1.9s

simplify125.0ms

prune67.0ms

localize9.0ms

rewrite13.0ms

series1.9s

simplify125.0ms

prune60.0ms

regimes119.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample360.0ms

Profiling