Details

sample13.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ 1.0 3.0))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

6.0ms

(+ x (/ 1.0 3.0))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(+ x (/ 1.0 3.0))

simplify14.2s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	61	7
3	169	7
4	434	7
5	1187	7
6	2651	7
7	4424	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	25	9
2	52	9
3	117	9
4	302	9
5	865	9
6	3707	9
done	5000	9
0	9	17
1	23	13
2	50	13
3	88	13
4	129	13
5	163	13
6	184	13
7	225	13
8	330	13
9	502	13
10	538	13
done	538	13
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	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

prune27.0ms

Filtered

11 candidates to 15 candidates (-36.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	12	3	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	12	4	16

Merged error: 0.0b

Counts

16 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x (/ 1.0 3.0)))
0.0b	(+ x (/ 1.0 3.0))
0.0b	(+ x (/ 1.0 3.0))
0.1b	(* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
30×	`sqrt-prod`
26×	`add-sqr-sqrt`
20×	`pow1`
14×	`sqrt-div`
13×	`add-cube-cbrt`
11×	`swap-sqr`
9×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+` `distribute-lft-out`
8×	`add-log-exp`
7×	`associate-r` `associate-l`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`+-commutative` `associate-r/` `associate-l/` `sum-log`
1×	`pow2` `rem-sqrt-square` `pow-plus` `sqrt-unprod` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 102

Calls

4 calls:

7.0ms	(sqrt (+ x (/ 1.0 3.0)))
7.0ms	(+ x (/ 1.0 3.0))
6.0ms	(+ x (/ 1.0 3.0))
23.0ms	(* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))

series12.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(sqrt (+ x (/ 1.0 3.0)))
2.0ms	(+ x (/ 1.0 3.0))
2.0ms	(+ x (/ 1.0 3.0))
3.0ms	(* (sqrt (+ x (/ 1.0 3.0))) (sqrt (+ x (/ 1.0 3.0))))

simplify1.5min

Counts

114 → 114

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	6	11
1	13	11
2	30	11
3	62	11
4	91	11
5	119	11
6	163	11
7	204	11
8	227	11
9	233	11
10	235	11
done	235	11
0	7	13
1	8	5
2	9	5
done	9	5
0	6	11
1	13	11
2	30	11
3	62	11
4	91	11
5	119	11
6	163	11
7	204	11
8	227	11
9	233	11
10	235	11
done	235	11
0	2	3
1	6	1
done	6	1
0	8	15
1	11	9
2	12	9
done	12	9
0	8	14
1	11	6
2	14	6
3	15	6
done	15	6
0	8	14
1	11	6
2	20	6
3	25	6
4	43	6
5	83	6
6	194	6
7	568	6
8	2258	6
done	5000	6
0	9	41
1	17	17
2	59	17
3	156	7
4	396	7
5	1004	7
6	2774	7
done	5000	7
0	9	29
1	10	13
2	11	13
done	11	13
0	8	14
1	9	6
2	10	6
done	10	6
0	9	41
1	18	17
2	50	7
3	144	7
4	382	7
5	1005	7
6	2741	7
done	5001	7
0	6	11
1	13	11
2	30	11
3	62	11
4	91	11
5	119	11
6	163	11
7	204	11
8	227	11
9	233	11
10	235	11
done	235	11
0	8	14
1	10	6
done	10	6
0	8	14
1	10	6
done	10	6
0	10	21
1	27	9
2	55	9
3	120	9
4	305	9
5	873	9
6	3737	9
done	5000	9
0	11	37
1	25	13
2	53	13
3	91	13
4	132	13
5	166	13
6	187	13
7	228	13
8	333	13
9	508	13
10	547	13
11	553	13
done	553	13
0	14	23
1	39	23
2	80	23
3	175	23
4	414	23
5	1021	23
6	3956	23
done	5001	23
0	13	25
1	30	21
2	59	21
3	96	21
4	134	21
5	167	21
6	188	21
7	229	21
8	334	21
9	506	21
10	542	21
done	542	21
0	14	23
1	39	23
2	80	23
3	175	23
4	411	23
5	1025	23
6	3947	23
done	5001	23
0	13	25
1	30	21
2	59	21
3	96	21
4	134	21
5	167	21
6	188	21
7	229	21
8	334	21
9	506	21
10	542	21
done	542	21
0	9	25
1	18	11
2	34	11
3	68	11
4	122	11
5	200	11
6	284	11
7	474	11
8	1844	11
done	5000	11
0	7	13
1	9	5
2	13	5
done	13	5
0	9	31
1	14	31
2	16	17
3	25	9
4	40	9
5	66	9
6	138	9
7	354	9
8	1262	9
done	5000	9
0	8	15
1	9	15
done	9	15
0	9	29
1	11	13
2	12	13
done	12	13
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	3	5
1	5	1
done	5	1
0	7	13
1	8	5
2	9	5
done	9	5
0	3	5
1	5	1
done	5	1
0	7	13
1	8	5
2	9	5
done	9	5
0	3	5
1	5	1
done	5	1
0	7	13
1	8	5
2	9	5
done	9	5
0	3	5
1	5	1
done	5	1
0	7	13
1	8	5
2	9	5
done	9	5
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	2	3
1	4	1
done	4	1
0	7	13
1	8	5
2	9	5
done	9	5
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	8	15
1	9	6
2	10	6
done	10	6
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	9	22
1	13	22
2	15	22
done	15	22
0	10	21
1	13	14
done	13	14
0	8	14
1	10	14
done	10	14
0	9	9
1	13	8
done	13	8
0	9	9
1	13	8
done	13	8
0	8	14
1	10	14
done	10	14
0	8	8
1	12	6
2	15	6
done	15	6
0	8	14
1	10	14
done	10	14
0	9	14
1	11	14
done	11	14
0	8	14
1	10	14
done	10	14
0	7	13
1	8	5
2	9	5
done	9	5
0	7	13
1	8	5
2	9	5
done	9	5
0	8	14
1	10	14
done	10	14
0	7	13
1	8	5
2	9	5
done	9	5
0	12	17
1	31	17
2	58	17
3	123	17
4	308	17
5	887	17
6	3719	17
done	5000	17
0	11	19
1	21	19
2	35	19
3	69	19
4	123	19
5	201	19
6	293	19
7	483	19
8	1848	19
done	5000	19
0	12	17
1	31	17
2	58	17
3	123	17
4	306	17
5	872	17
6	3711	17
done	5000	17
0	11	19
1	21	19
2	35	19
3	69	19
4	123	19
5	201	19
6	289	19
7	479	19
8	1831	19
done	5000	19
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	61	7
3	169	7
4	434	7
5	1187	7
6	2651	7
7	4424	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	25	9
2	52	9
3	117	9
4	302	9
5	865	9
6	3707	9
done	5000	9
0	9	17
1	23	13
2	50	13
3	88	13
4	129	13
5	163	13
6	184	13
7	225	13
8	330	13
9	502	13
10	538	13
done	538	13
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	61	7
3	169	7
4	434	7
5	1187	7
6	2651	7
7	4424	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	25	9
2	52	9
3	117	9
4	302	9
5	865	9
6	3707	9
done	5000	9
0	9	17
1	23	13
2	50	13
3	88	13
4	129	13
5	163	13
6	184	13
7	225	13
8	330	13
9	502	13
10	538	13
done	538	13
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	12
2	21	8
3	30	8
4	40	8
5	52	8
6	74	8
7	135	8
8	341	8
9	1270	8
done	5000	8
0	8	14
1	10	7
done	10	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	10	18
1	24	14
2	51	14
3	89	14
4	130	14
5	164	14
6	185	14
7	226	14
8	331	14
9	503	14
10	539	14
done	539	14
0	8	12
1	17	12
2	32	12
3	66	12
4	120	12
5	198	12
6	284	12
7	474	12
8	1871	12
done	5000	12
0	6	6
1	8	6
2	11	6
done	11	6
0	3	3
1	6	1
done	6	1
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
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	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	15	20
1	38	20
2	110	20
3	320	20
4	942	15
5	3240	15
done	5000	15
0	21	33
1	57	33
2	182	33
3	495	29
4	1451	29
5	4983	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	495	33
4	1428	30
5	4608	27
done	5000	27

prune154.0ms

Filtered

67 candidates to 114 candidates (-70.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	114	4	118

Merged error: 0.0b

Counts

118 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x))
0.2b	(* (/ 1.0 3.0) (- (/ 1.0 3.0) x))
1.0b	(pow (/ 1.0 3.0) 3)
19.7b	(/ (+ (pow x 3) (pow (/ 1.0 3.0) 3)) (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

83×	`*-un-lft-identity`
56×	`times-frac`
51×	`add-sqr-sqrt`
41×	`add-cube-cbrt`
29×	`unpow-prod-down` `cube-prod`
20×	`distribute-lft-out`
14×	`add-exp-log` `add-cbrt-cube`
13×	`associate-l`
9×	`associate-/l*`
7×	`pow1`
6×	`associate-r` `add-log-exp`
4×	`distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in` `sum-cubes` `div-inv`
3×	`cbrt-undiv` `pow-unpow` `flip3-+` `div-exp` `associate-/r*` `flip-+`
2×	`frac-times` `flip3--` `associate-*r/` `pow-exp` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `associate-/l/` `rem-cube-cbrt` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `cube-div` `cube-mult` `pow-to-exp` `pow-pow` `frac-2neg` `unpow3` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `distribute-lft-out--` `sqr-pow`

Counts

4 → 159

Calls

4 calls:

14.0ms	(+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x))
14.0ms	(* (/ 1.0 3.0) (- (/ 1.0 3.0) x))
6.0ms	(pow (/ 1.0 3.0) 3)
43.0ms	(/ (+ (pow x 3) (pow (/ 1.0 3.0) 3)) (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

series21.0ms

Counts

4 → 10

Calls

4 calls:

3.0ms	(+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x))
4.0ms	(* (/ 1.0 3.0) (- (/ 1.0 3.0) x))
0.0ms	(pow (/ 1.0 3.0) 3)
13.0ms	(/ (+ (pow x 3) (pow (/ 1.0 3.0) 3)) (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

simplify6.9min

Counts

169 → 169

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	15	25
1	39	25
2	79	25
3	160	25
4	365	25
5	954	25
6	3837	25
done	5000	25
0	14	24
1	39	24
2	80	24
3	162	24
4	368	24
5	952	24
6	3822	24
done	5001	24
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	17	71
1	72	71
2	296	27
3	1322	25
done	5001	25
0	15	49
1	37	49
2	76	49
3	157	49
4	361	49
5	951	49
6	3811	49
done	5000	49
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	15	71
1	44	71
2	114	25
3	332	25
4	1412	25
done	5000	25
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	9	10
1	29	10
2	78	10
3	194	10
4	573	10
5	1871	10
done	5001	10
0	9	14
1	18	14
2	45	14
3	92	14
4	188	13
5	256	13
6	336	13
7	414	13
8	457	13
9	463	13
done	463	13
0	17	51
1	45	51
2	93	51
3	180	51
4	388	51
5	972	51
6	3835	51
done	5000	51
0	15	25
1	37	25
2	76	25
3	157	25
4	361	25
5	963	25
6	3811	25
done	5000	25
0	16	36
1	40	36
2	81	36
3	163	36
4	369	36
5	955	36
6	3820	36
done	5000	36
0	15	25
1	37	25
2	76	25
3	157	25
4	361	25
5	963	25
6	3811	25
done	5000	25
0	12	23
1	33	21
2	66	21
3	136	21
4	321	21
5	890	21
6	3750	21
done	5000	21
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	954	24
6	3822	24
done	5001	24
0	16	40
1	40	40
2	79	40
3	160	40
4	365	40
5	957	40
6	3837	40
done	5001	40
0	15	25
1	37	25
2	76	25
3	157	25
4	361	25
5	963	25
6	3811	25
done	5000	25
0	15	25
1	37	25
2	76	25
3	157	25
4	361	25
5	963	25
6	3811	25
done	5000	25
0	15	25
1	37	25
2	76	25
3	157	25
4	361	25
5	963	25
6	3811	25
done	5000	25
0	11	12
1	30	10
2	59	10
3	124	10
4	306	10
5	880	10
6	3721	10
done	5000	10
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	954	24
6	3822	24
done	5001	24
0	15	47
1	35	43
2	73	43
3	136	43
4	290	43
5	640	43
6	1066	43
7	1327	43
8	1607	43
9	2325	43
10	3063	43
11	3197	43
done	3197	43
0	11	20
1	18	20
2	33	20
3	53	20
4	80	20
5	109	20
6	130	20
7	154	20
8	205	20
9	295	20
10	402	20
11	460	20
12	508	20
13	523	20
14	528	20
15	533	20
16	535	20
done	535	20
0	14	32
1	32	28
2	67	28
3	111	28
4	194	28
5	346	28
6	504	28
7	618	28
8	783	28
9	1157	28
10	1437	28
11	1516	28
done	1516	28
0	11	20
1	18	20
2	33	20
3	53	20
4	80	20
5	109	20
6	130	20
7	154	20
8	205	20
9	295	20
10	402	20
11	460	20
12	508	20
13	523	20
14	528	20
15	533	20
16	535	20
done	535	20
0	11	19
1	27	13
2	59	13
3	110	13
4	200	13
5	346	13
6	488	13
7	591	13
8	742	13
9	994	13
10	1058	13
done	1058	13
0	10	19
1	17	19
2	32	19
3	52	19
4	79	19
5	108	19
6	129	19
7	153	19
8	204	19
9	294	19
10	401	19
11	458	19
12	506	19
13	521	19
14	528	19
15	561	19
16	749	19
17	1215	19
18	1787	19
19	2030	19
done	5000	19
0	12	31
1	22	31
2	37	31
3	57	31
4	84	31
5	113	31
6	134	31
7	158	31
8	209	31
9	299	31
10	406	31
11	462	31
12	507	31
13	516	31
done	516	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	11	16
1	19	16
2	34	16
3	54	16
4	81	16
5	110	16
6	131	16
7	155	16
8	206	16
9	296	16
10	403	16
11	459	16
12	504	16
13	513	16
done	513	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	2	3
1	4	1
done	4	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	14	33
1	32	31
2	47	31
3	67	31
4	94	31
5	123	31
6	144	31
7	168	31
8	219	31
9	309	31
10	416	31
11	472	31
12	517	31
13	526	31
done	526	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	13	18
1	29	16
2	48	16
3	68	16
4	95	16
5	124	16
6	145	16
7	169	16
8	220	16
9	310	16
10	417	16
11	474	16
12	519	16
13	528	16
done	528	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	4	5
1	14	1
2	18	1
done	18	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	14	33
1	32	31
2	47	31
3	67	31
4	94	31
5	123	31
6	144	31
7	168	31
8	219	31
9	309	31
10	416	31
11	472	31
12	517	31
13	526	31
done	526	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	13	18
1	29	16
2	48	16
3	68	16
4	95	16
5	124	16
6	145	16
7	169	16
8	220	16
9	310	16
10	417	16
11	474	16
12	519	16
13	528	16
done	528	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	4	5
1	14	1
2	18	1
done	18	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	14	33
1	32	31
2	47	31
3	67	31
4	94	31
5	123	31
6	144	31
7	168	31
8	219	31
9	309	31
10	416	31
11	472	31
12	517	31
13	526	31
done	526	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	13	18
1	29	16
2	48	16
3	68	16
4	95	16
5	124	16
6	145	16
7	169	16
8	220	16
9	310	16
10	417	16
11	474	16
12	519	16
13	528	16
done	528	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	4	5
1	14	1
2	18	1
done	18	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	14	33
1	32	31
2	47	31
3	67	31
4	94	31
5	123	31
6	144	31
7	168	31
8	219	31
9	309	31
10	416	31
11	472	31
12	517	31
13	526	31
done	526	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	13	18
1	29	16
2	48	16
3	68	16
4	95	16
5	124	16
6	145	16
7	169	16
8	220	16
9	310	16
10	417	16
11	474	16
12	519	16
13	528	16
done	528	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	4	5
1	14	1
2	18	1
done	18	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	12	31
1	22	31
2	37	31
3	57	31
4	84	31
5	113	31
6	134	31
7	158	31
8	209	31
9	299	31
10	406	31
11	462	31
12	507	31
13	516	31
done	516	31
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	11	16
1	19	16
2	34	16
3	54	16
4	81	16
5	110	16
6	131	16
7	155	16
8	206	16
9	296	16
10	403	16
11	459	16
12	504	16
13	513	16
done	513	16
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	2	3
1	4	1
done	4	1
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	10	15
1	18	15
2	33	15
3	53	15
4	80	15
5	109	15
6	130	15
7	154	15
8	205	15
9	295	15
10	402	15
11	459	15
12	504	15
13	513	15
done	513	15
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	15	39
1	39	39
2	78	39
3	159	39
4	363	39
5	952	39
6	3821	39
done	5001	39
0	14	24
1	36	24
2	75	24
3	156	24
4	362	24
5	953	24
6	3826	24
done	5000	24
0	10	11
1	29	9
2	58	9
3	123	9
4	306	9
5	880	9
6	3699	9
done	5000	9
0	14	24
1	36	24
2	75	24
3	156	24
4	359	24
5	955	24
6	3821	24
done	5000	24
0	14	24
1	36	24
2	75	24
3	156	24
4	359	24
5	955	24
6	3821	24
done	5000	24
0	10	19
1	17	19
2	32	19
3	52	19
4	79	19
5	111	19
6	149	19
7	224	19
8	426	19
9	700	19
10	1055	19
11	1499	19
12	1940	19
13	2846	19
done	5000	19
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	13	23
1	35	23
2	74	23
3	155	23
4	360	23
5	956	23
6	3847	23
done	5000	23
0	15	27
1	50	27
2	156	25
3	569	25
4	2768	25
done	5000	25
0	15	37
1	49	35
2	143	33
3	422	33
4	1352	33
done	5001	33
0	17	43
1	57	33
2	232	33
3	1208	33
done	5001	33
0	13	23
1	37	23
2	105	23
3	338	23
4	1672	23
done	5000	23
0	7	7
1	10	7
2	17	7
3	22	7
4	27	7
done	27	7
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	29	6
done	29	6
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	29	6
done	29	6
0	3	3
1	6	1
done	6	1
0	7	9
1	11	9
2	18	9
3	42	9
4	98	9
5	262	9
6	885	9
7	3320	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	74	6
5	181	6
6	556	6
7	2180	6
done	5000	6
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	7	11
1	17	11
2	38	6
3	75	6
4	177	6
5	476	6
6	1525	6
done	5000	6
0	6	6
1	14	3
2	20	3
3	30	3
4	53	3
5	118	3
6	335	3
7	1269	3
done	5001	3
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	9	13
1	26	13
2	95	13
3	384	7
4	1643	7
done	5001	7
0	7	7
1	18	7
2	42	3
3	72	3
4	126	3
5	254	3
6	524	3
7	1528	3
done	5001	3
0	8	10
1	21	10
2	59	10
3	195	8
4	638	8
5	1767	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	141	6
5	293	6
6	653	6
7	2167	6
done	5000	6
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	6	6
1	17	6
2	41	5
3	77	5
4	141	5
5	291	5
6	643	5
7	2141	5
done	5001	5
0	8	10
1	21	10
2	57	10
3	183	8
4	575	8
5	1615	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	147	6
5	308	6
6	752	6
7	2742	6
done	5001	6
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	6	6
1	17	6
2	41	6
3	99	6
4	255	6
5	742	6
6	3290	6
done	5000	6
0	7	9
1	22	9
2	53	9
3	145	5
4	366	5
5	596	5
6	1421	5
7	4619	5
done	5001	5
0	6	6
1	17	6
2	41	5
3	77	5
4	149	5
5	320	5
6	756	5
7	2727	5
done	5001	5
0	6	6
1	19	6
2	38	6
3	72	6
4	133	6
5	254	6
6	793	6
7	2808	6
done	5001	6
0	6	6
1	17	6
2	41	6
3	99	6
4	260	6
5	750	6
6	3318	6
done	5000	6
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	5
1	18	5
2	37	5
3	71	5
4	132	5
5	255	5
6	794	5
7	2840	5
done	5000	5
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	19	6
2	55	6
3	142	6
4	434	6
5	1365	6
done	5000	6
0	6	6
1	17	6
2	47	6
3	117	6
4	332	6
5	1019	6
6	4296	6
done	5001	6
0	7	13
1	17	7
2	41	7
3	99	7
4	263	7
5	773	7
6	3407	7
done	5000	7
0	6	6
1	17	3
2	41	3
3	99	3
4	263	3
5	773	3
6	3394	3
done	5000	3
0	7	17
1	22	11
2	87	7
3	431	7
4	4303	7
done	5000	7
0	7	11
1	17	11
2	38	6
3	75	6
4	177	6
5	476	6
6	1525	6
done	5000	6
0	6	6
1	14	3
2	20	3
3	30	3
4	53	3
5	118	3
6	335	3
7	1269	3
done	5001	3
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	9	13
1	26	13
2	95	13
3	384	7
4	1643	7
done	5001	7
0	7	7
1	18	7
2	42	3
3	72	3
4	126	3
5	254	3
6	524	3
7	1528	3
done	5001	3
0	8	10
1	21	10
2	59	10
3	195	8
4	638	8
5	1767	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	141	6
5	293	6
6	653	6
7	2167	6
done	5000	6
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	6	6
1	17	6
2	41	5
3	77	5
4	141	5
5	291	5
6	643	5
7	2141	5
done	5001	5
0	8	10
1	21	10
2	57	10
3	183	8
4	575	8
5	1615	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	147	6
5	308	6
6	752	6
7	2742	6
done	5001	6
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	6	6
1	17	6
2	41	6
3	99	6
4	255	6
5	742	6
6	3290	6
done	5000	6
0	7	9
1	22	9
2	53	9
3	145	5
4	366	5
5	596	5
6	1421	5
7	4619	5
done	5001	5
0	6	6
1	17	6
2	41	5
3	77	5
4	149	5
5	320	5
6	756	5
7	2727	5
done	5001	5
0	6	6
1	19	6
2	38	6
3	72	6
4	133	6
5	254	6
6	793	6
7	2808	6
done	5001	6
0	6	6
1	17	6
2	41	6
3	99	6
4	260	6
5	750	6
6	3318	6
done	5000	6
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	5
1	18	5
2	37	5
3	71	5
4	132	5
5	255	5
6	794	5
7	2840	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	17	6
2	42	6
3	100	6
4	265	6
5	776	6
6	3409	6
done	5000	6
0	6	6
1	17	6
2	42	6
3	100	6
4	265	6
5	776	6
6	3409	6
done	5000	6
0	7	7
1	12	5
2	18	5
3	28	5
4	49	5
5	109	5
6	318	5
7	1253	5
done	5000	5
0	7	7
1	12	5
2	18	5
3	28	5
4	49	5
5	109	5
6	318	5
7	1253	5
done	5000	5
0	6	9
1	11	9
2	26	9
3	42	9
4	64	9
5	86	9
6	97	9
7	99	9
done	99	9
0	10	12
1	17	12
2	28	12
3	37	12
4	46	12
5	51	12
6	60	12
7	77	12
8	96	12
9	104	12
done	104	12
0	8	11
1	14	11
2	21	11
3	30	11
4	40	11
5	49	11
6	54	11
7	63	11
8	80	11
9	99	11
10	107	11
done	107	11
0	7	10
1	15	10
2	36	10
3	62	10
4	100	10
5	135	10
6	158	10
7	172	10
8	195	10
9	205	10
10	221	10
11	223	10
done	223	10
0	7	10
1	14	10
2	35	10
3	69	10
4	128	10
5	254	10
6	513	10
7	1393	10
done	5000	10
0	13	29
1	29	29
2	124	15
3	652	13
4	3401	13
done	5000	13
0	10	29
1	25	29
2	91	13
3	390	13
4	1902	11
done	5000	11
0	8	21
1	13	21
2	28	21
3	44	21
4	66	21
5	88	21
6	99	21
7	101	21
done	101	21
0	7	10
1	12	10
2	27	10
3	43	10
4	65	10
5	87	10
6	98	10
7	100	10
done	100	10
0	8	29
1	23	29
2	102	11
3	488	11
4	2118	11
done	5000	11
0	7	10
1	12	10
2	27	10
3	43	10
4	65	10
5	87	10
6	98	10
7	100	10
done	100	10
0	7	10
1	12	10
2	27	10
3	43	10
4	65	10
5	87	10
6	98	10
7	100	10
done	100	10
0	9	11
1	28	11
2	74	11
3	205	11
4	598	11
5	2069	11
done	5000	11
0	10	19
1	30	17
2	72	17
3	135	15
4	213	15
5	293	13
6	787	13
7	3966	13
done	5000	13
0	8	13
1	18	13
2	41	13
3	98	13
4	219	13
5	350	13
6	566	13
7	1001	13
8	3792	13
done	5000	13
0	6	7
1	14	7
2	19	7
3	23	7
4	25	7
5	28	5
done	28	5
0	8	11
1	11	11
2	12	11
done	12	11
0	8	11
1	11	11
2	12	11
done	12	11
0	10	12
1	15	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	10	12
1	15	12
2	19	12
3	21	12
4	23	12
5	24	12
done	24	12
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	11	6
2	20	6
3	29	6
4	34	6
5	40	6
6	42	6
7	43	6
done	43	6
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	11	6
2	20	6
3	30	6
4	39	6
5	42	6
6	43	6
done	43	6
0	8	17
1	15	17
2	24	17
3	32	17
4	41	17
5	47	17
6	52	17
done	52	17
0	7	10
1	12	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	5	5
1	10	3
2	20	3
done	20	3
0	8	11
1	18	11
2	34	11
3	42	11
4	48	11
5	55	11
6	57	11
done	57	11
0	10	12
1	20	12
2	40	12
3	58	12
4	82	12
5	106	12
6	116	12
done	116	12
0	5	5
1	10	3
2	20	3
done	20	3
0	7	10
1	10	10
2	17	10
3	26	10
4	34	10
5	36	10
6	37	10
done	37	10
0	7	10
1	10	10
2	17	10
3	26	10
4	34	10
5	36	10
6	37	10
done	37	10
0	9	11
1	14	11
2	30	11
3	52	11
4	81	11
5	121	11
6	143	11
7	150	11
done	150	11
0	9	11
1	14	11
2	30	11
3	52	11
4	81	11
5	121	11
6	143	11
7	150	11
done	150	11
0	8	10
1	13	10
2	29	10
3	51	10
4	78	10
5	108	10
6	121	10
7	123	10
done	123	10
0	9	11
1	14	11
2	30	11
3	52	11
4	81	11
5	121	11
6	143	11
7	150	11
done	150	11
0	9	11
1	14	11
2	30	11
3	52	11
4	81	11
5	121	11
6	143	11
7	150	11
done	150	11
0	8	10
1	13	10
2	29	10
3	51	10
4	78	10
5	108	10
6	121	10
7	123	10
done	123	10
0	8	10
1	13	10
2	29	10
3	49	10
4	76	10
5	104	10
6	117	10
7	119	10
done	119	10
0	8	10
1	13	10
2	29	10
3	49	10
4	76	10
5	104	10
6	117	10
7	119	10
done	119	10
0	6	9
1	11	9
2	26	9
3	42	9
4	64	9
5	86	9
6	97	9
7	99	9
done	99	9
0	6	9
1	11	9
2	26	9
3	42	9
4	64	9
5	86	9
6	97	9
7	99	9
done	99	9
0	8	9
1	15	9
2	31	7
3	78	7
4	130	7
5	170	7
6	179	7
7	181	7
done	181	7
0	9	13
1	30	13
2	85	13
3	269	13
4	894	13
5	3560	13
done	5000	13
0	8	15
1	20	15
2	54	15
3	152	14
4	384	13
5	730	13
6	1336	13
7	2877	13
done	5000	13
0	6	7
1	9	7
2	16	7
3	23	7
4	29	7
done	29	7
0	10	15
1	22	14
2	47	14
3	100	14
4	249	14
5	710	14
6	2818	14
done	5000	14
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	9	14
1	18	14
2	40	14
3	77	14
4	158	14
5	370	14
6	1078	14
done	5001	14
0	10	29
1	16	29
2	31	29
3	51	29
4	78	29
5	107	29
6	128	29
7	152	29
8	203	29
9	293	29
10	400	29
11	456	29
12	501	29
13	510	29
done	510	29
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	10	41
1	29	41
2	110	15
3	482	15
4	2440	15
done	5000	15
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	11	17
1	35	17
2	115	15
3	422	15
4	1757	15
done	5000	15
0	12	41
1	40	37
2	138	37
3	485	27
4	1505	27
5	4941	27
done	5000	27
0	10	27
1	31	27
2	96	25
3	298	23
4	972	23
5	3252	23
done	5000	23
0	8	13
1	15	13
2	33	13
3	55	13
4	89	13
5	129	13
6	169	13
7	259	13
8	550	13
9	1537	13
10	4388	13
done	5000	13
0	8	10
1	14	10
2	24	9
3	39	7
4	47	7
5	53	7
6	55	7
7	56	7
done	56	7
0	8	10
1	14	10
2	24	9
3	39	7
4	47	7
5	53	7
6	55	7
7	56	7
done	56	7
0	8	10
1	14	10
2	24	9
3	40	7
4	52	7
5	55	7
6	56	7
done	56	7
0	8	10
1	14	10
2	24	9
3	40	7
4	52	7
5	55	7
6	56	7
done	56	7
0	5	5
1	7	5
done	7	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	13	23
1	35	23
2	74	23
3	155	23
4	359	23
5	956	23
6	3825	23
done	5000	23
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7
0	8	9
1	19	9
2	40	9
3	51	9
4	71	7
5	100	7
6	144	7
7	239	7
8	466	7
9	1401	7
done	5000	7

prune355.0ms

Filtered

111 candidates to 169 candidates (-52.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	0	1	1
Picked	0	1	1
Done	1	1	2
Total	169	4	173

Merged error: 0b

Counts

173 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

1.0b	(pow (/ 1.0 3.0) 3)
1.3b	(exp (- (log (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))))
9.2b	(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
15.6b	(log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

47×	`*-un-lft-identity`
25×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
21×	`unpow-prod-down` `log-prod` `cube-prod`
18×	`times-frac`
13×	`exp-sum`
11×	`pow1`
10×	`distribute-lft-out`
9×	`add-exp-log` `associate--l+`
8×	`exp-prod`
7×	`add-cbrt-cube`
6×	`log-div` `log-pow`
5×	`add-log-exp`
4×	`distribute-lft-out--`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`rem-log-exp` `pow-exp` `sum-cubes` `div-inv` `rem-exp-log` `associate--r-` `rem-cube-cbrt`
1×	`cbrt-undiv` `cube-div` `cube-mult` `pow-to-exp` `sub-neg` `pow-pow` `exp-diff` `diff-log` `unpow3` `div-exp` `difference-of-squares` `sqr-pow`

Counts

4 → 111

Calls

4 calls:

6.0ms	(pow (/ 1.0 3.0) 3)
36.0ms	(exp (- (log (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))))
25.0ms	(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
13.0ms	(log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

series39.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(pow (/ 1.0 3.0) 3)
18.0ms	(exp (- (log (+ (pow x 3) (pow (/ 1.0 3.0) 3))) (log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))))
16.0ms	(log (+ (pow x 3) (pow (/ 1.0 3.0) 3)))
5.0ms	(log (+ (* (/ 1.0 3.0) (- (/ 1.0 3.0) x)) (* x x)))

simplify6.1min

Counts

121 → 121

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	30
1	19	30
2	36	17
3	57	17
4	84	17
5	113	17
6	134	17
7	158	17
8	209	17
9	299	17
10	406	17
11	462	17
12	507	17
13	516	17
done	516	17
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	2	2
1	4	1
done	4	1
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	12	18
1	36	18
2	116	16
3	420	16
4	1772	16
done	5000	16
0	13	42
1	41	38
2	139	38
3	486	28
4	1502	28
5	4922	28
done	5000	28
0	11	28
1	32	28
2	100	26
3	309	24
4	985	24
5	3255	24
done	5000	24
0	9	14
1	16	14
2	34	14
3	56	14
4	90	14
5	130	14
6	170	14
7	260	14
8	551	14
9	1548	14
10	4410	14
done	5000	14
0	9	14
1	15	14
2	30	14
3	50	14
4	77	14
5	106	14
6	127	14
7	151	14
8	202	14
9	292	14
10	399	14
11	456	14
12	501	14
13	510	14
done	510	14
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	10	15
1	16	13
2	31	13
3	51	13
4	78	13
5	107	13
6	128	13
7	152	13
8	203	13
9	293	13
10	400	13
11	456	13
12	501	13
13	510	13
done	510	13
0	11	31
1	17	31
2	32	31
3	52	31
4	79	31
5	108	31
6	129	31
7	153	31
8	204	31
9	294	31
10	401	31
11	458	31
12	503	31
13	512	31
done	512	31
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	11	44
1	18	44
2	35	16
3	60	16
4	93	16
5	132	16
6	174	16
7	258	16
8	517	16
9	1534	16
done	5000	16
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	10	15
1	16	15
2	31	15
3	51	15
4	78	15
5	107	15
6	128	15
7	152	15
8	203	15
9	293	15
10	400	15
11	456	15
12	501	15
13	510	15
done	510	15
0	11	22
1	30	22
2	58	13
3	124	13
4	307	13
5	876	13
6	3714	13
done	5000	13
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	10	18
1	24	14
2	51	14
3	89	14
4	130	14
5	164	14
6	185	14
7	226	14
8	331	14
9	503	14
10	539	14
done	539	14
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	4	4
1	15	1
2	19	1
3	23	1
done	23	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	2	2
1	4	1
done	4	1
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	11	14
1	38	14
2	154	14
3	669	14
done	5000	14
0	13	30
1	41	20
2	165	20
3	781	20
done	5000	20
0	11	20
1	36	10
2	115	10
3	431	10
4	2940	10
done	5000	10
0	9	10
1	27	10
2	69	10
3	182	10
4	571	10
5	1973	10
done	5000	10
0	9	10
1	26	10
2	53	10
3	118	10
4	305	10
5	866	10
6	3680	10
done	5000	10
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	10	11
1	27	9
2	54	9
3	119	9
4	303	9
5	871	9
6	3709	9
done	5001	9
0	11	23
1	28	23
2	55	23
3	120	23
4	305	23
5	873	23
6	3727	23
done	5000	23
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	11	32
1	29	32
2	57	12
3	124	12
4	313	12
5	891	12
6	3736	12
done	5000	12
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	10	11
1	27	11
2	54	11
3	119	11
4	303	11
5	871	11
6	3709	11
done	5001	11
0	18	54
1	44	54
2	87	54
3	173	54
4	399	54
5	1016	54
6	3989	54
done	5000	54
0	17	27
1	41	27
2	81	27
3	162	27
4	367	27
5	960	27
6	3830	27
done	5001	27
0	2	2
1	5	1
done	5	1
0	18	28
1	44	28
2	84	28
3	165	28
4	371	28
5	950	28
6	3818	28
done	5001	28
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	10	11
1	27	9
2	54	9
3	119	9
4	303	9
5	871	9
6	3709	9
done	5001	9
0	11	16
1	20	16
2	37	15
3	57	15
4	84	15
5	113	15
6	134	15
7	158	15
8	209	15
9	299	15
10	406	15
11	462	15
12	507	15
13	516	15
done	516	15
0	12	23
1	31	21
2	61	14
3	129	14
4	320	12
5	906	12
6	3764	12
done	5000	12
0	17	27
1	44	27
2	86	24
3	170	24
4	384	24
5	970	24
6	3878	24
done	5000	24
0	11	12
1	28	10
2	55	10
3	120	10
4	305	10
5	873	10
6	3723	10
done	5000	10
0	17	27
1	44	27
2	86	24
3	170	24
4	384	24
5	970	24
6	3878	24
done	5000	24
0	11	19
1	25	13
2	52	13
3	90	13
4	131	13
5	165	13
6	186	13
7	227	13
8	332	13
9	504	13
10	539	13
done	539	13
0	13	22
1	25	22
2	43	19
3	66	19
4	107	19
5	156	19
6	239	19
7	495	19
8	1531	19
9	4807	19
done	5000	19
0	3	3
1	5	1
done	5	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	5	5
1	16	1
done	16	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	5	5
1	16	1
done	16	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	5	5
1	16	1
done	16	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	5	5
1	16	1
done	16	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	3	3
1	5	1
done	5	1
0	16	26
1	43	26
2	85	23
3	169	23
4	391	23
5	1133	23
done	5000	23
0	18	30
1	58	30
2	167	25
3	577	25
4	2792	25
done	5001	25
0	14	43
1	42	37
2	140	37
3	488	27
4	1503	27
5	4929	27
done	5000	27
0	18	40
1	57	38
2	155	33
3	451	33
4	1412	33
done	5000	33
0	10	15
1	17	13
2	35	13
3	57	13
4	91	13
5	131	13
6	171	13
7	261	13
8	550	13
9	1536	13
10	4314	13
done	5000	13
0	10	11
1	27	9
2	54	9
3	119	9
4	303	9
5	871	9
6	3709	9
done	5001	9
0	11	16
1	20	16
2	37	15
3	57	15
4	84	15
5	113	15
6	134	15
7	158	15
8	209	15
9	299	15
10	406	15
11	462	15
12	507	15
13	516	15
done	516	15
0	10	11
1	27	9
2	54	9
3	119	9
4	303	9
5	871	9
6	3709	9
done	5001	9
0	10	15
1	16	13
2	31	13
3	51	13
4	78	13
5	107	13
6	128	13
7	152	13
8	203	13
9	293	13
10	400	13
11	456	13
12	501	13
13	510	13
done	510	13
0	17	27
1	44	25
2	86	24
3	172	24
4	397	24
5	1138	24
done	5001	24
0	17	27
1	44	27
2	86	24
3	172	24
4	403	24
5	1203	24
done	5001	24
0	18	55
1	45	55
2	87	49
3	171	49
4	391	49
5	1127	49
done	5001	49
0	17	27
1	44	27
2	86	24
3	170	24
4	392	24
5	1128	24
done	5000	24
0	18	80
1	48	79
2	111	25
3	305	25
4	1089	25
done	5000	25
0	17	27
1	44	27
2	86	24
3	170	24
4	392	24
5	1128	24
done	5000	24
0	17	27
1	44	27
2	86	24
3	170	24
4	392	24
5	1128	24
done	5000	24
0	7	7
1	10	7
2	17	7
3	22	7
4	27	7
done	27	7
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	29	6
done	29	6
0	6	6
1	10	6
2	12	6
3	19	6
4	24	6
5	29	6
done	29	6
0	3	3
1	6	1
done	6	1
0	7	9
1	11	9
2	18	9
3	42	9
4	98	9
5	262	9
6	885	9
7	3320	9
done	5000	9
0	6	6
1	10	6
2	15	6
3	33	6
4	74	6
5	181	6
6	556	6
7	2180	6
done	5000	6
0	5	5
1	12	3
2	19	3
3	30	3
4	52	3
5	114	3
6	331	3
7	1261	3
done	5001	3
0	7	11
1	17	11
2	38	6
3	75	6
4	177	6
5	476	6
6	1525	6
done	5000	6
0	6	6
1	14	3
2	20	3
3	30	3
4	53	3
5	118	3
6	335	3
7	1269	3
done	5001	3
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	9	13
1	26	13
2	95	13
3	384	7
4	1643	7
done	5001	7
0	7	7
1	18	7
2	42	3
3	72	3
4	126	3
5	254	3
6	524	3
7	1528	3
done	5001	3
0	8	10
1	21	10
2	59	10
3	195	8
4	638	8
5	1767	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	141	6
5	293	6
6	653	6
7	2167	6
done	5000	6
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	6	6
1	17	6
2	41	5
3	77	5
4	141	5
5	291	5
6	643	5
7	2141	5
done	5001	5
0	8	10
1	21	10
2	57	10
3	183	8
4	575	8
5	1615	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	147	6
5	308	6
6	752	6
7	2742	6
done	5001	6
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	6	6
1	17	6
2	41	6
3	99	6
4	255	6
5	742	6
6	3290	6
done	5000	6
0	7	9
1	22	9
2	53	9
3	145	5
4	366	5
5	596	5
6	1421	5
7	4619	5
done	5001	5
0	6	6
1	17	6
2	41	5
3	77	5
4	149	5
5	320	5
6	756	5
7	2727	5
done	5001	5
0	6	6
1	19	6
2	38	6
3	72	6
4	133	6
5	254	6
6	793	6
7	2808	6
done	5001	6
0	6	6
1	17	6
2	41	6
3	99	6
4	260	6
5	750	6
6	3318	6
done	5000	6
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	5
1	18	5
2	37	5
3	71	5
4	132	5
5	255	5
6	794	5
7	2840	5
done	5000	5
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	19	6
2	55	6
3	142	6
4	434	6
5	1365	6
done	5000	6
0	6	6
1	17	6
2	47	6
3	117	6
4	332	6
5	1019	6
6	4296	6
done	5001	6
0	7	13
1	17	7
2	41	7
3	99	7
4	263	7
5	773	7
6	3407	7
done	5000	7
0	6	6
1	17	3
2	41	3
3	99	3
4	263	3
5	773	3
6	3394	3
done	5000	3
0	7	17
1	22	11
2	87	7
3	431	7
4	4303	7
done	5000	7
0	7	11
1	17	11
2	38	6
3	75	6
4	177	6
5	476	6
6	1525	6
done	5000	6
0	6	6
1	14	3
2	20	3
3	30	3
4	53	3
5	118	3
6	335	3
7	1269	3
done	5001	3
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	6	6
1	14	6
2	20	6
3	35	6
4	60	6
5	118	6
6	337	6
7	1267	6
done	5000	6
0	9	13
1	26	13
2	95	13
3	384	7
4	1643	7
done	5001	7
0	7	7
1	18	7
2	42	3
3	72	3
4	126	3
5	254	3
6	524	3
7	1528	3
done	5001	3
0	8	10
1	21	10
2	59	10
3	195	8
4	638	8
5	1767	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	141	6
5	293	6
6	653	6
7	2167	6
done	5000	6
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	6	6
1	17	6
2	41	5
3	77	5
4	141	5
5	291	5
6	643	5
7	2141	5
done	5001	5
0	8	10
1	21	10
2	57	10
3	183	8
4	575	8
5	1615	8
done	5000	8
0	7	7
1	18	7
2	42	6
3	78	6
4	147	6
5	308	6
6	752	6
7	2742	6
done	5001	6
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	7	7
1	18	7
2	42	7
3	100	7
4	254	7
5	720	7
6	3163	7
done	5000	7
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	6	6
1	17	6
2	41	6
3	99	6
4	255	6
5	742	6
6	3290	6
done	5000	6
0	7	9
1	22	9
2	53	9
3	145	5
4	366	5
5	596	5
6	1421	5
7	4619	5
done	5001	5
0	6	6
1	17	6
2	41	5
3	77	5
4	149	5
5	320	5
6	756	5
7	2727	5
done	5001	5
0	6	6
1	19	6
2	38	6
3	72	6
4	133	6
5	254	6
6	793	6
7	2808	6
done	5001	6
0	6	6
1	17	6
2	41	6
3	99	6
4	260	6
5	750	6
6	3318	6
done	5000	6
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	13	1
done	13	1
0	5	5
1	16	5
2	40	5
3	98	5
4	263	5
5	770	5
6	3421	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	5
1	18	5
2	37	5
3	71	5
4	132	5
5	255	5
6	794	5
7	2840	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	8	7
2	14	7
3	21	7
4	26	7
done	26	7
0	6	6
1	17	6
2	42	6
3	100	6
4	265	6
5	776	6
6	3409	6
done	5000	6
0	6	6
1	17	6
2	42	6
3	100	6
4	265	6
5	776	6
6	3409	6
done	5000	6
0	7	7
1	12	5
2	18	5
3	28	5
4	49	5
5	109	5
6	318	5
7	1253	5
done	5000	5
0	7	7
1	12	5
2	18	5
3	28	5
4	49	5
5	109	5
6	318	5
7	1253	5
done	5000	5
0	16	22
1	37	22
2	109	22
3	212	22
4	410	18
5	766	18
6	1451	16
7	2127	16
8	2717	16
9	4546	16
done	5000	16
0	16	23
1	40	21
2	88	15
3	190	14
4	397	14
5	971	12
6	4038	12
done	5000	12
0	18	23
1	42	22
2	87	16
3	186	16
4	400	16
5	1200	14
6	4754	14
done	5000	14
0	16	18
1	40	18
2	121	18
3	371	18
4	1762	18
done	5000	18
0	19	25
1	50	23
2	124	17
3	344	16
4	1113	16
done	5001	16
0	21	26
1	52	25
2	124	21
3	333	21
4	1122	21
done	5001	21
0	22	47
1	56	47
2	178	33
3	500	29
4	1580	25
done	5000	23
0	16	30
1	39	27
2	82	21
3	223	11
4	800	11
5	4251	9
done	5000	9
0	21	48
1	49	42
2	111	33
3	338	27
4	1687	13
done	5000	13
0	15	25
1	39	25
2	79	25
3	160	25
4	365	25
5	954	25
6	3837	25
done	5000	25

prune285.0ms

Filtered

80 candidates to 121 candidates (-51.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	121	4	125

Merged error: 0b

Counts

125 → 4

regimes71.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5

end0.0ms

sample303.0ms

Algorithm

intervals

Results

158.0ms

8000×

body

valid

Details

sample13.0ms

simplify2.0ms

prune2.0ms

localize3.0ms

rewrite7.0ms

series3.0ms

simplify14.2s

prune27.0ms

localize7.0ms

rewrite47.0ms

series12.0ms

simplify1.5min

prune154.0ms

localize13.0ms

rewrite84.0ms

series21.0ms

simplify6.9min

prune355.0ms

localize19.0ms

rewrite84.0ms

series39.0ms

simplify6.1min

prune285.0ms

regimes71.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample303.0ms

Profiling