Details

analyze11.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0.1%	14

sample16.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify317.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (176.0ms)

Iter	Nodes	Cost
0	4720	9
1	4720	9

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 29.3b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 2 (pow.f64 x 2))
28.2b	(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

rewrite196.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
8×	`associate-r_binary64`
7×	`add-exp-log_binary64`
5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64`
3×	`pow1_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`add-log-exp_binary64` `unpow2_binary64` `sqr-pow_binary64` `insert-posit16`
1×	`pow-to-exp_binary64` `pow1/2_binary64` `cbrt-unprod_binary64` `sqrt-pow1_binary64` `sqrt-prod_binary64` `pow-exp_binary64` `*-commutative_binary64`

Counts

2 → 39

Calls

2 calls:

7.0ms	(*.f64 2 (pow.f64 x 2))
187.0ms	(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

series678.0ms

Counts

2 → 6

Calls

2 calls:

233.0ms	(*.f64 2 (pow.f64 x 2))
444.0ms	(sqrt.f64 (*.f64 2 (pow.f64 x 2)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	558	1001
1	558	1001
0	65	247
1	65	247
0	558	1001
1	558	1001
0	65	247
1	65	247
0	4914	57
1	4914	57
0	448	756
1	448	756
0	11	9
1	11	9
0	448	756
1	448	756
0	11	9
1	11	9
0	1	3
1	1	3

simplify85.0ms

Counts

45 → 45

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5012	407

prune36.0ms

Filtered

34 candidates to 45 candidates (-32.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	40	5	45
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	6	46

Merged error: 0.2b

Counts

46 → 6

localize4.0ms

Local error

Found 1 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (fabs.f64 x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 23

Calls

1 calls:

6.0ms

(*.f64 (sqrt.f64 2) (fabs.f64 x))

series415.0ms

Counts

1 → 3

Calls

1 calls:

415.0ms

(*.f64 (sqrt.f64 2) (fabs.f64 x))

Iterations

Useful iterations: 0 (146.0ms)

Iter	Nodes	Cost
0	172	1646
1	172	1646
0	4847	1619
1	4847	1619
0	172	1646
1	172	1646
0	4847	1619
1	4847	1619
0	4960	47
1	4960	47

simplify102.0ms

Counts

26 → 26

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4896	301
1	4896	301

prune23.0ms

Filtered

19 candidates to 26 candidates (-36.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	4	0	4
Picked	0	1	1
Done	0	1	1
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2)))
0.2b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1_binary64` `add-exp-log_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`associate-r_binary64`
9×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cbrt-cube_binary64` `prod-exp_binary64`
8×	`cbrt-prod_binary64`
6×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
4×	`associate-l_binary64` `sqrt-prod_binary64`
3×	`unswap-sqr_binary64`
2×	`add-log-exp_binary64` `insert-posit16` `*-commutative_binary64`

Counts

2 → 50

Calls

2 calls:

7.0ms	(*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2)))
16.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))

series1.0s

Counts

2 → 6

Calls

2 calls:

494.0ms	(*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2)))
553.0ms	(.f64 (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))) (*.f64 (fabs.f64 x) (cbrt.f64 (sqrt.f64 2))))

Iterations

Useful iterations: 0 (146.0ms)

Iter	Nodes	Cost
0	285	1790
1	285	1790
0	4680	1628
1	4680	1628
0	285	1790
1	285	1790
0	4680	1628
1	4680	1628
0	4960	47
1	4960	47
0	154	1664
1	154	1664
0	5059	1644
0	154	1664
1	154	1664
0	5059	1644
0	4961	53
1	4961	53

simplify129.0ms

Counts

56 → 56

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5093	694

prune43.0ms

Filtered

37 candidates to 56 candidates (-51.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	2	2	4
Picked	0	1	1
Done	1	1	2
Total	58	5	63

Merged error: 0b

Counts

63 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x))
0.3b	(.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

23×	`associate-l_binary64`
20×	`add-sqr-sqrt_binary64`
17×	`add-exp-log_binary64`
14×	`cbrt-prod_binary64`
12×	`unpow-prod-down_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
7×	`add-cbrt-cube_binary64` `sqrt-prod_binary64`
6×	`unswap-sqr_binary64`
4×	`pow1_binary64` `cbrt-unprod_binary64` `associate-r_binary64`
2×	`pow-to-exp_binary64` `add-log-exp_binary64` `unpow2_binary64` `sqr-pow_binary64` `insert-posit16` `pow-exp_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64`

Counts

2 → 62

Calls

2 calls:

8.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x))
11.0ms	(.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x)))

series828.0ms

Counts

2 → 6

Calls

2 calls:

436.0ms	(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x))
392.0ms	(.f64 (cbrt.f64 (sqrt.f64 2)) (.f64 (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2) (fabs.f64 x)))

Iterations

Useful iterations: 0 (146.0ms)

Iter	Nodes	Cost
0	334	1754
1	334	1754
0	4884	1628
1	4884	1628
0	334	1754
1	334	1754
0	4884	1628
1	4884	1628
0	4960	47
1	4960	47
0	226	1691
1	226	1691
0	5349	1668
0	226	1691
1	226	1691
0	5349	1668
0	5027	59

simplify123.0ms

Counts

68 → 68

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	5162	999

prune52.0ms

Filtered

50 candidates to 68 candidates (-36.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	68	5	73

Merged error: 0b

Counts

73 → 5

regimes50.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	24
1	11	24

end0.0ms

sample389.0ms

Algorithm

intervals

Results

292.0ms	8000×	body	80	valid
0.0ms	1×	body	80	invalid

Details

analyze11.0ms

sample16.0ms

simplify317.0ms

prune16.0ms

localize6.0ms

rewrite196.0ms

series678.0ms

simplify85.0ms

prune36.0ms

localize4.0ms

rewrite7.0ms

series415.0ms

simplify102.0ms

prune23.0ms

localize7.0ms

rewrite24.0ms

series1.0s

simplify129.0ms

prune43.0ms

localize8.0ms

rewrite22.0ms

series828.0ms

simplify123.0ms

prune52.0ms

regimes50.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample389.0ms

Profiling