Details

sample98.0ms

Algorithm

intervals

Results

28.0ms	31×	body	2560	valid
24.0ms	47×	body	1280	valid
11.0ms	122×	body	80	valid
9.0ms	27×	body	640	valid
6.0ms	22×	body	320	valid
2.0ms	7×	body	160	valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	13
1	11	13
2	13	13
done	13	13

prune3.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: 37.4b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

6.7b	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
30.9b	(sin (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
5×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
2×	`tan-quot`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `associate-/l/`

Counts

3 → 43

Calls

3 calls:

6.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
3.0ms	(sin (/ x (* y 2.0)))
2.0ms	(tan (/ x (* y 2.0)))

series38.0ms

Counts

3 → 9

Calls

3 calls:

19.0ms	(/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
4.0ms	(sin (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))

simplify21.1s

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	10	15
1	15	15
2	18	15
done	18	15
0	9	14
1	15	14
2	19	14
3	20	14
done	20	14
0	9	14
1	12	14
2	14	14
done	14	14
0	12	41
1	24	41
2	58	17
3	125	15
4	202	15
5	319	15
6	778	15
7	3363	15
done	5001	15
0	10	29
1	13	29
2	15	29
done	15	29
0	9	14
1	12	14
2	14	14
done	14	14
0	10	41
1	20	41
2	38	15
3	76	15
4	143	15
5	207	15
6	335	15
7	834	15
8	3593	15
done	5000	15
0	9	14
1	12	14
2	14	14
done	14	14
0	9	14
1	12	14
2	14	14
done	14	14
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	12	31
1	21	31
2	32	31
3	38	31
done	38	31
0	10	15
1	13	15
2	15	15
done	15	15
0	11	23
1	16	23
2	20	23
3	21	23
done	21	23
0	10	15
1	13	15
2	15	15
done	15	15
0	10	17
1	17	15
2	25	15
3	30	15
done	30	15
0	9	14
1	12	14
2	14	14
done	14	14
0	11	23
1	16	23
2	18	23
done	18	23
0	10	15
1	13	15
2	15	15
done	15	15
0	10	15
1	13	15
2	15	15
done	15	15
0	10	15
1	13	15
2	15	15
done	15	15
0	9	9
1	14	7
2	18	7
done	18	7
0	9	14
1	12	14
2	14	14
done	14	14
0	10	17
1	17	17
2	19	17
done	19	17
0	9	14
1	12	14
2	14	14
done	14	14
0	9	9
1	14	9
2	16	9
done	16	9
0	9	14
1	12	14
2	14	14
done	14	14
0	2	3
1	4	1
done	4	1
0	8	13
1	11	13
2	13	13
done	13	13
0	8	8
1	13	8
2	15	8
done	15	8
0	8	13
1	11	13
2	13	13
done	13	13
0	10	22
1	15	22
2	17	22
done	17	22
0	9	14
1	12	14
2	14	14
done	14	14
0	8	8
1	13	6
2	17	6
done	17	6
0	9	14
1	12	14
2	14	14
done	14	14
0	9	14
1	12	14
2	14	14
done	14	14
0	8	13
1	11	13
2	13	13
done	13	13
0	8	13
1	12	13
2	14	13
done	14	13
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	1	1
done	1	1
0	10	11
1	23	11
2	63	11
3	220	11
4	937	11
5	4240	11
done	5000	11
0	10	11
1	23	11
2	63	11
3	220	11
4	937	11
5	4240	11
done	5000	11

prune212.0ms

Filtered

45 candidates to 52 candidates (-15.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	38	14	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	14	53

Merged error: 28.0b

Counts

53 → 14

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune62.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	13	13
Picked	1	1
Done	0	0
Total	14	14

Merged error: 28.0b

Counts

14 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

30.9b	(sin (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`tan-quot`

Counts

4 → 31

Calls

4 calls:

3.0ms	(sin (/ x (* y 2.0)))
5.0ms	(tan (/ x (* y 2.0)))
3.0ms	(tan (/ x (* y 2.0)))
3.0ms	(tan (/ x (* y 2.0)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sin (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))
16.0ms	(tan (/ x (* y 2.0)))

simplify25.3s

Counts

43 → 43

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune286.0ms

Filtered

39 candidates to 43 candidates (-10.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	42	15	57

Merged error: 27.9b

Counts

57 → 15

localize15.0ms

Local error

Found 4 expressions with local error:

30.9b	(sin (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))
31.1b	(tan (/ x (* y 2.0)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`tan-quot`

Counts

4 → 31

Calls

4 calls:

3.0ms	(sin (/ x (* y 2.0)))
3.0ms	(tan (/ x (* y 2.0)))
3.0ms	(tan (/ x (* y 2.0)))
3.0ms	(tan (/ x (* y 2.0)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sin (/ x (* y 2.0)))
19.0ms	(tan (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))
15.0ms	(tan (/ x (* y 2.0)))

simplify25.4s

Counts

43 → 43

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	8
4	27	8
5	37	8
6	58	8
7	114	8
8	325	8
9	1243	8
done	5001	8
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	12	15
1	32	15
2	94	15
3	382	15
4	1606	13
done	5000	13
0	1	1
done	1	1
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune180.0ms

Filtered

39 candidates to 43 candidates (-10.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	42	16	58

Merged error: 27.9b

Counts

58 → 16

regimes472.0ms

Accuracy

0% (2.4b remaining)

Error of 28.8b against oracle of 26.4b and baseline of 28.8b

bsearch0.0ms

simplify0.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1
done	1	1

end0.0ms

sample2.5s

Algorithm

intervals

Results

716.0ms	1403×	body	1280	valid
588.0ms	647×	body	2560	valid
359.0ms	4051×	body	80	valid
356.0ms	1038×	body	640	valid
151.0ms	601×	body	320	valid
49.0ms	260×	body	160	valid

Details

sample98.0ms

simplify5.0ms

prune3.0ms

localize10.0ms

rewrite12.0ms

series38.0ms

simplify21.1s

prune212.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune62.0ms

localize19.0ms

rewrite14.0ms

series50.0ms

simplify25.3s

prune286.0ms

localize15.0ms

rewrite11.0ms

series53.0ms

simplify25.4s

prune180.0ms

regimes472.0ms

bsearch0.0ms

simplify0.0ms

end0.0ms

sample2.5s

Profiling