Details

analyze434.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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
28.1%	71.8%	0.1%	9
42.1%	57.7%	0.1%	10
49.1%	50.7%	0.1%	11
57.3%	42.5%	0.1%	12
66.9%	33%	0.1%	13
71.7%	28.2%	0.1%	14

sample19.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify21.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	20	18
1	20	18

prune2.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: 38.6b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 y y))
35.9b	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-log-exp_binary64` `add-sqr-sqrt_binary64`
3×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-prod_binary64`
2×	`flip3-+_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16` `flip-+_binary64` `sqrt-div_binary64`
1×	`pow1/2_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

2 → 28

Calls

2 calls:

5.0ms	(+.f64 (.f64 x x) (.f64 y y))
7.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

series114.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(+.f64 (.f64 x x) (.f64 y y))
58.0ms	(sqrt.f64 (+.f64 (+.f64 (.f64 x x) (.f64 y y)) (*.f64 z z)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	50	9
1	50	9
0	50	9
1	50	9
0	1	3
1	1	3
0	176	9
1	176	9
0	176	9
1	176	9
0	1	3
1	1	3

simplify90.0ms

Counts

34 → 34

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5386	569

prune23.0ms

Filtered

26 candidates to 34 candidates (-30.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	3	35

Merged error: 37.6b

Counts

35 → 3

localize4.0ms

Local error

Found 1 expressions with local error:

28.2b

(sqrt.f64 (+.f64 0 (*.f64 z z)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
2×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `add-log-exp_binary64` `pow1/2_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `insert-posit16` `flip-+_binary64`

Counts

1 → 16

Calls

1 calls:

3.0ms

(sqrt.f64 (+.f64 0 (*.f64 z z)))

series167.0ms

Counts

1 → 3

Calls

1 calls:

167.0ms

(sqrt.f64 (+.f64 0 (*.f64 z z)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	785	9
1	785	9
0	785	9
1	785	9
0	1	3
1	1	3

simplify137.0ms

Counts

19 → 19

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4953	110
1	4953	110

prune18.0ms

Filtered

14 candidates to 19 candidates (-35.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	11	8	19
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	13	9	22

Merged error: 23.6b

Counts

22 → 9

localize3.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify23.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	0	0

prune6.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	7	7
Picked	1	1
Done	1	1
Total	9	9

Merged error: 23.6b

Counts

9 → 9

localize3.0ms

Local error

Found 1 expressions with local error:

0.5b	(*.f64 (sqrt.f64 (fabs.f64 z)) (sqrt.f64 (fabs.f64 z)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 50

Calls

1 calls:

8.0ms

(*.f64 (sqrt.f64 (fabs.f64 z)) (sqrt.f64 (fabs.f64 z)))

series75.0ms

Counts

1 → 3

Calls

1 calls:

75.0ms

(*.f64 (sqrt.f64 (fabs.f64 z)) (sqrt.f64 (fabs.f64 z)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	697	9
1	697	9
0	697	9
1	697	9
0	1	3
1	1	3

simplify130.0ms

Counts

53 → 53

Iterations

Useful iterations: 0 (107.0ms)

Iter	Nodes	Cost
0	4961	318
1	4961	318

prune13.0ms

Filtered

18 candidates to 53 candidates (-194.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	2	4	6
Picked	1	0	1
Done	0	2	2
Total	52	10	62

Merged error: 23.6b

Counts

62 → 10

regimes304.0ms

Accuracy

96.8% (0.4b remaining)

Error of 24.9b against oracle of 24.4b and baseline of 38.1b

bsearch1.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	42
1	22	42

end0.0ms

sample473.0ms

Algorithm

intervals

Results

306.0ms

8000×

body

valid

Details

analyze434.0ms

sample19.0ms

simplify21.0ms

prune2.0ms

localize8.0ms

rewrite13.0ms

series114.0ms

simplify90.0ms

prune23.0ms

localize4.0ms

rewrite4.0ms

series167.0ms

simplify137.0ms

prune18.0ms

localize3.0ms

rewrite0.0ms

series0.0ms

simplify23.0ms

prune6.0ms

localize3.0ms

rewrite10.0ms

series75.0ms

simplify130.0ms

prune13.0ms

regimes304.0ms

bsearch1.0ms

simplify6.0ms

end0.0ms

sample473.0ms

Profiling