Details

sample165.0ms

Algorithm

intervals

Results

73.0ms	29×	body	2560	valid
55.0ms	64×	body	1280	valid
8.0ms	31×	body	640	valid
7.0ms	131×	body	80	valid
3.0ms	16×	body	320	valid
1.0ms	5×	body	160	valid

simplify99.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	14
1	18	14
2	38	14
3	73	14
4	109	14
5	130	14
6	137	14
done	137	14

prune5.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: 18.1b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(* PI l)
0.5b	(/ 1.0 (* F F))
2.6b	(* (/ 1.0 (* F F)) (tan (* PI l)))
32.4b	(tan (* PI l))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-exp-log` `add-cbrt-cube`
17×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-l`
8×	`pow1`
7×	`times-frac`
6×	`associate-r` `prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`tan-quot` `associate-/l*` `unswap-sqr`
2×	`pow-prod-down` `*-commutative` `div-inv`
1×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num` `associate-/r*`

Counts

4 → 77

Calls

4 calls:

4.0ms	(* PI l)
5.0ms	(/ 1.0 (* F F))
11.0ms	(* (/ 1.0 (* F F)) (tan (* PI l)))
3.0ms	(tan (* PI l))

series53.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* PI l)
3.0ms	(/ 1.0 (* F F))
26.0ms	(* (/ 1.0 (* F F)) (tan (* PI l)))
21.0ms	(tan (* PI l))

simplify54.9s

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	10
1	15	10
2	26	10
3	39	10
4	49	10
5	52	10
done	52	10
0	12	14
1	22	13
2	46	13
3	78	13
4	136	13
5	181	13
6	235	13
7	296	13
8	307	13
9	308	13
done	308	13
0	12	13
1	20	13
2	38	13
3	70	13
4	120	13
5	152	13
6	226	13
7	288	13
8	322	13
9	323	13
done	323	13
0	11	12
1	18	12
2	28	12
3	51	12
4	87	12
5	138	12
6	184	12
7	241	12
8	299	12
9	311	12
10	312	12
done	312	12
0	10	11
1	19	11
2	39	11
3	74	11
4	128	11
5	203	11
6	287	11
7	342	11
8	430	11
9	443	11
done	443	11
0	10	11
1	18	11
2	35	11
3	58	11
4	100	11
5	185	11
6	412	11
7	1080	11
done	5000	11
0	15	32
1	37	32
2	157	18
3	958	14
done	5000	14
0	15	32
1	38	32
2	158	16
3	992	14
done	5000	14
0	13	32
1	29	32
2	101	14
3	464	14
4	2206	12
done	5000	12
0	11	23
1	17	23
2	28	23
3	41	23
4	51	23
5	54	23
done	54	23
0	10	11
1	16	11
2	27	11
3	40	11
4	50	11
5	53	11
done	53	11
0	11	32
1	27	32
2	99	12
3	516	12
4	2472	12
done	5001	12
0	10	11
1	16	11
2	27	11
3	40	11
4	50	11
5	53	11
done	53	11
0	10	11
1	16	11
2	27	11
3	40	11
4	50	11
5	53	11
done	53	11
0	6	6
1	8	6
done	8	6
0	7	8
1	11	8
2	13	8
done	13	8
0	11	12
1	15	12
done	15	12
0	11	12
1	15	12
done	15	12
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	11	17
1	19	17
2	37	17
3	71	17
4	118	17
5	140	17
6	149	17
done	149	17
0	10	11
1	16	11
2	27	11
3	40	11
4	50	11
5	53	11
done	53	11
0	6	7
1	13	5
2	31	5
3	43	5
4	60	5
5	69	5
6	81	5
7	83	5
done	83	5
0	10	11
1	14	11
done	14	11
0	10	11
1	14	11
done	14	11
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	9	10
1	15	10
2	26	10
3	39	10
4	49	10
5	52	10
done	52	10
0	9	10
1	17	10
2	27	8
3	58	8
4	93	8
done	93	8
0	9	10
1	15	10
2	26	10
3	39	10
4	49	10
5	52	10
done	52	10
0	6	6
1	8	6
done	8	6
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	17	23
1	49	23
2	141	23
3	469	23
4	1718	23
done	5000	23
0	6	9
1	7	9
done	7	9
0	6	9
1	7	9
done	7	9
0	17	23
1	47	23
2	187	23
3	753	23
4	4092	23
done	5000	23
0	12	15
1	24	15
2	61	15
3	119	15
4	206	15
5	262	15
6	290	15
7	352	15
8	571	15
9	1517	15
done	5000	15
0	12	15
1	24	15
2	61	15
3	119	15
4	206	15
5	262	15
6	290	15
7	352	15
8	571	15
9	1517	15
done	5000	15
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3

prune206.0ms

Filtered

71 candidates to 89 candidates (-25.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	76	13	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	13	90

Merged error: 15.5b

Counts

90 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b	(* PI l)
0.3b	(* PI l)
0.3b	(* (/ 1.0 F) (tan (* PI l)))
32.4b	(tan (* PI l))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
19×	`associate-l`
16×	`add-cube-cbrt` `*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
10×	`pow1` `times-frac`
9×	`associate-r`
4×	`prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
3×	`tan-quot` `pow-prod-down` `*-commutative`
1×	`cbrt-undiv` `frac-times` `associate-r/` `div-exp` `associate-l/` `div-inv`

Counts

4 → 78

Calls

4 calls:

4.0ms	(* PI l)
5.0ms	(* PI l)
9.0ms	(* (/ 1.0 F) (tan (* PI l)))
2.0ms	(tan (* PI l))

series43.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* PI l)
6.0ms	(* PI l)
24.0ms	(* (/ 1.0 F) (tan (* PI l)))
9.0ms	(tan (* PI l))

simplify43.7s

Counts

90 → 90

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	11	11
1	17	11
2	27	11
3	36	11
4	45	11
5	50	11
6	59	11
7	76	11
8	95	11
9	103	11
done	103	11
0	10	10
1	15	10
2	21	10
3	30	10
4	40	10
5	49	10
6	54	10
7	63	10
8	80	10
9	99	10
10	107	10
done	107	10
0	9	9
1	16	9
2	25	9
3	37	9
4	55	9
5	68	9
6	80	9
7	92	9
8	115	9
9	125	9
10	141	9
11	143	9
done	143	9
0	9	9
1	15	9
2	24	9
3	34	9
4	61	9
5	127	9
6	298	9
7	833	9
8	3514	9
done	5000	9
0	14	26
1	30	26
2	107	14
3	458	12
4	1799	12
done	5000	12
0	12	26
1	26	26
2	75	12
3	233	12
4	809	10
5	2650	10
done	5000	10
0	10	19
1	14	19
2	17	19
3	19	19
4	21	19
5	22	19
done	22	19
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	26
1	24	26
2	78	10
3	297	10
4	843	10
5	2454	10
done	5000	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	10	10
1	12	10
done	12	10
0	10	10
1	12	10
done	12	10
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	11	11
1	15	11
2	18	11
3	20	11
4	22	11
5	23	11
done	23	11
0	10	15
1	16	15
2	24	15
3	32	15
4	41	15
5	47	15
6	52	15
done	52	15
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	5	5
1	10	3
2	20	3
done	20	3
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	10	10
1	14	10
2	17	10
3	19	10
4	21	10
5	22	10
done	22	10
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	9	9
1	13	9
2	16	9
3	18	9
4	20	9
5	21	9
done	21	9
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	8	8
1	14	8
2	17	6
3	30	6
4	35	6
done	35	6
0	8	8
1	12	8
2	15	8
3	17	8
4	19	8
5	20	8
done	20	8
0	6	6
1	8	6
done	8	6
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	17	23
1	49	23
2	141	23
3	469	23
4	1718	23
done	5000	23
0	6	9
1	7	9
done	7	9
0	6	9
1	7	9
done	7	9
0	15	19
1	41	19
2	117	19
3	436	19
4	1987	19
done	5000	19
0	10	13
1	17	13
2	34	13
3	60	13
4	82	13
5	83	13
done	83	13
0	10	13
1	17	13
2	34	13
3	60	13
4	82	13
5	83	13
done	83	13
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3

prune199.0ms

Filtered

69 candidates to 90 candidates (-30.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	81	9	90
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	83	20	103

Merged error: 15.4b

Counts

103 → 20

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (tan (* PI l)) F)
0.3b	(* PI l)
0.3b	(* PI l)
32.4b	(tan (* PI l))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
9×	`times-frac`
8×	`pow1`
6×	`associate-r` `associate-l`
4×	`add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`tan-quot` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `associate-/l/`

Counts

4 → 72

Calls

4 calls:

5.0ms	(/ (tan (* PI l)) F)
4.0ms	(* PI l)
4.0ms	(* PI l)
2.0ms	(tan (* PI l))

series34.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(/ (tan (* PI l)) F)
3.0ms	(* PI l)
3.0ms	(* PI l)
10.0ms	(tan (* PI l))

simplify29.3s

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	7	11
1	14	11
2	39	7
3	76	7
4	134	5
5	258	5
6	662	5
7	2440	5
done	5000	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	16	11
2	45	5
3	91	5
4	107	5
5	153	5
6	293	5
7	755	5
8	2745	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
2	9	1
done	9	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	11	7
2	13	7
3	14	7
done	14	7
0	7	7
1	8	7
done	8	7
0	10	20
1	20	20
2	52	10
3	119	8
4	198	8
5	316	8
6	779	8
7	3364	8
done	5001	8
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	16	20
2	32	8
3	70	8
4	137	8
5	201	8
6	327	8
7	828	8
8	3568	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	10	17
1	17	17
2	26	17
3	32	17
done	32	17
0	8	8
1	9	8
done	9	8
0	9	14
1	12	14
2	14	14
3	15	14
done	15	14
0	8	8
1	9	8
done	9	8
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	7	7
1	8	7
done	8	7
0	9	11
1	12	11
done	12	11
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	8	7
done	8	7
0	5	7
1	9	7
done	9	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	4
done	6	4
0	7	7
1	8	7
done	8	7
0	2	3
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	3	3
1	5	3
done	5	3
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
done	8	6
0	17	23
1	49	23
2	141	23
3	469	23
4	1718	23
done	5000	23
0	6	9
1	7	9
done	7	9
0	6	9
1	7	9
done	7	9
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	21	29
1	59	29
2	170	29
3	617	29
4	2788	29
done	5001	29
0	8	11
1	12	11
2	14	11
done	14	11
0	8	11
1	12	11
2	14	11
done	14	11

prune158.0ms

Filtered

63 candidates to 84 candidates (-33.3%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	84	20	104

Merged error: 15.4b

Counts

104 → 20

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* PI l))
0.6b	(cbrt (* PI l))
0.6b	(cbrt (* PI l))
32.5b	(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

rewrite15.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×	`cbrt-prod` `pow1/3`
1×	`tan-quot`

Counts

4 → 35

Calls

4 calls:

3.0ms	(cbrt (* PI l))
3.0ms	(cbrt (* PI l))
3.0ms	(cbrt (* PI l))
5.0ms	(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

series98.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (* PI l))
31.0ms	(cbrt (* PI l))
27.0ms	(cbrt (* PI l))
12.0ms	(tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))))

simplify57.1s

Counts

47 → 47

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	15
1	9	15
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	118	4
8	328	4
9	1259	4
done	5001	4
0	7	15
1	9	15
2	11	7
3	16	4
4	22	4
5	32	4
6	53	4
7	118	4
8	328	4
9	1259	4
done	5001	4
0	8	16
1	10	16
2	12	8
3	17	5
4	23	5
5	33	5
6	56	5
7	116	5
8	332	5
9	1267	5
done	5001	5
0	8	16
1	10	16
2	12	8
3	17	5
4	23	5
5	33	5
6	56	5
7	116	5
8	332	5
9	1267	5
done	5001	5
0	9	33
1	11	33
2	13	17
3	18	11
4	24	11
5	34	11
6	55	11
7	120	11
8	335	11
9	1258	11
done	5000	11
0	8	16
1	10	16
2	12	8
3	17	5
4	23	5
5	33	5
6	56	5
7	116	5
8	332	5
9	1267	5
done	5001	5
0	9	47
1	12	47
2	15	9
3	22	6
4	31	6
5	48	6
6	91	6
7	212	6
8	619	6
9	2444	6
done	5000	6
0	8	16
1	10	16
2	12	8
3	17	5
4	23	5
5	33	5
6	56	5
7	116	5
8	332	5
9	1267	5
done	5001	5
0	8	16
1	10	16
2	12	8
3	17	5
4	23	5
5	33	5
6	56	5
7	116	5
8	332	5
9	1267	5
done	5001	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
done	2	2
0	2	2
done	2	2
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	17	23
1	49	23
2	141	23
3	469	23
4	1718	23
done	5000	23
0	6	9
1	7	9
done	7	9
0	6	9
1	7	9
done	7	9
0	8	8
1	18	8
2	28	8
3	49	7
4	89	4
5	195	4
6	503	4
7	1645	4
done	5000	4
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	310	4
6	647	4
7	2095	4
done	5000	4
0	12	13
1	21	13
2	38	13
3	85	12
4	194	9
5	450	9
6	1071	8
7	3669	7
done	5000	7
0	8	8
1	18	8
2	28	8
3	49	7
4	89	4
5	195	4
6	503	4
7	1645	4
done	5000	4
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	310	4
6	647	4
7	2095	4
done	5000	4
0	12	13
1	21	13
2	38	13
3	85	12
4	194	9
5	450	9
6	1071	8
7	3669	7
done	5000	7
0	8	8
1	18	8
2	28	8
3	49	7
4	89	4
5	195	4
6	503	4
7	1645	4
done	5000	4
0	10	10
1	21	9
2	37	8
3	77	7
4	152	4
5	310	4
6	647	4
7	2095	4
done	5000	4
0	12	13
1	21	13
2	38	13
3	85	12
4	194	9
5	450	9
6	1071	8
7	3669	7
done	5000	7

prune72.0ms

Filtered

37 candidates to 47 candidates (-27.0%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	2	16	18
Picked	0	1	1
Done	0	1	1
Total	46	21	67

Merged error: 15.4b

Counts

67 → 21

regimes642.0ms

Accuracy

0% (0.3b remaining)

Error of 12.6b against oracle of 12.3b and baseline of 12.6b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	16
1	17	16
done	17	16

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.2s	870×	body	2560	valid
918.0ms	1701×	body	1280	valid
257.0ms	924×	body	640	valid
253.0ms	4557×	body	80	valid
76.0ms	397×	body	320	valid
24.0ms	192×	body	160	valid
1.0ms	3×	body	5120	exit

Details

sample165.0ms

simplify99.0ms

prune5.0ms

localize16.0ms

rewrite27.0ms

series53.0ms

simplify54.9s

prune206.0ms

localize12.0ms

rewrite22.0ms

series43.0ms

simplify43.7s

prune199.0ms

localize11.0ms

rewrite17.0ms

series34.0ms

simplify29.3s

prune158.0ms

localize16.0ms

rewrite15.0ms

series98.0ms

simplify57.1s

prune72.0ms

regimes642.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.1s

Profiling