Details

sample273.0ms

Algorithm

intervals

Results

212.0ms	116×	body	2560	valid
33.0ms	70×	body	1280	valid
9.0ms	43×	body	640	valid
5.0ms	256×	pre	80	true
2.0ms	18×	body	320	valid
1.0ms	9×	body	160	valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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: 60.0b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

2.2b	(- (/ 1.0 x) (/ 1.0 (tan x)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
10×	`times-frac`
5×	`distribute-lft-out--`
4×	`difference-of-squares`
3×	`add-cube-cbrt` `add-log-exp`
2×	`div-inv`
1×	`pow1` `add-exp-log` `sub-neg` `flip3--` `diff-log` `frac-sub` `add-cbrt-cube` `flip--`

Counts

1 → 22

Calls

1 calls:

15.0ms

(- (/ 1.0 x) (/ 1.0 (tan x)))

series22.0ms

Counts

1 → 3

Calls

1 calls:

22.0ms

(- (/ 1.0 x) (/ 1.0 (tan x)))

simplify12.1s

Counts

25 → 25

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	10	9
2	12	9
3	17	9
4	20	9
5	26	9
6	30	9
7	46	9
8	50	9
9	56	9
10	65	9
11	85	9
12	106	9
13	123	9
14	124	9
done	124	9
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	12	9
2	17	9
3	20	9
4	26	9
5	30	9
6	46	9
7	50	9
8	56	9
9	65	9
10	85	9
11	106	9
12	123	9
13	124	9
done	124	9
0	8	19
1	10	19
2	13	19
done	13	19
0	7	9
1	9	9
2	12	9
done	12	9
0	8	26
1	11	26
2	28	10
3	87	10
4	286	10
5	940	10
6	3127	10
done	5000	10
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	8
1	10	8
2	19	6
3	23	6
4	24	6
done	24	6
0	3	4
1	4	4
done	4	4
0	9	12
1	29	12
2	84	12
3	240	12
4	773	12
5	2602	12
done	5001	12
0	10	26
1	27	21
2	51	21
3	83	21
4	116	21
5	140	21
6	153	19
7	160	19
8	162	19
done	162	19
0	5	5
1	7	5
done	7	5
0	8	17
1	21	17
2	41	17
3	82	17
4	149	15
5	236	15
6	351	15
7	595	15
8	2103	15
done	5001	15
0	6	8
1	7	8
done	7	8
0	8	10
1	9	10
done	9	10
0	8	10
1	10	10
2	11	10
done	11	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	12	11
done	12	11
0	9	12
1	10	12
done	10	12
0	9	12
1	11	12
2	14	12
done	14	12
0	7	10
1	9	10
2	12	10
done	12	10
0	7	10
1	9	10
2	12	10
done	12	10
0	6	8
1	8	8
2	11	8
done	11	8
0	6	8
1	8	8
2	11	8
done	11	8
0	6	8
1	10	8
2	14	8
done	14	8
0	5	5
1	7	5
done	7	5
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	10	13
1	22	11
2	39	11
3	54	11
4	70	11
5	75	11
done	75	11
0	10	13
1	22	11
2	39	11
3	54	11
4	70	11
5	75	11
done	75	11

prune46.0ms

Filtered

21 candidates to 25 candidates (-19.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	24	1	25
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	1	26

Merged error: 0.3b

Counts

26 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))
0.0b	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
0.0b	(* 0.0021164021164021165 (pow x 5))
0.1b	(* 0.022222222222222223 (pow x 3))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`associate-r`
14×	`add-exp-log`
11×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
8×	`unpow-prod-down` `add-cbrt-cube`
7×	`unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`pow1` `cube-prod` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`cube-mult` `associate-+r+` `unpow3`

Counts

4 → 80

Calls

4 calls:

8.0ms	(+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))
6.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
6.0ms	(* 0.0021164021164021165 (pow x 5))
7.0ms	(* 0.022222222222222223 (pow x 3))

series31.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))
14.0ms	(+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))
5.0ms	(* 0.0021164021164021165 (pow x 5))
4.0ms	(* 0.022222222222222223 (pow x 3))

simplify5.8min

Counts

92 → 92

Iterations

Useful iterations: 2 (7.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	92	6
4	229	6
5	702	6
6	2782	6
done	5000	6
0	9	17
1	27	13
2	95	9
3	431	9
4	2042	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	26	17
2	108	7
3	514	7
4	2473	7
done	5001	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	3
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	3
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	91	7
5	241	7
6	737	7
7	2752	7
done	5000	7
0	6	6
1	15	6
2	30	6
3	60	6
4	144	6
5	405	6
6	1301	6
7	4933	6
done	5000	6
0	6	6
1	14	6
2	29	6
3	62	6
4	163	6
5	543	6
6	2397	6
done	5001	6
0	9	17
1	24	13
2	70	9
3	218	9
4	873	7
5	4050	7
done	5000	7
0	7	13
1	13	13
2	23	13
3	41	13
4	89	13
5	228	13
6	758	13
7	3065	13
done	5001	13
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	17
1	23	17
2	75	7
3	252	7
4	947	7
5	4163	7
done	5001	7
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	7	9
1	13	9
2	23	9
3	41	9
4	88	9
5	233	9
6	764	9
7	3068	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	769	6
7	3058	6
done	5001	6
0	5	5
1	13	3
done	13	1
0	7	11
1	15	11
2	23	11
3	33	11
4	55	11
5	117	11
6	326	11
7	1255	11
done	5001	11
0	6	6
1	12	6
2	19	6
3	29	6
4	51	6
5	115	6
6	328	6
7	1249	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	230	5
6	762	5
7	3072	5
done	5000	5
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	12	13
1	33	12
2	72	12
3	170	12
4	482	12
5	1943	12
done	5001	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	29	12
2	66	12
3	138	12
4	367	12
5	1399	12
done	5000	12
0	12	25
1	27	25
2	55	25
3	95	25
4	188	25
5	476	25
6	1518	25
done	5000	25
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	35
1	40	35
2	131	13
3	668	13
4	4452	13
done	5000	13
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	15
1	43	15
2	142	15
3	592	15
4	2886	15
done	5001	15
0	14	35
1	54	29
2	201	25
3	867	25
4	4021	25
done	5001	25
0	12	23
1	45	23
2	155	15
3	546	15
4	1869	15
done	5000	15
0	10	11
1	26	11
2	61	11
3	112	11
4	261	11
5	742	11
6	2601	11
done	5000	11
0	16	18
1	43	17
2	99	16
3	250	16
4	886	16
done	5000	16
0	15	17
1	39	16
2	90	16
3	192	16
4	558	16
5	3197	16
done	5001	16
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	14	16
1	36	16
2	81	16
3	166	16
4	370	16
5	1527	16
done	5000	16
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	15	47
1	47	47
2	164	17
3	796	17
done	5000	17
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	15	19
1	44	19
2	124	19
3	403	19
4	1689	19
done	5000	19
0	17	47
1	61	35
2	208	35
3	806	35
4	3789	35
done	5001	35
0	15	31
1	48	31
2	136	31
3	487	31
4	2410	31
done	5001	31
0	13	15
1	33	15
2	70	15
3	158	15
4	403	15
5	1136	15
6	4543	15
done	5000	15
0	8	9
1	19	9
2	37	9
3	61	9
4	107	9
5	255	9
6	773	9
7	3077	9
done	5000	9
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15
0	13	15
1	32	15
2	66	15
3	114	15
4	209	15
5	504	15
6	1563	15
done	5000	15

prune179.0ms

Filtered

63 candidates to 92 candidates (-46.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	88	4	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	5	93

Merged error: 0.2b

Counts

93 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

19.0ms	(* (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

series105.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))))
23.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
24.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
29.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

simplify4.0min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	14	31
1	39	31
2	118	31
3	443	31
4	1999	31
done	5000	31
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	2	3
1	6	1
done	6	1
0	16	35
1	36	19
2	71	19
3	115	19
4	210	19
5	493	19
6	1528	19
done	5000	19
0	16	34
1	37	34
2	72	19
3	119	19
4	214	19
5	503	19
6	1548	19
done	5000	19
0	16	34
1	37	34
2	74	34
3	125	34
4	240	34
5	567	34
6	1720	34
done	5000	34
0	14	31
1	39	31
2	118	31
3	443	31
4	1999	31
done	5000	31
0	17	69
1	36	69
2	70	69
3	114	69
4	209	69
5	502	69
6	1548	69
done	5001	69
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	17	101
1	44	101
2	85	35
3	143	18
4	340	18
5	1220	18
done	5001	18
0	16	34
1	36	17
2	70	17
3	113	17
4	208	17
5	497	17
6	1554	17
done	5001	17
0	16	34
1	36	17
2	70	17
3	113	17
4	208	17
5	497	17
6	1554	17
done	5001	17
0	17	41
1	46	41
2	126	41
3	401	41
4	1666	41
done	5001	41
0	19	97
1	63	73
2	210	73
3	818	73
4	3756	73
done	5000	73
0	21	53
1	66	53
2	202	53
3	751	53
4	4017	53
done	5000	53
0	21	65
1	70	53
2	225	53
3	877	53
4	3903	53
done	5000	53
0	21	53
1	66	53
2	202	53
3	749	53
4	4053	53
done	5001	53
0	21	65
1	70	53
2	225	53
3	875	53
4	3975	53
done	5000	53
0	17	65
1	50	65
2	138	65
3	493	65
4	2487	65
done	5001	65
0	15	33
1	35	33
2	72	33
3	159	33
4	401	33
5	1139	33
6	4578	33
done	5000	33
0	17	69
1	36	69
2	70	69
3	114	69
4	209	69
5	502	69
6	1548	69
done	5001	69
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	3	5
1	5	3
done	5	1
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	17	71
1	40	71
2	75	37
3	126	19
4	230	19
5	539	19
6	1642	19
done	5000	19
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	16	35
1	35	16
2	70	16
3	113	16
4	209	16
5	496	16
6	1550	16
done	5000	16
0	16	35
1	35	16
2	70	16
3	113	16
4	209	16
5	496	16
6	1550	16
done	5000	16
0	2	3
1	4	1
done	4	1
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	18	35
1	38	35
2	72	35
3	115	35
4	212	35
5	502	35
6	1544	35
done	5000	35
0	18	35
1	38	35
2	72	35
3	115	35
4	212	35
5	502	35
6	1544	35
done	5000	35
0	18	35
1	38	35
2	72	35
3	115	35
4	212	35
5	502	35
6	1544	35
done	5000	35
0	18	35
1	38	35
2	72	35
3	115	35
4	212	35
5	502	35
6	1544	35
done	5000	35
0	16	35
1	35	16
2	70	16
3	113	16
4	209	16
5	496	16
6	1550	16
done	5000	16
0	16	35
1	35	16
2	70	16
3	113	16
4	209	16
5	496	16
6	1550	16
done	5000	16
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	17	51
1	37	51
2	71	51
3	116	51
4	209	51
5	501	51
6	1529	51
done	5000	51
0	17	34
1	37	34
2	71	34
3	116	34
4	209	34
5	501	34
6	1529	34
done	5000	34
0	17	19
1	39	18
2	73	18
3	118	16
4	215	16
5	504	16
6	1540	16
done	5000	16
0	17	52
1	39	52
2	75	52
3	121	52
4	218	52
5	503	52
6	1538	52
done	5000	52
0	16	34
1	36	34
2	70	34
3	114	34
4	207	34
5	498	34
6	1546	34
done	5000	34
0	16	18
1	38	16
2	75	16
3	123	16
4	222	16
5	506	16
6	1542	16
done	5001	16
0	16	34
1	36	34
2	70	34
3	114	34
4	207	34
5	498	34
6	1546	34
done	5000	34
0	17	34
1	37	34
2	71	34
3	116	34
4	209	34
5	501	34
6	1529	34
done	5000	34
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	16	34
1	36	34
2	70	34
3	114	34
4	207	34
5	498	34
6	1546	34
done	5000	34
0	16	34
1	36	34
2	70	34
3	114	34
4	207	34
5	498	34
6	1546	34
done	5000	34
0	15	33
1	34	33
2	68	33
3	113	33
4	208	33
5	499	33
6	1548	33
done	5000	33
0	19	37
1	52	37
2	138	37
3	413	37
4	1639	37
done	5000	37
0	19	49
1	55	49
2	144	49
3	497	49
4	2459	49
done	5000	49
0	19	37
1	52	37
2	138	37
3	416	37
4	1661	37
done	5000	37
0	19	49
1	55	49
2	144	49
3	502	49
4	2486	49
done	5001	49
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	26	65
1	69	65
2	210	65
3	662	45
4	3244	33
done	5000	33
0	30	73
1	71	69
2	210	69
3	939	47
done	5000	47
0	33	93
1	85	93
2	338	93
3	1544	68
done	5000	68

prune684.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	91	13	104

Merged error: 0.1b

Counts

104 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
0.6b	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

8.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
7.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

series97.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
24.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
23.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))
27.0ms	(cbrt (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))

simplify2.7min

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	34
1	35	34
2	69	34
3	112	34
4	208	34
5	490	34
6	1539	34
done	5001	34
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	33	16
2	67	16
3	113	16
4	210	16
5	503	16
6	1550	16
done	5000	16
0	16	20
1	45	20
2	125	20
3	400	20
4	1628	20
done	5000	20
0	18	48
1	62	36
2	209	36
3	809	36
4	3786	36
done	5001	36
0	16	32
1	49	32
2	137	32
3	488	32
4	2457	32
done	5000	32
0	14	16
1	34	16
2	71	16
3	161	16
4	405	16
5	1130	16
6	4535	16
done	5000	16
0	16	35
1	35	35
2	69	35
3	112	35
4	208	35
5	490	35
6	1539	35
done	5001	35
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	16	50
1	36	50
2	71	18
3	117	15
4	216	15
5	509	15
6	1566	15
done	5000	15
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	15	17
1	34	17
2	68	17
3	113	17
4	208	17
5	499	17
6	1548	17
done	5000	17
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62
0	25	57
1	67	57
2	199	48
3	647	39
4	3157	29
done	5001	29
0	30	73
1	72	69
2	212	69
3	965	47
done	5000	47
0	32	85
1	82	85
2	297	85
3	1210	62
done	5000	62

prune857.0ms

Filtered

56 candidates to 64 candidates (-14.3%)

Pruning

17 alts after pruning (14 fresh and 3 done)

	Pruned	Kept	Total
New	60	4	64
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	60	17	77

Merged error: 0.1b

Counts

77 → 17

regimes183.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	18	15
done	18	15

end0.0ms

sample7.6s

Algorithm

intervals

Results

5.5s	3233×	body	2560	valid
1.4s	2550×	body	1280	valid
261.0ms	1233×	body	640	valid
140.0ms	8000×	pre	80	true
79.0ms	643×	body	320	valid
26.0ms	292×	body	160	valid
2.0ms	49×	body	80	valid

Details

sample273.0ms

simplify4.0ms

prune2.0ms

localize6.0ms

rewrite16.0ms

series22.0ms

simplify12.1s

prune46.0ms

localize15.0ms

rewrite29.0ms

series31.0ms

simplify5.8min

prune179.0ms

localize16.0ms

rewrite42.0ms

series105.0ms

simplify4.0min

prune684.0ms

localize23.0ms

rewrite31.0ms

series97.0ms

simplify2.7min

prune857.0ms

regimes183.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample7.6s

Profiling