Details

sample41.0ms

Algorithm

intervals

Results

17.0ms

357×

body

valid

simplify10.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	20	9
3	31	9
done	31	9

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.0b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (+ (* x y) z) y) t)
0.0b	(+ (* x y) z)
0.1b	(* (+ (* x y) z) y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-log-exp`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`flip3-+` `associate-r` `associate-l` `flip-+`
2×	`+-commutative` `associate-*l/` `sum-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 42

Calls

3 calls:

8.0ms	(+ (* (+ (* x y) z) y) t)
5.0ms	(+ (* x y) z)
8.0ms	(* (+ (* x y) z) y)

series34.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(+ (* (+ (* x y) z) y) t)
6.0ms	(+ (* x y) z)
10.0ms	(* (+ (* x y) z) y)

simplify1.1min

Counts

51 → 51

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	8	9
1	11	9
done	11	9
0	7	8
1	13	8
2	22	8
3	25	8
done	25	8
0	7	8
1	12	8
2	30	8
3	48	8
4	83	8
5	173	8
6	456	8
7	1325	8
8	4821	8
done	5000	8
0	10	23
1	31	23
2	107	11
3	375	11
4	1425	9
done	5000	9
0	8	17
1	11	17
2	19	17
3	22	17
done	22	17
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	23
1	21	23
2	82	9
3	311	9
4	878	9
5	2319	9
done	5000	9
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	7	8
1	10	8
2	18	8
3	21	8
done	21	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	11
1	13	11
2	23	11
3	43	11
4	59	11
5	61	11
done	61	11
0	7	8
1	10	8
2	18	8
3	26	8
done	26	8
0	7	7
1	12	5
2	23	5
3	39	5
4	49	5
done	49	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	6	7
1	9	7
2	17	7
3	20	7
done	20	7
0	9	11
1	28	11
2	74	11
3	186	11
4	407	11
5	1209	11
done	5000	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4157	13
done	5001	13
0	7	7
1	13	6
2	20	6
3	32	6
4	67	6
5	154	6
6	405	6
7	1261	6
8	4687	6
done	5000	6
0	6	6
1	8	6
done	8	6
0	6	6
1	11	6
2	16	6
3	23	6
4	41	6
5	95	6
6	220	6
7	590	6
8	1950	6
done	5000	6
0	7	13
1	9	13
done	9	13
0	6	6
1	8	6
done	8	6
0	7	17
1	22	17
2	70	7
3	223	7
4	603	7
5	1509	7
6	3228	7
done	5001	7
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	8	9
1	26	9
2	64	9
3	141	9
4	268	9
5	709	9
6	2669	9
done	5000	9
0	9	17
1	27	15
2	63	15
3	107	13
4	181	13
5	307	13
6	470	13
7	527	13
8	626	13
9	730	13
done	730	13
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	8	5
2	9	5
done	9	5
0	10	11
1	18	10
2	37	10
3	67	10
4	132	10
5	262	10
6	691	10
7	2208	10
done	5001	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	16	10
2	29	10
3	55	10
4	97	10
5	172	10
6	454	10
7	1445	10
done	5001	10
0	10	21
1	14	21
2	22	21
3	33	21
done	33	21
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	10	29
1	27	29
2	83	11
3	326	11
4	1560	11
done	5001	11
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	9	10
1	13	10
2	21	10
3	32	10
done	32	10
0	11	13
1	31	13
2	77	13
3	243	13
4	774	13
5	2146	13
done	5000	13
0	12	29
1	32	27
2	92	27
3	277	21
4	712	21
5	1956	21
done	5000	21
0	10	19
1	25	19
2	67	19
3	193	19
4	485	19
5	1205	19
6	3640	19
done	5000	19
0	8	9
1	13	9
2	22	9
3	37	9
4	41	9
5	45	9
6	53	9
7	80	9
8	131	9
9	230	9
10	249	9
11	264	9
12	286	9
13	287	9
done	287	9
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	52	11
4	62	9
5	74	9
6	98	9
7	160	9
8	381	9
9	1320	9
done	5000	9

prune79.0ms

Filtered

39 candidates to 51 candidates (-30.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	47	5	52

Merged error: 0b

Counts

52 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(cbrt y)

series112.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (cbrt y) (cbrt y))
25.0ms	(cbrt y)
26.0ms	(cbrt y)
30.0ms	(cbrt y)

simplify52.5s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune87.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Merged error: 0b

Counts

90 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

5.1b	(* x (* (pow y 3) x))
5.2b	(* (pow y 3) x)
7.3b	(* y (* z z))
15.3b	(/ (- (* x (* (pow y 3) x)) (* y (* z z))) (- (* x y) z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log` `add-sqr-sqrt`
18×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube`
13×	`prod-exp`
11×	`pow1`
9×	`times-frac`
7×	`cbrt-unprod`
5×	`associate-r` `unswap-sqr`
4×	`unpow-prod-down` `cube-prod` `pow-prod-down` `add-log-exp`
3×	`associate-/r` `-commutative` `associate-/l*`
2×	`pow-to-exp` `flip3--` `pow-exp` `associate-/r/` `flip--` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `cube-mult` `frac-2neg` `unpow3` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 101

Calls

4 calls:

7.0ms	(* x (* (pow y 3) x))
7.0ms	(* (pow y 3) x)
6.0ms	(* y (* z z))
14.0ms	(/ (- (* x (* (pow y 3) x)) (* y (* z z))) (- (* x y) z))

series47.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(* x (* (pow y 3) x))
4.0ms	(* (pow y 3) x)
7.0ms	(* y (* z z))
24.0ms	(/ (- (* x (* (pow y 3) x)) (* y (* z z))) (- (* x y) z))

simplify6.5min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	21
1	35	21
2	68	21
3	127	21
4	224	21
5	485	21
6	1512	21
done	5000	21
0	14	20
1	38	20
2	84	20
3	215	20
4	650	20
5	2052	20
done	5001	20
0	14	20
1	35	20
2	82	20
3	214	20
4	658	20
5	2123	20
done	5000	20
0	17	59
1	44	59
2	134	23
3	479	21
4	2667	21
done	5000	21
0	15	41
1	36	41
2	80	41
3	209	41
4	633	41
5	2029	41
done	5000	41
0	14	20
1	35	20
2	79	20
3	209	20
4	643	20
5	2039	20
done	5000	20
0	15	59
1	43	59
2	114	21
3	451	21
4	2696	21
done	5001	21
0	14	20
1	35	20
2	79	20
3	209	20
4	643	20
5	2039	20
done	5000	20
0	14	20
1	35	20
2	79	20
3	209	20
4	643	20
5	2039	20
done	5000	20
0	11	14
1	26	14
2	63	14
3	150	14
4	399	13
5	1158	13
6	3693	13
done	5000	13
0	6	6
1	9	6
2	13	6
3	21	6
4	22	5
done	22	5
0	10	13
1	25	13
2	55	13
3	236	13
4	824	13
5	3137	13
done	5000	13
0	8	11
1	16	11
2	29	11
3	62	11
4	112	11
5	159	11
6	183	9
7	369	9
8	1695	9
done	5000	9
0	17	43
1	41	43
2	82	43
3	148	43
4	248	43
5	529	43
6	1521	43
done	5001	43
0	15	21
1	33	21
2	65	21
3	125	21
4	221	21
5	484	21
6	1471	21
done	5001	21
0	16	36
1	36	36
2	70	36
3	130	36
4	226	36
5	491	36
6	1460	36
done	5000	36
0	15	21
1	33	21
2	65	21
3	125	21
4	221	21
5	484	21
6	1471	21
done	5001	21
0	14	31
1	33	29
2	73	29
3	137	29
4	231	29
5	496	29
6	1482	29
done	5000	29
0	14	20
1	32	20
2	64	20
3	124	20
4	220	20
5	474	20
6	1451	20
done	5001	20
0	16	28
1	36	28
2	68	28
3	127	28
4	223	28
5	485	28
6	1471	28
done	5001	28
0	15	21
1	33	21
2	65	21
3	125	21
4	221	21
5	484	21
6	1471	21
done	5001	21
0	15	21
1	33	21
2	65	21
3	125	21
4	221	21
5	484	21
6	1471	21
done	5001	21
0	15	21
1	33	21
2	65	21
3	125	21
4	221	21
5	484	21
6	1471	21
done	5001	21
0	13	16
1	30	14
2	66	14
3	126	14
4	222	14
5	486	14
6	1463	14
done	5000	14
0	14	20
1	32	20
2	64	20
3	124	20
4	220	20
5	474	20
6	1451	20
done	5001	20
0	9	15
1	16	15
2	17	15
done	17	15
0	14	20
1	35	20
2	79	20
3	194	20
4	481	20
5	1230	20
6	3983	20
done	5000	20
0	8	8
1	13	8
2	14	8
done	14	8
0	14	20
1	35	20
2	79	20
3	194	20
4	481	20
5	1230	20
6	3983	20
done	5000	20
0	2	3
1	4	1
done	4	1
0	13	19
1	34	19
2	78	19
3	207	19
4	635	19
5	2030	19
done	5001	19
0	7	7
1	12	7
2	13	7
done	13	7
0	13	19
1	34	19
2	72	19
3	147	19
4	331	19
5	1035	19
6	4108	19
done	5000	19
0	15	27
1	38	27
2	98	27
3	296	27
4	951	27
5	2910	27
done	5000	27
0	14	20
1	35	20
2	79	20
3	194	20
4	481	20
5	1230	20
6	3983	20
done	5000	20
0	12	15
1	32	13
2	80	13
3	203	13
4	588	13
5	1641	13
done	5001	13
0	14	20
1	35	20
2	73	20
3	141	20
4	244	20
5	521	20
6	1528	20
done	5000	20
0	14	20
1	35	20
2	73	20
3	141	20
4	244	20
5	521	20
6	1528	20
done	5000	20
0	13	19
1	34	19
2	72	19
3	147	19
4	331	19
5	1035	19
6	4108	19
done	5000	19
0	15	23
1	47	23
2	137	23
3	396	23
4	2345	23
done	5001	23
0	14	25
1	44	25
2	122	25
3	387	25
4	1716	25
done	5001	25
0	17	47
1	64	41
2	234	41
3	1158	37
done	5000	37
0	13	19
1	37	19
2	98	19
3	361	19
4	1137	19
5	3255	19
done	5001	19
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
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	261	7
6	749	7
7	2814	7
done	5001	7
0	6	6
1	18	6
2	44	6
3	95	6
4	189	6
5	453	6
6	1333	6
done	5000	6
0	6	6
1	17	6
2	46	6
3	99	6
4	236	6
5	661	6
6	2302	6
done	5000	6
0	9	17
1	27	13
2	95	9
3	430	9
4	2175	7
done	5001	7
0	7	13
1	16	13
2	34	13
3	58	13
4	104	13
5	256	13
6	773	13
7	3062	13
done	5000	13
0	6	6
1	15	6
2	33	6
3	57	6
4	103	6
5	254	6
6	784	6
7	3089	6
done	5000	6
0	7	17
1	26	17
2	109	7
3	556	7
4	2557	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	57	6
4	103	6
5	254	6
6	784	6
7	3089	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	57	6
4	103	6
5	254	6
6	784	6
7	3089	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	98	7
5	239	7
6	766	7
7	3077	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	98	7
5	239	7
6	766	7
7	3077	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	98	7
5	239	7
6	766	7
7	3077	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	98	7
5	239	7
6	766	7
7	3077	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	56	7
5	117	7
6	334	7
7	1253	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	56	7
5	117	7
6	334	7
7	1253	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	90	6
5	235	6
6	765	6
7	3069	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	90	6
5	235	6
6	765	6
7	3069	6
done	5000	6
0	7	9
1	18	9
2	47	9
3	93	9
4	188	9
5	475	9
6	1531	9
done	5000	9
0	6	6
1	15	6
2	33	6
3	61	6
4	109	6
5	255	6
6	779	6
7	3085	6
done	5001	6
0	5	5
1	16	3
2	37	3
3	73	3
4	119	3
5	220	3
6	502	3
7	1650	3
done	5001	3
0	6	6
1	15	3
2	19	3
3	25	3
4	35	3
5	58	3
6	114	3
7	334	3
8	1272	3
done	5000	3
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	247	6
6	779	6
7	3080	6
done	5000	6
0	5	5
1	14	5
2	32	5
3	53	5
4	101	5
5	252	5
6	773	5
7	3066	5
done	5001	5
0	3	3
1	4	3
done	4	3
0	6	6
1	15	3
2	21	3
3	31	3
4	54	3
5	117	3
6	335	3
7	1266	3
done	5001	3
0	6	6
1	15	3
2	19	3
3	25	3
4	35	3
5	58	3
6	114	3
7	334	3
8	1272	3
done	5000	3
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	247	6
6	779	6
7	3080	6
done	5000	6
0	5	5
1	14	5
2	32	5
3	53	5
4	101	5
5	252	5
6	773	5
7	3066	5
done	5001	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	6
1	15	6
2	22	6
3	32	6
4	55	6
5	122	6
6	342	6
7	1265	6
done	5000	6
0	5	5
1	14	5
2	32	5
3	53	5
4	101	5
5	252	5
6	773	5
7	3066	5
done	5001	5
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	226	5
6	755	5
7	3052	5
done	5001	5
0	6	7
1	16	7
2	37	7
3	86	7
4	168	7
5	433	7
6	1380	7
done	5000	7
0	8	10
1	11	10
2	14	10
3	16	9
4	17	9
done	17	9
0	8	10
1	11	10
2	14	10
3	16	9
4	17	9
done	17	9
0	8	10
1	20	10
2	35	10
3	75	9
4	155	9
5	349	9
6	1012	9
7	3715	9
done	5001	9
0	8	9
1	20	9
2	48	9
3	111	9
4	251	8
5	579	8
6	1701	8
done	5001	8
0	7	8
1	20	8
2	45	8
3	117	8
4	277	8
5	669	8
6	2002	8
done	5001	8
0	7	8
1	19	8
2	45	8
3	135	8
4	399	8
5	1375	8
done	5000	8
0	10	23
1	31	19
2	121	13
3	659	9
4	3973	9
done	5001	9
0	10	23
1	34	23
2	152	11
3	860	11
done	5000	11
0	8	17
1	18	17
2	39	17
3	90	17
4	169	17
5	415	17
6	1442	17
done	5000	17
0	7	8
1	17	8
2	38	8
3	88	8
4	167	8
5	418	8
6	1363	8
done	5000	8
0	8	23
1	28	23
2	93	9
3	464	9
4	2971	9
done	5000	9
0	7	8
1	17	8
2	38	8
3	88	8
4	168	6
5	419	6
6	1375	6
done	5001	6
0	7	8
1	17	8
2	38	8
3	88	8
4	168	6
5	419	6
6	1375	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	8
1	19	8
2	49	8
3	123	8
4	242	8
5	595	8
6	1931	8
done	5000	8
0	7	8
1	19	8
2	49	8
3	123	8
4	242	8
5	595	8
6	1931	8
done	5000	8
0	6	7
1	16	7
2	37	7
3	86	7
4	168	7
5	433	7
6	1380	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	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	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	20	7
2	62	7
3	114	7
4	223	7
5	528	7
6	1585	7
done	5000	7
0	7	7
1	20	7
2	62	7
3	114	7
4	223	7
5	528	7
6	1585	7
done	5000	7
0	7	7
1	20	7
2	62	7
3	114	7
4	223	7
5	528	7
6	1585	7
done	5000	7

prune177.0ms

Filtered

85 candidates to 113 candidates (-32.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	113	5	118

Merged error: 0b

Counts

118 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ (* x y) z))
0.0b	(sqrt (+ (* x y) z))
0.1b	(* (sqrt (+ (* x y) z)) y)
0.2b	(* (sqrt (+ (* x y) z)) (* (sqrt (+ (* x y) z)) y))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

18×	`sqrt-div`
17×	`add-sqr-sqrt`
13×	`pow1` `sqrt-prod`
12×	`associate-l`
11×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
10×	`associate-*l/`
9×	`flip3-+` `flip-+`
4×	`frac-times` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r/` `-commutative` `unswap-sqr`

Counts

4 → 83

Calls

4 calls:

4.0ms	(sqrt (+ (* x y) z))
5.0ms	(sqrt (+ (* x y) z))
9.0ms	(* (sqrt (+ (* x y) z)) y)
14.0ms	(* (sqrt (+ (* x y) z)) (* (sqrt (+ (* x y) z)) y))

series72.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (+ (* x y) z))
16.0ms	(sqrt (+ (* x y) z))
28.0ms	(* (sqrt (+ (* x y) z)) y)
11.0ms	(* (sqrt (+ (* x y) z)) (* (sqrt (+ (* x y) z)) y))

simplify2.2min

Counts

95 → 95

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	15
1	14	15
2	15	7
3	24	7
4	27	7
done	27	7
0	8	15
1	14	15
2	15	7
3	24	7
4	27	7
done	27	7
0	10	18
1	16	18
2	19	12
3	20	12
done	20	12
0	10	17
1	16	17
2	19	17
3	22	12
4	23	12
done	23	12
0	9	16
1	18	16
2	25	8
3	38	8
4	43	8
5	44	8
done	44	8
0	9	16
1	17	16
2	26	8
3	59	8
4	116	8
5	243	8
6	579	8
7	1764	8
done	5000	8
0	12	47
1	26	31
2	94	21
3	344	11
4	1220	11
5	4350	9
done	5000	9
0	12	47
1	30	31
2	105	19
3	361	19
4	1229	9
5	3910	9
done	5001	9
0	10	33
1	16	33
2	17	17
3	26	17
4	29	17
done	29	17
0	9	16
1	15	16
2	16	8
3	25	8
4	28	8
done	28	8
0	10	47
1	25	47
2	80	9
3	262	9
4	942	9
5	2409	9
done	5000	9
0	9	16
1	15	16
2	16	8
3	25	8
4	28	8
done	28	8
0	9	16
1	15	16
2	16	8
3	25	8
4	28	8
done	28	8
0	11	23
1	33	23
2	72	11
3	159	11
4	351	11
5	1153	11
6	4884	11
done	5000	11
0	11	37
1	29	15
2	66	15
3	110	13
4	184	13
5	310	13
6	473	13
7	530	13
8	627	13
9	732	13
10	736	13
11	742	13
done	742	13
0	15	25
1	47	25
2	106	25
3	194	25
4	359	25
5	865	25
6	2883	25
done	5000	25
0	13	25
1	34	23
2	70	23
3	113	21
4	186	21
5	311	21
6	474	21
7	531	21
8	628	21
9	730	21
done	730	21
0	15	25
1	47	25
2	106	25
3	201	25
4	367	25
5	887	25
6	2905	25
done	5001	25
0	13	25
1	34	23
2	70	23
3	113	21
4	186	21
5	311	21
6	474	21
7	531	21
8	628	21
9	730	21
done	730	21
0	10	27
1	27	27
2	46	13
3	78	13
4	177	13
5	334	13
6	551	13
7	941	13
8	2708	13
done	5000	13
0	7	13
1	10	5
2	12	5
done	12	5
0	7	13
1	9	5
2	10	5
done	10	5
0	9	16
1	15	16
2	21	16
done	21	16
0	10	16
1	16	16
2	22	16
3	24	16
done	24	16
0	9	16
1	15	16
2	21	16
done	21	16
0	8	15
1	14	15
2	15	7
3	24	7
4	27	7
done	27	7
0	9	16
1	15	16
2	21	16
done	21	16
0	8	15
1	14	15
2	15	7
3	24	7
4	27	7
done	27	7
0	13	19
1	36	19
2	80	19
3	164	19
4	297	19
5	728	19
6	2681	19
done	5000	19
0	12	21
1	29	21
2	52	21
3	67	21
4	108	21
5	185	21
6	283	21
7	511	21
8	1975	21
done	5000	21
0	13	19
1	36	19
2	80	19
3	161	19
4	290	19
5	725	19
6	2752	19
done	5001	19
0	12	21
1	29	21
2	52	21
3	67	21
4	108	21
5	185	21
6	277	21
7	505	21
8	1982	21
done	5001	21
0	7	8
1	10	8
done	10	8
0	9	10
1	12	10
done	12	10
0	8	9
1	14	9
2	15	9
done	15	9
0	8	9
1	13	9
2	19	9
3	27	9
4	50	9
5	106	9
6	254	9
7	714	9
8	2460	9
done	5000	9
0	11	26
1	20	18
2	54	12
3	138	12
4	310	10
5	577	10
6	1329	10
7	4246	10
done	5000	10
0	9	19
1	12	19
done	12	19
0	8	9
1	11	9
done	11	9
0	9	26
1	22	26
2	51	10
3	120	10
4	254	10
5	366	10
6	629	10
7	1422	10
8	4551	10
done	5000	10
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	9	10
1	12	10
done	12	10
0	9	10
1	12	10
done	12	10
0	9	10
1	12	10
done	12	10
0	9	10
1	12	10
done	12	10
0	9	12
1	14	12
2	16	12
done	16	12
0	8	9
1	11	9
done	11	9
0	8	8
1	13	6
2	16	6
done	16	6
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	7	8
1	10	8
done	10	8
0	8	9
1	11	9
done	11	9
0	7	8
1	10	8
done	10	8
0	10	12
1	29	12
2	67	12
3	143	12
4	270	12
5	710	12
6	2699	12
done	5000	12
0	9	14
1	23	14
2	41	14
3	56	14
4	97	14
5	174	14
6	260	14
7	488	14
8	1925	14
done	5000	14
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	11	12
2	22	8
3	35	8
4	41	8
5	51	8
6	72	8
7	138	8
8	355	8
9	1286	8
done	5000	8
0	8	14
1	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
done	8	6
0	9	10
1	27	10
2	65	10
3	140	10
4	261	10
5	692	10
6	2657	10
done	5001	10
0	10	18
1	28	16
2	64	16
3	108	14
4	182	14
5	308	14
6	471	14
7	528	14
8	625	14
9	728	14
done	728	14
0	8	12
1	21	12
2	39	12
3	54	12
4	95	12
5	170	12
6	264	12
7	492	12
8	1951	12
done	5000	12
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	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	15
1	10	15
done	10	15
0	7	7
1	9	7
done	9	7
0	8	20
1	11	12
2	22	8
3	35	8
4	41	8
5	51	8
6	72	8
7	138	8
8	355	8
9	1286	8
done	5000	8
0	8	14
1	11	7
done	11	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	2	2
1	4	1
done	4	1
0	6	6
1	8	6
done	8	6
0	9	10
1	27	10
2	65	10
3	140	10
4	261	10
5	692	10
6	2657	10
done	5001	10
0	10	18
1	28	16
2	64	16
3	108	14
4	182	14
5	308	14
6	471	14
7	528	14
8	625	14
9	728	14
done	728	14
0	8	12
1	21	12
2	39	12
3	54	12
4	95	12
5	170	12
6	264	12
7	492	12
8	1951	12
done	5000	12
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	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	19	25
1	53	25
2	153	23
3	356	23
4	735	19
5	1506	19
6	4124	19
done	5001	19
0	19	29
1	55	29
2	204	29
3	810	29
done	5000	25
0	19	29
1	55	29
2	201	29
3	718	29
4	3698	25
done	5000	25
0	16	19
1	41	19
2	108	19
3	194	17
4	322	17
5	625	17
6	1739	17
done	5001	17
0	17	23
1	47	23
2	166	23
3	661	23
4	3824	21
done	5001	21
0	17	23
1	47	23
2	163	23
3	565	23
4	2650	21
done	5000	21
0	16	19
1	41	19
2	108	19
3	194	17
4	322	17
5	625	17
6	1739	17
done	5001	17
0	17	23
1	47	23
2	166	23
3	661	23
4	3824	21
done	5001	21
0	17	23
1	47	23
2	163	23
3	565	23
4	2650	21
done	5000	21

prune106.0ms

Filtered

76 candidates to 95 candidates (-25.0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	95	5	100

Merged error: 0b

Counts

100 → 5

regimes381.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	8	9
1	12	9
done	12	9

end0.0ms

sample981.0ms

Algorithm

intervals

Results

383.0ms

11297×

body

valid

Details

sample41.0ms

simplify10.0ms

prune3.0ms

localize7.0ms

rewrite22.0ms

series34.0ms

simplify1.1min

prune79.0ms

localize11.0ms

rewrite13.0ms

series112.0ms

simplify52.5s

prune87.0ms

localize19.0ms

rewrite37.0ms

series47.0ms

simplify6.5min

prune177.0ms

localize10.0ms

rewrite35.0ms

series72.0ms

simplify2.2min

prune106.0ms

regimes381.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample981.0ms

Profiling