Details

sample25.0ms

Algorithm

intervals

Results

11.0ms

256×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	13	12
2	19	12
done	19	12

prune4.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: 39.3b

Counts

2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

36.6b

(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `sqrt-prod`
2×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
1×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

1 → 15

Calls

1 calls:

6.0ms

(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series26.0ms

Counts

1 → 3

Calls

1 calls:

26.0ms

(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify14.0s

Counts

18 → 18

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	27
1	15	27
2	21	27
done	21	27
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	38
1	16	24
2	39	14
3	69	14
4	85	14
5	95	14
6	116	14
7	176	14
8	379	14
9	1300	14
done	5001	14
0	11	26
1	16	13
2	22	13
3	24	13
done	24	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	2	2
1	4	1
done	4	1
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	29	16
2	69	14
3	169	14
4	449	14
5	1288	14
6	4246	14
done	5001	14
0	13	36
1	34	32
2	102	32
3	307	24
4	1002	24
5	2934	24
done	5001	24
0	11	24
1	27	24
2	75	22
3	214	20
4	614	20
5	1934	20
done	5000	20
0	9	12
1	14	12
2	27	12
3	39	12
4	65	12
5	137	12
6	319	12
7	776	12
8	2851	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2

prune37.0ms

Filtered

15 candidates to 18 candidates (-20.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	15	3	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	4	19

Merged error: 17.9b

Counts

19 → 4

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune5.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 17.9b

Counts

4 → 4

localize2.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune3.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 17.9b

Counts

4 → 4

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune0.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	3	3
Total	4	4

Merged error: 17.9b

Counts

4 → 4

regimes594.0ms

Accuracy

61.2% (7.5b remaining)

Error of 25.2b against oracle of 17.7b and baseline of 37.0b

bsearch25.0ms

Steps

Iters	Range		Point
2	4.135158157473059e+56	4.8565297007021245e+56	4.7663582577984905e+56
9	-1.4554583328339677e+161	-1.78774838471666e+153	-1.830674585215142e+153

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	23
1	18	23
done	18	23

end0.0ms

sample705.0ms

Algorithm

intervals

Results

372.0ms

8000×

body

valid

Details

sample25.0ms

simplify6.0ms

prune4.0ms

localize9.0ms

rewrite7.0ms

series26.0ms

simplify14.0s

prune37.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune5.0ms

localize2.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune3.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune0.0ms

regimes594.0ms

bsearch25.0ms

simplify2.0ms

end0.0ms

sample705.0ms

Profiling