Details

analyze41.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
25%	74.9%	0.1%	5
50%	50%	0.1%	6
62.4%	31.2%	6.3%	7
71.8%	21.9%	6.3%	8
76.5%	14%	9.5%	9
80.4%	10.1%	9.5%	10
82.3%	6.6%	11%	11
84.1%	4.9%	11%	12
85%	3.2%	11.8%	13
85.8%	2.4%	11.8%	14

sample15.0ms

Algorithm

intervals

Results

9.0ms	256×	body	80	valid
0.0ms	2×	body	80	invalid

simplify23.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x 27) 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:

7.0ms

(*.f64 (*.f64 x 27) y)

series210.0ms

Counts

1 → 3

Calls

1 calls:

210.0ms

(*.f64 (*.f64 x 27) y)

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	20	1917
1	20	1917
0	8	9
1	8	9
0	20	1917
1	20	1917
0	8	9
1	8	9
0	1	3
1	1	3

simplify125.0ms

Counts

22 → 22

Iterations

Useful iterations: 0 (104.0ms)

Iter	Nodes	Cost
0	4898	170
1	4898	170

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

localize4.0ms

Local error

Found 1 expressions with local error:

0.5b	(.f64 x (.f64 27 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-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:

6.0ms

(*.f64 x (*.f64 27 y))

series188.0ms

Counts

1 → 3

Calls

1 calls:

188.0ms

(*.f64 x (*.f64 27 y))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	169	2529
1	169	2529
0	10	9
1	10	9
0	169	2529
1	169	2529
0	10	9
1	10	9
0	1	3
1	1	3

simplify214.0ms

Counts

22 → 22

Iterations

Useful iterations: 0 (192.0ms)

Iter	Nodes	Cost
0	4800	168
1	4800	168

prune15.0ms

Filtered

12 candidates to 22 candidates (-83.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	20	2	22
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	20	8	28

Merged error: 0.0b

Counts

28 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 (.f64 x 27) y)) (cbrt.f64 (.f64 (*.f64 x 27) y)))
9.0b	(cbrt.f64 (.f64 (.f64 x 27) y))
9.0b	(cbrt.f64 (.f64 (.f64 x 27) y))
9.0b	(cbrt.f64 (.f64 (.f64 x 27) y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 62

Calls

4 calls:

8.0ms	(.f64 (cbrt.f64 (.f64 (.f64 x 27) y)) (cbrt.f64 (.f64 (*.f64 x 27) y)))
5.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))
5.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))
5.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))

series855.0ms

Counts

4 → 12

Calls

4 calls:

215.0ms	(.f64 (cbrt.f64 (.f64 (.f64 x 27) y)) (cbrt.f64 (.f64 (*.f64 x 27) y)))
214.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))
212.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))
214.0ms	(cbrt.f64 (.f64 (.f64 x 27) y))

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	30	2547
1	30	2547
0	10	9
1	10	9
0	30	2547
1	30	2547
0	10	9
1	10	9
0	1	3
1	1	3
0	30	2547
1	30	2547
0	10	9
1	10	9
0	30	2547
1	30	2547
0	10	9
1	10	9
0	1	3
1	1	3
0	30	2547
1	30	2547
0	10	9
1	10	9
0	30	2547
1	30	2547
0	10	9
1	10	9
0	1	3
1	1	3
0	31	2646
1	31	2646
0	36	9
1	36	9
0	31	2646
1	31	2646
0	36	9
1	36	9
0	1	3
1	1	3

simplify136.0ms

Counts

74 → 74

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4914	666
1	4914	666

prune69.0ms

Filtered

51 candidates to 74 candidates (-45.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	72	2	74
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	74	8	82

Merged error: 0.0b

Counts

82 → 8

localize7.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)

series422.0ms

Counts

4 → 12

Calls

4 calls:

126.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
96.0ms	(cbrt.f64 y)
100.0ms	(cbrt.f64 y)
100.0ms	(cbrt.f64 y)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	42	1899
1	42	1899
0	18	9
1	18	9
0	42	1899
1	42	1899
0	18	9
1	18	9
0	1	3
1	1	3
0	42	1899
1	42	1899
0	18	9
1	18	9
0	42	1899
1	42	1899
0	18	9
1	18	9
0	1	3
1	1	3
0	42	1899
1	42	1899
0	18	9
1	18	9
0	42	1899
1	42	1899
0	18	9
1	18	9
0	1	3
1	1	3
0	45	1962
1	45	1962
0	558	9
1	558	9
0	45	1962
1	45	1962
0	558	9
1	558	9
0	1	3
1	1	3

simplify135.0ms

Counts

89 → 89

Iterations

Useful iterations: 0 (110.0ms)

Iter	Nodes	Cost
0	4896	549
1	4896	549

prune43.0ms

Filtered

59 candidates to 89 candidates (-50.8%)

Pruning

9 alts after pruning (5 fresh and 4 done)

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

Merged error: 0.0b

Counts

97 → 9

regimes76.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7
1	8	7

end0.0ms

sample272.0ms

Algorithm

intervals

Results

152.0ms	8000×	body	80	valid
2.0ms	86×	body	80	invalid

Details

analyze41.0ms

sample15.0ms

simplify23.0ms

prune1.0ms

localize4.0ms

rewrite7.0ms

series210.0ms

simplify125.0ms

prune15.0ms

localize4.0ms

rewrite7.0ms

series188.0ms

simplify214.0ms

prune15.0ms

localize8.0ms

rewrite23.0ms

series855.0ms

simplify136.0ms

prune69.0ms

localize7.0ms

rewrite13.0ms

series422.0ms

simplify135.0ms

prune43.0ms

regimes76.0ms

bsearch0.0ms

simplify6.0ms

end0.0ms

sample272.0ms

Profiling