Details

sample34.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
11.0ms	257×	body	80	nan

simplify63.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	21	14
2	38	14
3	57	14
4	75	14
5	96	14
6	104	14
done	104	14

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

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))
0.0b	(* 6.0 (- x 1.0))
0.1b	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
9×	`*-un-lft-identity`
8×	`add-log-exp`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `flip3-+` `div-exp` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`+-commutative` `associate-+l+` `frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

6.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
7.0ms	(* 6.0 (- x 1.0))
13.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series18.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
4.0ms	(* 6.0 (- x 1.0))
9.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify1.2min

Counts

73 → 73

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	26	17
2	40	17
3	46	17
4	52	17
5	61	17
6	74	17
7	92	17
8	108	17
9	115	17
10	132	17
11	134	17
done	134	17
0	13	16
1	26	16
2	45	16
3	59	16
4	66	16
5	72	16
6	81	16
7	94	16
8	112	16
9	128	16
10	135	16
11	152	16
12	154	16
done	154	16
0	12	15
1	25	15
2	50	15
3	87	15
4	120	15
5	149	15
6	169	15
7	187	15
8	203	15
9	210	15
10	227	15
11	229	15
done	229	15
0	12	15
1	22	15
2	39	15
3	62	15
4	95	15
5	149	15
6	226	15
7	482	15
8	1600	15
done	5001	15
0	17	44
1	51	44
2	254	20
3	1304	20
done	5001	20
0	15	44
1	53	44
2	267	18
3	1454	16
done	5000	16
0	13	31
1	23	31
2	40	31
3	59	31
4	77	31
5	98	31
6	106	31
done	106	31
0	12	15
1	22	15
2	39	15
3	60	15
4	78	15
5	99	15
6	107	15
done	107	15
0	13	44
1	30	44
2	84	16
3	345	16
4	1793	16
done	5000	16
0	12	15
1	22	15
2	39	15
3	60	15
4	78	15
5	99	15
6	107	15
done	107	15
0	12	15
1	22	15
2	39	15
3	60	15
4	78	15
5	99	15
6	107	15
done	107	15
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	8	9
1	16	9
2	36	9
3	56	9
4	68	9
5	83	9
6	117	9
7	156	9
8	159	9
9	161	9
10	165	9
done	165	9
0	11	21
1	18	21
2	24	21
3	26	21
done	26	21
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	11
1	15	11
2	21	11
done	21	11
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	3	3
1	5	1
done	5	1
0	9	12
1	19	12
2	28	12
3	30	12
done	30	12
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	11	14
1	21	14
2	36	14
3	41	14
4	45	14
done	45	14
0	13	25
1	28	25
2	58	25
3	102	25
4	152	25
5	206	25
6	247	25
7	250	25
done	250	25
0	12	15
1	22	15
2	39	15
3	60	15
4	78	15
5	99	15
6	107	15
done	107	15
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	14	18
1	38	18
2	103	18
3	243	18
4	476	18
5	1278	18
6	4875	18
done	5000	18
0	13	23
1	38	23
2	116	19
3	306	19
4	845	19
5	2417	19
done	5000	19
0	13	20
1	31	18
2	107	18
3	429	18
4	1375	18
done	5000	18
0	8	12
1	20	12
2	65	12
3	151	12
4	386	12
5	644	12
6	725	12
7	732	12
done	732	12
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	10	11
1	19	10
2	38	9
3	69	9
4	140	9
5	332	9
6	912	9
7	2929	9
done	5000	9
0	9	10
1	19	9
2	35	9
3	63	9
4	124	9
5	304	9
6	837	9
7	2753	9
done	5000	9
0	8	9
1	13	9
2	19	9
done	19	9
0	8	9
1	16	9
2	33	9
3	52	9
4	86	9
5	186	9
6	457	9
7	1326	9
8	4510	9
done	5000	9
0	9	19
1	14	19
2	20	19
done	20	19
0	8	9
1	13	9
2	19	9
done	19	9
0	9	26
1	27	26
2	117	10
3	585	10
4	3023	10
done	5000	10
0	8	9
1	13	9
2	19	9
done	19	9
0	8	9
1	13	9
2	19	9
done	19	9
0	10	12
1	29	12
2	83	12
3	207	12
4	442	12
5	1221	12
6	4779	12
done	5000	12
0	11	26
1	36	21
2	109	21
3	283	18
4	942	18
5	2666	18
done	5000	18
0	9	17
1	29	17
2	84	13
3	207	13
4	562	13
5	1621	13
done	5000	13
0	7	8
1	13	8
2	26	8
3	32	8
4	38	8
5	47	8
6	60	8
7	73	8
8	82	8
9	91	8
10	114	8
11	131	8
done	131	8
0	6	6
1	8	6
done	8	6
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	31	49
1	80	49
2	261	45
3	1073	43
done	5000	37
0	31	49
1	80	49
2	260	45
3	1096	45
done	5000	37
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	8	5
done	8	5
0	15	19
1	42	19
2	125	19
3	268	19
4	554	15
5	1293	15
6	3985	15
done	5000	15
0	12	15
1	31	15
2	71	15
3	136	15
4	271	13
5	649	13
6	2030	13
done	5000	13
0	12	15
1	32	15
2	80	15
3	199	13
4	502	13
5	1398	13
6	4720	13
done	5000	13

prune133.0ms

Filtered

61 candidates to 73 candidates (-19.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	4	74

Merged error: 0b

Counts

74 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))
0.0b	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
0.0b	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/l*`
4×	`associate-/r/`
3×	`flip3-+` `associate-l` `associate-/r*` `sum-log` `flip-+`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-+l+` `flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

3 → 93

Calls

3 calls:

7.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
15.0ms	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
10.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series21.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
9.0ms	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
8.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify1.2min

Counts

102 → 102

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	20	14
2	28	14
done	28	14
0	10	13
1	23	13
2	34	13
3	37	13
done	37	13
0	10	13
1	20	13
2	32	13
3	36	13
4	39	13
5	45	13
6	49	13
7	65	13
8	71	13
9	78	13
10	87	13
11	108	13
12	129	13
13	147	13
14	154	13
15	160	13
16	163	13
done	163	13
0	13	38
1	41	38
2	177	16
3	770	14
4	3672	14
done	5001	14
0	11	27
1	21	27
2	30	27
3	32	27
done	32	27
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	11	38
1	28	38
2	65	14
3	191	14
4	632	14
5	2134	14
done	5000	14
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	9
1	16	9
2	36	9
3	56	9
4	68	9
5	83	9
6	117	9
7	156	9
8	159	9
9	161	9
10	165	9
done	165	9
0	8	10
1	13	10
2	19	10
done	19	10
0	8	10
1	13	10
2	19	10
done	19	10
0	13	29
1	26	29
2	42	29
3	50	29
done	50	29
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	12	19
1	21	19
2	30	19
3	31	19
done	31	19
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	10	13
1	17	13
2	24	13
done	24	13
0	12	24
1	21	24
2	28	24
done	28	24
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	6	6
1	10	4
2	13	4
done	13	4
0	10	13
1	17	13
2	24	13
done	24	13
0	11	21
1	20	21
2	26	21
done	26	21
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	2	3
1	4	1
done	4	1
0	9	12
1	19	12
2	28	12
3	30	12
done	30	12
0	12	25
1	20	25
2	26	25
done	26	25
0	11	15
1	21	15
2	30	15
3	32	15
done	32	15
0	11	15
1	17	15
2	23	15
3	25	15
done	25	15
0	11	15
1	21	15
2	30	15
3	32	15
done	32	15
0	7	7
1	10	5
2	12	5
done	12	5
0	10	14
1	20	14
2	29	14
3	31	14
done	31	14
0	11	21
1	20	21
2	26	21
done	26	21
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	2	3
1	4	1
done	4	1
0	9	12
1	19	12
2	28	12
3	30	12
done	30	12
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	11	23
1	23	23
2	37	23
3	42	23
4	45	23
done	45	23
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	5	5
1	12	3
2	17	3
done	17	3
0	10	13
1	17	13
2	24	13
done	24	13
0	10	13
1	17	13
2	24	13
done	24	13
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	10	14
1	17	14
2	24	14
done	24	14
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	12	16
1	36	16
2	93	16
3	221	16
4	458	16
5	1235	16
6	4854	16
done	5000	16
0	11	21
1	36	21
2	100	17
3	234	17
4	601	17
5	1672	17
done	5000	17
0	13	20
1	31	18
2	107	18
3	429	18
4	1375	18
done	5000	18
0	8	12
1	20	12
2	65	12
3	151	12
4	386	12
5	644	12
6	725	12
7	732	12
done	732	12
0	11	14
1	24	14
2	42	14
3	59	14
4	82	14
5	101	14
6	108	14
7	109	14
done	109	14
0	14	17
1	26	17
2	40	17
3	49	17
4	55	17
5	65	17
6	72	17
7	84	17
8	107	17
9	121	17
10	127	17
done	127	17
0	13	16
1	27	16
2	42	16
3	55	16
4	65	16
5	74	16
6	79	16
7	88	16
8	105	16
9	124	16
10	132	16
done	132	16
0	12	15
1	28	15
2	52	15
3	79	15
4	121	15
5	153	15
6	172	15
7	191	15
8	207	15
9	214	15
10	231	15
11	233	15
done	233	15
0	12	15
1	27	15
2	51	15
3	86	15
4	178	15
5	366	15
6	724	15
7	2081	15
done	5001	15
0	17	44
1	51	44
2	233	20
3	1160	18
done	5000	18
0	15	44
1	38	44
2	108	18
3	408	18
4	1928	16
done	5001	16
0	13	31
1	26	31
2	44	31
3	63	31
4	86	31
5	105	31
6	112	31
7	113	31
done	113	31
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	13	44
1	36	44
2	105	16
3	403	16
4	1912	16
done	5000	16
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	13	16
1	24	16
2	33	16
3	37	16
done	37	16
0	13	16
1	24	16
2	33	16
3	37	16
done	37	16
0	14	17
1	24	17
2	34	17
3	38	17
4	39	17
done	39	17
0	14	17
1	24	17
2	34	17
3	38	17
4	39	17
done	39	17
0	13	29
1	26	29
2	37	29
3	39	29
done	39	29
0	12	15
1	23	15
2	32	15
3	34	15
done	34	15
0	15	31
1	31	31
2	67	31
3	107	31
4	163	31
5	175	31
done	175	31
0	14	21
1	26	21
2	43	21
3	58	21
4	71	21
5	73	21
done	73	21
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	14	26
1	26	26
2	44	26
3	60	26
4	72	26
done	72	26
0	13	16
1	23	16
2	33	16
3	39	16
4	40	16
done	40	16
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	13	23
1	25	23
2	41	21
3	50	21
4	70	21
5	100	21
6	103	21
done	103	21
0	12	13
1	22	13
2	31	11
3	32	11
4	37	11
5	38	11
done	38	11
0	4	5
1	9	3
2	14	1
done	14	1
0	14	27
1	25	27
2	50	27
3	66	27
4	94	27
5	100	27
6	120	27
7	146	27
8	160	27
9	165	27
10	166	27
11	168	27
12	169	27
done	169	27
0	13	17
1	22	17
2	39	17
3	45	17
4	54	17
5	56	17
6	62	17
7	66	17
8	72	17
9	74	17
done	74	17
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	13	23
1	25	23
2	41	21
3	50	21
4	70	21
5	100	21
6	103	21
done	103	21
0	12	13
1	22	13
2	31	11
3	32	11
4	37	11
5	38	11
done	38	11
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	14	18
1	41	18
2	107	18
3	242	18
4	479	18
5	1279	18
6	4860	18
done	5000	18
0	13	23
1	41	23
2	119	19
3	292	19
4	745	19
5	2097	19
done	5000	19
0	12	15
1	25	15
2	43	15
3	62	15
4	85	15
5	104	15
6	111	15
7	112	15
done	112	15
0	12	15
1	25	15
2	43	15
3	62	15
4	85	15
5	104	15
6	111	15
7	112	15
done	112	15
0	11	14
1	24	14
2	42	14
3	59	14
4	82	14
5	101	14
6	108	14
7	109	14
done	109	14
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	10	11
1	19	10
2	38	9
3	69	9
4	140	9
5	332	9
6	912	9
7	2929	9
done	5000	9
0	9	10
1	19	9
2	35	9
3	63	9
4	124	9
5	304	9
6	837	9
7	2753	9
done	5000	9
0	8	9
1	13	9
2	19	9
done	19	9
0	8	9
1	16	9
2	33	9
3	52	9
4	86	9
5	186	9
6	457	9
7	1326	9
8	4510	9
done	5000	9
0	9	19
1	14	19
2	20	19
done	20	19
0	8	9
1	13	9
2	19	9
done	19	9
0	9	26
1	27	26
2	117	10
3	585	10
4	3023	10
done	5000	10
0	8	9
1	13	9
2	19	9
done	19	9
0	8	9
1	13	9
2	19	9
done	19	9
0	10	12
1	29	12
2	83	12
3	207	12
4	442	12
5	1221	12
6	4779	12
done	5000	12
0	11	26
1	36	21
2	109	21
3	283	18
4	942	18
5	2666	18
done	5000	18
0	9	17
1	29	17
2	84	13
3	207	13
4	562	13
5	1621	13
done	5000	13
0	7	8
1	13	8
2	26	8
3	32	8
4	38	8
5	47	8
6	60	8
7	73	8
8	82	8
9	91	8
10	114	8
11	131	8
done	131	8
0	6	6
1	8	6
done	8	6
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	30	49
1	79	49
2	260	45
3	1069	43
done	5000	37
0	30	49
1	79	49
2	259	45
3	1088	45
done	5000	37
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	31	49
1	80	49
2	261	45
3	1073	43
done	5000	37
0	31	49
1	80	49
2	260	45
3	1096	45
done	5000	37
0	15	19
1	42	19
2	125	19
3	268	19
4	554	15
5	1293	15
6	3985	15
done	5000	15
0	12	15
1	31	15
2	71	15
3	136	15
4	271	13
5	649	13
6	2030	13
done	5000	13
0	12	15
1	32	15
2	80	15
3	199	13
4	502	13
5	1398	13
6	4720	13
done	5000	13

prune183.0ms

Filtered

84 candidates to 102 candidates (-21.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	1	1	2
Picked	1	0	1
Done	1	0	1
Total	104	2	106

Merged error: 0b

Counts

106 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
0.0b	(* 6.0 (log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))))
0.0b	(log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))))
0.0b	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

74×	`add-sqr-sqrt`
72×	`*-un-lft-identity`
63×	`exp-prod`
60×	`times-frac`
46×	`add-cube-cbrt`
44×	`log-pow`
25×	`associate-r`
13×	`distribute-lft-out--` `difference-of-squares`
9×	`log-prod`
8×	`pow1` `add-exp-log` `associate-/r/` `add-cbrt-cube`
5×	`associate-/l*` `add-log-exp`
4×	`flip3-+` `flip-+` `div-inv`
3×	`distribute-rgt-in` `distribute-lft-in` `div-sub` `associate-l` `associate-/r*`
2×	`exp-diff` `associate-/l/`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

4 → 150

Calls

4 calls:

11.0ms	(exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
19.0ms	(* 6.0 (log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))))
13.0ms	(log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))))
14.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series42.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
9.0ms	(* 6.0 (log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))))
9.0ms	(log (exp (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))))
8.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify1.8min

Counts

162 → 162

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	20	14
2	28	14
done	28	14
0	10	13
1	23	13
2	34	13
3	37	13
done	37	13
0	10	13
1	20	13
2	32	13
3	36	13
4	39	13
5	45	13
6	49	13
7	65	13
8	71	13
9	78	13
10	87	13
11	108	13
12	129	13
13	147	13
14	154	13
15	160	13
16	163	13
done	163	13
0	13	38
1	41	38
2	177	16
3	770	14
4	3672	14
done	5001	14
0	11	27
1	21	27
2	30	27
3	32	27
done	32	27
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	11	38
1	28	38
2	65	14
3	191	14
4	632	14
5	2134	14
done	5000	14
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	9
1	16	9
2	36	9
3	56	9
4	68	9
5	83	9
6	117	9
7	156	9
8	159	9
9	161	9
10	165	9
done	165	9
0	8	10
1	13	10
2	19	10
done	19	10
0	8	10
1	13	10
2	19	10
done	19	10
0	13	29
1	26	29
2	42	29
3	50	29
done	50	29
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	12	19
1	21	19
2	30	19
3	31	19
done	31	19
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	10	13
1	17	13
2	24	13
done	24	13
0	12	24
1	21	24
2	28	24
done	28	24
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	11	14
1	18	14
2	25	14
3	27	14
done	27	14
0	6	6
1	10	4
2	13	4
done	13	4
0	10	13
1	17	13
2	24	13
done	24	13
0	11	21
1	20	21
2	26	21
done	26	21
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	2	3
1	4	1
done	4	1
0	9	12
1	19	12
2	28	12
3	30	12
done	30	12
0	12	25
1	20	25
2	26	25
done	26	25
0	11	15
1	21	15
2	30	15
3	32	15
done	32	15
0	11	15
1	17	15
2	23	15
3	25	15
done	25	15
0	11	15
1	21	15
2	30	15
3	32	15
done	32	15
0	7	7
1	10	5
2	12	5
done	12	5
0	10	14
1	20	14
2	29	14
3	31	14
done	31	14
0	11	21
1	20	21
2	26	21
done	26	21
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	2	3
1	4	1
done	4	1
0	9	12
1	19	12
2	28	12
3	30	12
done	30	12
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	11	23
1	23	23
2	37	23
3	42	23
4	45	23
done	45	23
0	10	13
1	20	13
2	29	13
3	31	13
done	31	13
0	5	5
1	12	3
2	17	3
done	17	3
0	10	13
1	17	13
2	24	13
done	24	13
0	10	13
1	17	13
2	24	13
done	24	13
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	10	14
1	17	14
2	24	14
done	24	14
0	9	12
1	16	12
2	23	12
3	25	12
done	25	12
0	12	16
1	36	16
2	93	16
3	221	16
4	458	16
5	1235	16
6	4854	16
done	5000	16
0	11	21
1	36	21
2	100	17
3	234	17
4	601	17
5	1672	17
done	5000	17
0	13	20
1	31	18
2	107	18
3	429	18
4	1375	18
done	5000	18
0	8	12
1	20	12
2	65	12
3	151	12
4	386	12
5	644	12
6	725	12
7	732	12
done	732	12
0	13	30
1	25	30
2	39	17
3	44	17
4	47	17
5	53	17
6	57	17
7	73	17
8	79	17
9	86	17
10	95	17
11	116	17
12	137	17
13	154	17
14	161	17
15	167	17
16	170	17
done	170	17
0	12	15
1	22	15
2	34	15
3	38	15
4	41	15
5	47	15
6	51	15
7	67	15
8	73	15
9	80	15
10	89	15
11	109	15
12	130	15
13	148	15
14	155	15
15	161	15
16	164	15
done	164	15
0	12	15
1	22	15
2	34	15
3	38	15
4	41	15
5	47	15
6	51	15
7	67	15
8	73	15
9	80	15
10	89	15
11	109	15
12	130	15
13	148	15
14	155	15
15	161	15
16	164	15
done	164	15
0	12	15
1	22	15
2	34	15
3	38	15
4	41	15
5	47	15
6	51	15
7	67	15
8	73	15
9	80	15
10	89	15
11	109	15
12	130	15
13	148	15
14	155	15
15	161	15
16	164	15
done	164	15
0	2	2
1	4	1
done	4	1
0	11	14
1	21	12
2	33	12
3	40	12
4	47	12
5	56	12
6	65	12
7	95	12
8	112	12
9	146	12
10	210	12
11	224	12
12	242	12
13	248	12
14	256	12
done	256	12
0	10	12
1	15	10
2	21	10
done	21	10
0	10	12
1	15	10
2	21	10
done	21	10
0	11	14
1	21	12
2	33	12
3	40	12
4	47	12
5	56	12
6	65	12
7	95	12
8	112	12
9	146	12
10	210	12
11	224	12
12	242	12
13	248	12
14	256	12
done	256	12
0	13	29
1	25	27
2	40	27
3	50	27
4	75	27
5	148	27
6	394	27
7	1363	27
done	5001	27
0	12	15
1	22	13
2	31	13
3	33	13
done	33	13
0	15	31
1	28	29
2	46	29
3	62	29
4	81	29
5	125	29
6	261	29
7	745	29
8	3726	29
done	5000	29
0	14	21
1	23	19
2	32	19
3	35	19
4	43	19
5	56	19
6	93	19
7	198	19
8	560	19
9	2198	19
done	5001	19
0	9	13
1	15	9
2	24	9
3	35	9
4	47	9
5	72	9
6	151	9
7	420	9
8	1666	9
done	5000	9
0	14	26
1	23	24
2	30	24
done	30	24
0	13	16
1	20	14
2	27	14
done	27	14
0	8	8
1	12	4
2	15	4
done	15	4
0	13	23
1	22	21
2	28	21
done	28	21
0	12	13
1	19	11
2	25	11
done	25	11
0	4	5
1	6	1
2	7	1
done	7	1
0	14	27
1	22	25
2	28	25
done	28	25
0	13	17
1	19	15
2	25	15
3	27	15
done	27	15
0	9	9
1	12	5
2	18	5
3	22	5
done	22	5
0	13	23
1	22	21
2	28	21
done	28	21
0	12	13
1	19	11
2	25	11
done	25	11
0	4	5
1	6	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	5	5
1	10	3
2	16	3
3	23	3
4	32	3
5	41	3
6	71	3
7	81	3
8	116	3
9	164	3
10	198	3
11	211	3
12	225	3
done	225	3
0	14	18
1	38	16
2	98	16
3	230	16
4	472	16
5	1248	16
6	4901	16
done	5000	16
0	13	23
1	38	21
2	105	17
3	244	17
4	620	17
5	1692	17
done	5000	17
0	12	15
1	22	13
2	37	13
3	46	13
4	54	13
5	63	13
6	72	13
7	102	13
8	119	13
9	153	13
10	217	13
11	230	13
12	248	13
13	254	13
14	262	13
done	262	13
0	12	15
1	22	13
2	34	13
3	41	13
4	48	13
5	57	13
6	66	13
7	96	13
8	113	13
9	147	13
10	212	13
11	225	13
12	241	13
13	247	13
14	255	13
done	255	13
0	13	31
1	23	27
2	35	27
3	42	27
4	49	27
5	58	27
6	67	27
7	97	27
8	114	27
9	148	27
10	214	27
11	228	27
12	242	27
13	248	27
14	256	27
done	256	27
0	12	15
1	22	13
2	34	13
3	41	13
4	48	13
5	57	13
6	66	13
7	96	13
8	113	13
9	147	13
10	212	13
11	225	13
12	241	13
13	247	13
14	255	13
done	255	13
0	13	44
1	24	38
2	46	14
3	112	14
4	333	14
5	1130	14
6	3546	14
done	5000	14
0	12	15
1	22	13
2	34	13
3	41	13
4	48	13
5	57	13
6	66	13
7	96	13
8	113	13
9	147	13
10	212	13
11	225	13
12	241	13
13	247	13
14	255	13
done	255	13
0	12	15
1	22	13
2	34	13
3	41	13
4	48	13
5	57	13
6	66	13
7	96	13
8	113	13
9	147	13
10	212	13
11	225	13
12	241	13
13	247	13
14	255	13
done	255	13
0	13	16
1	24	14
2	40	14
3	65	14
4	88	14
5	125	14
6	143	14
7	183	14
8	216	14
9	268	14
10	388	14
11	481	14
12	548	14
13	646	14
14	721	14
15	732	14
done	732	14
0	15	18
1	26	16
2	41	16
3	56	16
4	72	16
5	91	16
6	109	16
7	144	16
8	169	16
9	220	16
10	300	16
11	321	16
12	335	16
13	341	16
14	349	16
done	349	16
0	14	17
1	28	15
2	48	15
3	83	15
4	120	15
5	174	15
6	205	15
7	257	15
8	313	15
9	375	15
10	515	15
11	610	15
12	687	15
13	799	15
14	899	15
15	941	15
16	950	15
done	950	15
0	14	17
1	27	15
2	48	15
3	88	15
4	178	15
5	380	15
6	737	15
7	2124	15
done	5000	15
0	17	50
1	34	44
2	81	18
3	263	18
4	1224	16
done	5000	16
0	15	35
1	26	31
2	42	31
3	67	31
4	90	31
5	127	31
6	145	31
7	185	31
8	218	31
9	270	31
10	390	31
11	484	31
12	552	31
13	649	31
14	724	31
15	735	31
done	735	31
0	14	17
1	25	15
2	41	15
3	68	15
4	91	15
5	128	15
6	146	15
7	186	15
8	219	15
9	271	15
10	391	15
11	484	15
12	554	15
13	649	15
14	724	15
15	735	15
done	735	15
0	15	50
1	36	44
2	91	16
3	315	16
4	1437	16
done	5000	16
0	14	17
1	25	15
2	41	15
3	68	15
4	91	15
5	128	15
6	146	15
7	186	15
8	219	15
9	271	15
10	391	15
11	484	15
12	554	15
13	649	15
14	724	15
15	735	15
done	735	15
0	14	17
1	25	15
2	41	15
3	68	15
4	91	15
5	128	15
6	146	15
7	186	15
8	219	15
9	271	15
10	391	15
11	484	15
12	554	15
13	649	15
14	724	15
15	735	15
done	735	15
0	15	18
1	26	16
2	38	16
3	47	16
4	54	16
5	63	16
6	72	16
7	102	16
8	118	16
9	152	16
10	214	16
11	227	16
12	241	16
13	247	16
14	255	16
done	255	16
0	15	18
1	26	16
2	38	16
3	47	16
4	54	16
5	63	16
6	72	16
7	102	16
8	118	16
9	152	16
10	214	16
11	227	16
12	241	16
13	247	16
14	255	16
done	255	16
0	15	32
1	28	32
2	46	19
3	56	19
4	63	19
5	69	19
6	73	19
7	89	19
8	93	19
9	100	19
10	109	19
11	129	19
12	150	19
13	166	19
14	173	19
15	179	19
16	182	19
done	182	19
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	74	17
9	81	17
10	90	17
11	110	17
12	131	17
13	147	17
14	154	17
15	160	17
16	163	17
done	163	17
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	74	17
9	81	17
10	90	17
11	110	17
12	131	17
13	147	17
14	154	17
15	160	17
16	163	17
done	163	17
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	74	17
9	81	17
10	90	17
11	110	17
12	131	17
13	147	17
14	154	17
15	160	17
16	163	17
done	163	17
0	4	4
1	7	3
done	7	1
0	13	16
1	24	14
2	40	14
3	65	14
4	88	14
5	125	14
6	143	14
7	183	14
8	216	14
9	268	14
10	388	14
11	481	14
12	548	14
13	646	14
14	721	14
15	732	14
done	732	14
0	15	32
1	28	32
2	46	19
3	56	19
4	63	19
5	69	19
6	73	19
7	89	19
8	95	19
9	102	19
10	111	19
11	132	19
12	153	19
13	170	19
14	177	19
15	183	19
16	186	19
done	186	19
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	76	17
9	83	17
10	92	17
11	113	17
12	134	17
13	152	17
14	159	17
15	165	17
16	168	17
done	168	17
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	76	17
9	83	17
10	92	17
11	113	17
12	134	17
13	152	17
14	159	17
15	165	17
16	168	17
done	168	17
0	14	17
1	25	17
2	37	17
3	41	17
4	44	17
5	50	17
6	54	17
7	70	17
8	76	17
9	83	17
10	92	17
11	113	17
12	134	17
13	152	17
14	159	17
15	165	17
16	168	17
done	168	17
0	4	4
1	7	3
done	7	1
0	13	16
1	24	14
2	40	14
3	65	14
4	88	14
5	125	14
6	143	14
7	183	14
8	217	14
9	269	14
10	389	14
11	483	14
12	550	14
13	648	14
14	723	14
15	734	14
done	734	14
0	3	3
1	6	1
done	6	1
0	12	15
1	23	15
2	32	15
3	34	15
done	34	15
0	12	15
1	23	15
2	32	15
3	34	15
done	34	15
0	13	16
1	23	16
2	33	16
3	39	16
4	40	16
done	40	16
0	13	16
1	23	16
2	33	16
3	39	16
4	40	16
done	40	16
0	12	15
1	22	15
2	32	15
3	36	15
4	37	15
done	37	15
0	13	16
1	23	16
2	33	16
3	39	16
4	40	16
done	40	16
0	13	16
1	23	16
2	33	16
3	39	16
4	40	16
done	40	16
0	12	15
1	22	15
2	32	15
3	36	15
4	37	15
done	37	15
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	11	14
1	24	14
2	42	14
3	59	14
4	82	14
5	101	14
6	108	14
7	109	14
done	109	14
0	13	17
1	26	17
2	44	17
3	63	17
4	86	17
5	105	17
6	112	17
7	113	17
done	113	17
0	13	17
1	26	17
2	44	17
3	63	17
4	86	17
5	105	17
6	112	17
7	113	17
done	113	17
0	12	16
1	25	16
2	43	16
3	62	16
4	85	16
5	104	16
6	111	16
7	112	16
done	112	16
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	12	15
1	25	15
2	43	15
3	60	15
4	83	15
5	102	15
6	109	15
7	110	15
done	110	15
0	11	14
1	24	14
2	42	14
3	59	14
4	82	14
5	101	14
6	108	14
7	109	14
done	109	14
0	11	14
1	24	14
2	42	14
3	59	14
4	82	14
5	101	14
6	108	14
7	109	14
done	109	14
0	11	12
1	21	12
2	30	10
3	31	10
4	36	10
5	37	10
done	37	10
0	13	28
1	45	23
2	139	23
3	437	20
4	1484	20
5	4323	20
done	5000	20
0	9	10
1	16	10
2	41	10
3	81	10
4	111	10
5	135	10
6	166	10
7	205	10
8	245	10
9	298	10
10	352	10
11	420	10
12	448	10
13	454	10
done	454	10
0	15	33
1	28	29
2	42	29
3	49	29
4	56	29
5	65	29
6	74	29
7	104	29
8	120	29
9	154	29
10	216	29
11	230	29
12	247	29
13	253	29
14	261	29
done	261	29
0	14	17
1	25	15
2	37	15
3	44	15
4	51	15
5	60	15
6	69	15
7	99	15
8	115	15
9	149	15
10	213	15
11	226	15
12	242	15
13	248	15
14	256	15
done	256	15
0	3	3
1	6	1
done	6	1
0	14	17
1	25	15
2	41	15
3	68	15
4	91	15
5	128	15
6	146	15
7	186	15
8	219	15
9	271	15
10	388	15
11	482	15
12	548	15
13	643	15
14	720	15
15	723	15
done	723	15
0	14	17
1	25	15
2	41	15
3	68	15
4	91	15
5	128	15
6	146	15
7	186	15
8	219	15
9	271	15
10	388	15
11	482	15
12	548	15
13	643	15
14	720	15
15	723	15
done	723	15
0	13	16
1	24	14
2	40	14
3	65	14
4	88	14
5	125	14
6	143	14
7	183	14
8	216	14
9	268	14
10	388	14
11	481	14
12	548	14
13	646	14
14	721	14
15	732	14
done	732	14
0	12	28
1	24	28
2	37	28
3	44	28
4	62	28
5	102	28
6	210	28
7	584	28
8	2259	28
done	5000	28
0	11	14
1	21	14
2	30	14
3	32	14
done	32	14
0	14	30
1	27	30
2	45	30
3	59	30
4	71	30
5	103	30
6	183	30
7	397	30
8	1710	30
done	5001	30
0	13	20
1	22	20
2	31	20
3	36	20
4	42	20
5	50	20
6	75	20
7	136	20
8	298	20
9	861	20
10	4290	20
done	5001	20
0	8	12
1	14	10
2	23	10
3	32	10
4	39	10
5	57	10
6	99	10
7	201	10
8	708	10
9	3026	10
done	5000	10
0	13	25
1	22	25
2	29	25
done	29	25
0	12	15
1	19	15
2	26	15
done	26	15
0	7	7
1	11	5
2	14	5
done	14	5
0	12	22
1	21	22
2	27	22
done	27	22
0	11	12
1	18	12
2	24	12
3	26	12
done	26	12
0	3	4
1	5	2
2	6	1
done	6	1
0	13	26
1	21	26
2	27	26
done	27	26
0	12	16
1	18	16
2	24	16
done	24	16
0	8	8
1	11	6
2	17	6
done	17	6
0	12	22
1	21	22
2	27	22
done	27	22
0	11	12
1	18	12
2	24	12
3	26	12
done	26	12
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	4	4
1	9	4
2	12	4
3	15	4
4	21	4
5	25	4
6	41	4
7	45	4
8	50	4
9	57	4
10	75	4
11	96	4
12	109	4
13	112	4
done	112	4
0	13	17
1	37	17
2	97	17
3	222	17
4	455	17
5	1238	17
6	4866	17
done	5000	17
0	12	22
1	37	22
2	104	18
3	240	18
4	611	18
5	1687	18
done	5000	18
0	9	11
1	14	11
2	20	11
done	20	11
0	9	11
1	14	11
2	20	11
done	20	11
0	11	14
1	21	12
2	33	12
3	40	12
4	47	12
5	56	12
6	65	12
7	95	12
8	112	12
9	146	12
10	210	12
11	224	12
12	242	12
13	248	12
14	256	12
done	256	12
0	11	14
1	21	14
2	33	14
3	37	14
4	42	14
5	54	14
6	68	14
7	122	14
8	213	14
9	469	14
10	1361	14
11	4592	14
done	5000	14
0	12	29
1	22	29
2	34	29
3	38	29
4	41	29
5	47	29
6	51	29
7	67	29
8	73	29
9	80	29
10	89	29
11	109	29
12	130	29
13	148	29
14	155	29
15	161	29
16	164	29
done	164	29
0	11	14
1	21	14
2	33	14
3	37	14
4	40	14
5	46	14
6	50	14
7	66	14
8	72	14
9	79	14
10	88	14
11	109	14
12	130	14
13	148	14
14	155	14
15	161	14
16	164	14
done	164	14
0	12	41
1	25	40
2	49	15
3	110	15
4	310	15
5	902	15
6	2065	15
7	4963	15
done	5000	15
0	11	14
1	21	14
2	33	14
3	37	14
4	40	14
5	46	14
6	50	14
7	66	14
8	72	14
9	79	14
10	88	14
11	109	14
12	130	14
13	148	14
14	155	14
15	161	14
16	164	14
done	164	14
0	11	14
1	21	14
2	33	14
3	37	14
4	40	14
5	46	14
6	50	14
7	66	14
8	72	14
9	79	14
10	88	14
11	109	14
12	130	14
13	148	14
14	155	14
15	161	14
16	164	14
done	164	14
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	30	49
1	79	49
2	260	45
3	1069	43
done	5000	37
0	30	49
1	79	49
2	259	45
3	1088	45
done	5000	37
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	30	49
1	79	49
2	260	45
3	1069	43
done	5000	37
0	30	49
1	79	49
2	259	45
3	1088	45
done	5000	37
0	28	45
1	77	45
2	276	45
3	872	35
4	3369	29
done	5001	29
0	31	49
1	80	49
2	261	45
3	1073	43
done	5000	37
0	31	49
1	80	49
2	260	45
3	1096	45
done	5000	37
0	30	55
1	88	55
2	311	54
3	1039	45
4	4221	35
done	5000	35
0	34	57
1	92	57
2	327	57
3	1114	51
4	4966	43
done	5000	43
0	34	57
1	92	57
2	328	55
3	1148	47
4	4830	41
done	5000	41

prune363.0ms

Filtered

137 candidates to 162 candidates (-18.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	162	2	164

Merged error: 0b

Counts

164 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ x 1.0) (* 4.0 (sqrt x)))
0.0b	(- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))
0.1b	(* (/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))) (- (+ x 1.0) (* 4.0 (sqrt x))))
16.7b	(/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt` `add-log-exp`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
7×	`flip3--` `flip--`
6×	`pow1` `times-frac`
5×	`prod-exp` `associate--l+` `cbrt-unprod`
4×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `div-exp` `associate-/r/`
3×	`diff-log` `associate-r` `associate-/r*`
2×	`frac-times` `div-inv` `associate-/l/`
1×	`frac-2neg` `pow-prod-down` `associate-l/` `clear-num` `sum-log` `-commutative` `associate-/l*` `unswap-sqr`

Counts

4 → 92

Calls

4 calls:

6.0ms	(- (+ x 1.0) (* 4.0 (sqrt x)))
10.0ms	(- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))
23.0ms	(* (/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))) (- (+ x 1.0) (* 4.0 (sqrt x))))
16.0ms	(/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (+ x 1.0) (* 4.0 (sqrt x)))
3.0ms	(- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))
11.0ms	(* (/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x))) (- (+ x 1.0) (* 4.0 (sqrt x))))
5.0ms	(/ (* 6.0 (- x 1.0)) (- (* (+ x 1.0) (+ x 1.0)) (* (* 4.0 4.0) x)))

simplify5.3min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	22
1	34	22
2	72	22
3	127	22
4	239	22
5	379	22
6	549	22
7	848	22
8	1604	22
9	2138	22
10	2558	22
11	2885	22
12	2964	22
done	2964	22
0	14	21
1	34	21
2	77	21
3	140	21
4	247	21
5	386	21
6	547	21
7	841	21
8	1603	21
9	2143	21
10	2552	21
11	2900	21
12	2977	21
done	2977	21
0	13	20
1	33	20
2	85	20
3	184	20
4	366	20
5	638	20
6	1107	20
7	1938	20
8	4154	20
done	5000	20
0	13	20
1	30	20
2	74	20
3	159	20
4	339	20
5	632	20
6	1159	20
7	2316	20
done	5000	20
0	18	59
1	47	59
2	204	25
3	986	25
done	5000	25
0	16	59
1	49	59
2	217	23
3	1139	21
done	5001	21
0	14	41
1	31	41
2	75	41
3	158	41
4	325	41
5	589	41
6	1046	41
7	1859	41
8	4065	41
done	5000	41
0	13	20
1	30	20
2	74	20
3	157	20
4	322	20
5	584	20
6	1039	20
7	1851	20
8	4058	20
done	5000	20
0	14	59
1	38	59
2	119	21
3	444	21
4	2193	21
done	5000	21
0	13	20
1	30	20
2	74	20
3	157	20
4	322	20
5	584	20
6	1039	20
7	1851	20
8	4058	20
done	5000	20
0	13	20
1	30	20
2	74	20
3	157	20
4	322	20
5	584	20
6	1039	20
7	1851	20
8	4058	20
done	5000	20
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	9	14
1	21	14
2	54	14
3	127	14
4	326	13
5	663	13
6	1217	13
7	2211	13
8	2920	13
9	3024	13
10	3025	13
done	3025	13
0	12	31
1	26	31
2	56	31
3	105	31
4	203	31
5	343	31
6	504	31
7	783	31
8	1521	31
9	2045	31
10	2441	31
11	2741	31
12	2820	31
done	2820	31
0	11	18
1	28	18
2	61	18
3	112	18
4	210	18
5	351	18
6	509	18
7	791	18
8	1535	18
9	2061	18
10	2459	18
11	2790	18
12	2870	18
done	2870	18
0	11	16
1	23	16
2	53	16
3	102	16
4	202	16
5	343	16
6	500	16
7	780	16
8	1515	16
9	2037	16
10	2429	16
11	2755	16
12	2829	16
done	2829	16
0	11	18
1	28	18
2	61	18
3	112	18
4	210	18
5	351	18
6	509	18
7	791	18
8	1535	18
9	2061	18
10	2459	18
11	2790	18
12	2870	18
done	2870	18
0	3	3
1	5	1
done	5	1
0	10	17
1	27	17
2	60	17
3	111	17
4	211	17
5	353	17
6	510	17
7	793	17
8	1532	17
9	2058	17
10	2464	17
11	2795	17
12	2876	17
done	2876	17
0	10	15
1	24	15
2	54	15
3	103	15
4	201	15
5	337	15
6	499	15
7	783	15
8	1522	15
9	2044	15
10	2427	15
11	2726	15
12	2800	15
done	2800	15
0	12	19
1	32	19
2	108	19
3	281	19
4	668	19
5	1205	19
6	1859	19
7	4455	19
done	5000	19
0	14	35
1	36	35
2	90	35
3	181	35
4	329	35
5	517	35
6	716	35
7	1000	35
8	1745	35
9	2269	35
10	2634	35
11	2914	35
12	2993	35
done	2993	35
0	13	20
1	30	20
2	71	20
3	139	20
4	259	20
5	411	20
6	571	20
7	850	20
8	1585	20
9	2108	20
10	2498	20
11	2825	20
12	2899	20
done	2899	20
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	10	17
1	27	17
2	68	17
3	148	17
4	324	17
5	562	17
6	791	17
7	1167	17
8	2192	17
9	3481	17
10	4833	17
done	5000	17
0	15	23
1	50	23
2	177	19
3	770	19
4	3262	19
done	5000	19
0	14	33
1	45	33
2	160	27
3	541	21
4	1949	19
done	5000	19
0	14	25
1	38	23
2	105	23
3	478	23
4	2324	23
done	5000	23
0	9	17
1	28	17
2	77	17
3	245	16
4	769	15
5	2420	15
done	5000	15
0	16	28
1	41	28
2	131	28
3	430	28
4	1371	28
5	3796	28
done	5001	28
0	20	32
1	47	32
2	114	32
3	204	32
4	369	32
5	582	32
6	853	32
7	1262	32
8	2071	32
9	2509	32
10	2976	32
11	3159	32
12	3162	32
done	3162	32
0	19	31
1	47	31
2	113	31
3	208	31
4	371	31
5	554	31
6	801	31
7	1212	31
8	2053	31
9	2509	31
10	2961	31
11	3142	31
12	3149	31
done	3149	31
0	18	30
1	44	30
2	112	30
3	236	30
4	468	30
5	826	30
6	1375	30
7	2303	30
8	4553	30
done	5000	30
0	17	29
1	45	29
2	144	29
3	472	29
4	1509	29
5	4017	29
done	5000	29
0	17	29
1	44	29
2	140	29
3	471	29
4	1555	29
5	4571	29
done	5000	29
0	24	86
1	64	86
2	318	36
3	2231	36
done	5001	36
0	22	86
1	66	86
2	329	34
3	2379	32
done	5001	32
0	20	86
1	55	86
2	219	32
3	1268	32
done	5001	32
0	18	59
1	43	59
2	133	59
3	432	59
4	1379	59
5	3807	59
done	5000	59
0	17	29
1	42	29
2	132	29
3	431	29
4	1376	29
5	3803	29
done	5001	29
0	18	86
1	53	86
2	240	30
3	1551	30
done	5000	30
0	17	29
1	42	29
2	132	29
3	431	29
4	1376	29
5	3803	29
done	5001	29
0	17	29
1	42	29
2	132	29
3	431	29
4	1376	29
5	3803	29
done	5001	29
0	14	18
1	40	18
2	136	18
3	564	18
4	3340	18
done	5001	18
0	15	40
1	50	35
2	175	35
3	836	32
done	5002	32
0	13	23
1	39	23
2	125	19
3	525	19
4	3085	19
done	5000	19
0	12	22
1	35	22
2	110	22
3	427	22
4	1902	22
done	5000	22
0	18	30
1	41	30
2	97	30
3	186	30
4	356	30
5	626	30
6	1097	30
7	1917	30
8	4088	30
done	5001	30
0	18	30
1	41	30
2	97	30
3	186	30
4	356	30
5	626	30
6	1097	30
7	1917	30
8	4088	30
done	5001	30
0	13	23
1	39	23
2	112	23
3	279	23
4	668	23
5	1451	21
6	3590	21
done	5000	21
0	16	25
1	43	25
2	121	25
3	361	25
4	1174	25
5	3389	24
done	5000	24
0	13	21
1	33	21
2	85	21
3	199	21
4	444	21
5	929	21
6	2055	19
done	5000	19
0	16	26
1	39	26
2	111	26
3	318	26
4	986	26
5	2534	26
done	5001	26
0	13	23
1	39	23
2	112	23
3	279	23
4	668	23
5	1451	21
6	3590	21
done	5000	21
0	16	25
1	43	25
2	121	25
3	361	25
4	1174	25
5	3389	24
done	5000	24
0	13	23
1	33	23
2	95	23
3	251	23
4	668	23
5	1402	23
6	3188	21
done	5000	21
0	16	25
1	43	25
2	121	25
3	391	25
4	1254	25
5	3328	24
done	5000	24
0	13	21
1	33	21
2	85	21
3	206	21
4	472	21
5	967	21
6	2111	19
done	5000	19
0	16	26
1	39	26
2	105	26
3	291	26
4	923	26
5	2368	26
done	5000	26
0	13	23
1	33	23
2	95	23
3	251	23
4	668	23
5	1402	23
6	3188	21
done	5000	21
0	16	25
1	43	25
2	121	25
3	391	25
4	1254	25
5	3328	24
done	5000	24
0	18	39
1	45	39
2	118	39
3	264	39
4	626	39
5	1418	39
6	3729	39
done	5000	39
0	17	29
1	42	29
2	108	29
3	229	29
4	496	29
5	998	29
6	2195	29
7	4975	29
done	5000	29
0	14	21
1	36	19
2	97	19
3	229	19
4	488	19
5	1133	19
6	2759	19
done	5000	19
0	17	29
1	40	29
2	108	29
3	231	29
4	423	29
5	710	29
6	1198	29
7	2044	29
8	4246	29
done	5000	29
0	17	29
1	40	29
2	108	29
3	231	29
4	423	29
5	710	29
6	1198	29
7	2044	29
8	4246	29
done	5000	29
0	15	27
1	40	27
2	112	27
3	312	27
4	823	27
5	2022	27
6	4982	27
done	5000	27
0	15	27
1	40	27
2	112	27
3	312	27
4	823	27
5	2022	27
6	4982	27
done	5000	27
0	14	26
1	39	26
2	111	26
3	314	26
4	836	26
5	2193	26
done	5000	26
0	16	28
1	41	28
2	131	28
3	430	28
4	1371	28
5	3796	28
done	5001	28
0	14	24
1	36	24
2	105	22
3	274	22
4	626	22
5	1186	22
6	3036	22
done	5000	22
0	16	50
1	54	44
2	206	38
3	851	34
4	4688	34
done	5000	34
0	12	22
1	29	22
2	81	22
3	303	22
4	1556	22
done	5001	22
0	19	32
1	57	32
2	191	32
3	728	32
4	4188	32
done	5001	32
0	17	37
1	49	37
2	161	33
3	693	33
4	4971	7
done	5000	7
0	11	14
1	23	14
2	73	14
3	263	14
4	761	14
5	1927	14
6	4810	14
done	5000	14
0	10	15
1	26	14
2	63	14
3	154	14
4	493	14
5	2306	14
done	5000	14
0	9	14
1	21	14
2	51	14
3	100	14
4	198	14
5	339	14
6	497	14
7	778	14
8	1516	14
9	2034	14
10	2424	14
11	2754	14
12	2828	14
done	2828	14
0	9	14
1	24	14
2	67	14
3	165	14
4	462	14
5	2155	14
done	5000	14
0	10	29
1	22	29
2	52	29
3	101	29
4	199	29
5	332	29
6	491	29
7	771	29
8	1515	29
9	2038	29
10	2437	29
11	2767	29
12	2843	29
done	2843	29
0	9	14
1	21	14
2	51	14
3	100	14
4	198	14
5	339	14
6	497	14
7	778	14
8	1516	14
9	2034	14
10	2424	14
11	2754	14
12	2828	14
done	2828	14
0	10	41
1	23	41
2	67	15
3	253	15
4	1848	15
done	5000	15
0	9	14
1	21	14
2	51	14
3	100	14
4	198	14
5	339	14
6	497	14
7	778	14
8	1516	14
9	2034	14
10	2424	14
11	2754	14
12	2828	14
done	2828	14
0	9	14
1	21	14
2	51	14
3	100	14
4	198	14
5	339	14
6	497	14
7	778	14
8	1516	14
9	2034	14
10	2424	14
11	2754	14
12	2828	14
done	2828	14
0	11	17
1	41	17
2	154	13
3	663	13
4	2611	13
done	5001	13
0	12	41
1	44	35
2	157	29
3	511	25
4	1675	25
done	5000	25
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	10	27
1	36	27
2	130	21
3	435	15
4	1524	13
done	5000	13
0	8	13
1	19	13
2	38	13
3	76	13
4	155	13
5	235	13
6	261	13
7	268	13
done	268	13
0	8	11
1	15	11
2	35	11
3	59	11
4	67	11
5	74	11
6	84	11
7	106	11
8	139	11
9	208	11
10	227	11
11	245	11
12	290	11
13	332	11
done	332	11
0	8	11
1	20	11
2	38	11
3	59	11
4	68	11
5	79	11
6	98	11
7	127	11
8	170	11
9	189	11
10	218	11
11	268	11
12	311	11
done	311	11
0	5	6
1	12	6
2	24	6
3	33	6
done	33	6
0	10	11
1	18	10
2	33	9
3	66	9
4	155	9
5	388	9
6	1178	9
7	4822	9
done	5000	9
0	9	10
1	18	9
2	33	9
3	71	9
4	156	9
5	386	9
6	1301	9
done	5000	9
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	83	9
9	92	9
10	115	9
11	132	9
done	132	9
0	8	9
1	17	9
2	42	9
3	76	9
4	145	9
5	386	9
6	1355	9
done	5001	9
0	9	19
1	15	19
2	28	19
3	34	19
4	40	19
5	49	19
6	62	19
7	75	19
8	84	19
9	93	19
10	116	19
11	133	19
done	133	19
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	83	9
9	92	9
10	115	9
11	132	9
done	132	9
0	9	26
1	16	26
2	55	10
3	262	10
4	1500	10
done	5000	10
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	83	9
9	92	9
10	115	9
11	132	9
done	132	9
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	83	9
9	92	9
10	115	9
11	132	9
done	132	9
0	10	12
1	30	12
2	101	12
3	340	12
4	872	12
5	2408	12
done	5000	12
0	11	26
1	35	21
2	99	21
3	250	18
4	723	18
5	1817	18
6	2559	18
7	2686	18
8	2765	18
9	2852	18
10	3058	18
11	3368	18
12	3468	18
13	3472	18
done	3472	18
0	5	5
1	10	5
2	12	5
done	12	5
0	9	17
1	29	17
2	84	13
3	207	13
4	562	13
5	1621	13
done	5000	13
0	7	8
1	12	8
2	18	8
done	18	8
0	6	6
1	9	6
2	16	6
done	16	6
0	5	5
1	10	5
2	12	5
done	12	5
0	11	12
1	25	12
2	61	12
3	101	12
4	140	10
5	176	10
6	239	10
7	368	10
8	624	10
9	1549	10
done	5001	10
0	17	21
1	42	21
2	97	15
3	227	15
4	686	15
5	2274	13
done	5000	13
0	17	21
1	42	21
2	97	15
3	227	15
4	686	15
5	2274	13
done	5000	13
0	24	35
1	64	35
2	205	33
3	574	29
4	1565	25
5	4051	25
done	5001	25
0	27	39
1	69	39
2	202	35
3	713	31
4	2823	29
done	5001	29
0	27	39
1	69	39
2	201	35
3	728	31
4	2620	29
done	5001	29
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
0	15	19
1	45	17
2	136	17
3	339	17
4	997	15
5	3323	15
done	5000	15
0	12	15
1	34	13
2	82	13
3	182	13
4	451	13
5	1303	13
6	4673	13
done	5000	13
0	12	15
1	32	15
2	78	15
3	162	13
4	320	13
5	788	13
6	2995	13
done	5001	13

prune205.0ms

Filtered

89 candidates to 104 candidates (-16.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	104	2	106

Merged error: 0b

Counts

106 → 2

regimes28.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample915.0ms

Algorithm

intervals

Results

331.0ms	8000×	body	80	valid
312.0ms	7974×	body	80	nan

Details

sample34.0ms

simplify63.0ms

prune3.0ms

localize12.0ms

rewrite28.0ms

series18.0ms

simplify1.2min

prune133.0ms

localize10.0ms

rewrite36.0ms

series21.0ms

simplify1.2min

prune183.0ms

localize13.0ms

rewrite65.0ms

series42.0ms

simplify1.8min

prune363.0ms

localize19.0ms

rewrite58.0ms

series24.0ms

simplify5.3min

prune205.0ms

regimes28.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample915.0ms

Profiling