Details

sample154.0ms

Algorithm

intervals

Results

42.0ms	606×	body	80	valid
42.0ms	617×	body	80	nan

simplify4.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	25	17
2	40	17
3	78	17
4	135	17
5	235	17
6	552	17
7	1554	17
8	4834	17
done	5000	17

prune4.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.3b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.0b	(/ (* t t) 2.0)
0.0b	(exp (/ (* t t) 2.0))
0.2b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube`
14×	`add-exp-log`
13×	`add-sqr-sqrt`
11×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
7×	`exp-prod` `associate-r`
6×	`times-frac` `associate-*l/`
5×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`associate-l` `pow-prod-down`
3×	`associate-/r*`
2×	`cbrt-undiv` `flip3--` `div-exp` `*-commutative` `flip--` `div-inv`
1×	`frac-2neg` `clear-num` `sqrt-prod` `rem-exp-log` `associate-/l*` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

15.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
5.0ms	(/ (* t t) 2.0)
3.0ms	(exp (/ (* t t) 2.0))
9.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series76.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
3.0ms	(/ (* t t) 2.0)
3.0ms	(exp (/ (* t t) 2.0))
22.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify2.4min

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	12	12
1	17	12
2	18	12
done	18	12
0	11	11
1	19	11
2	27	11
3	40	11
4	44	11
done	44	11
0	11	11
1	18	11
2	36	11
3	67	11
4	124	11
5	255	11
6	736	11
7	2494	11
done	5001	11
0	14	32
1	25	26
2	76	14
3	288	14
4	1266	12
done	5000	12
0	12	23
1	17	23
2	24	23
3	37	23
4	41	23
done	41	23
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	32
1	27	32
2	81	12
3	345	12
4	1599	12
done	5000	12
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	12
1	17	12
2	18	12
done	18	12
0	12	12
1	17	12
2	18	12
done	18	12
0	12	17
1	19	17
2	28	17
3	53	17
4	75	17
5	87	17
done	87	17
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	7	7
1	13	5
2	23	5
3	42	5
4	61	5
5	65	5
done	65	5
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	13	14
1	34	14
2	91	14
3	255	14
4	767	14
5	2137	14
done	5001	14
0	12	16
1	27	16
2	55	16
3	125	16
4	280	16
5	476	16
6	711	16
7	1272	16
8	4456	16
done	5000	16
0	7	14
1	11	14
2	17	14
3	23	14
4	41	14
5	81	14
6	187	14
7	559	14
8	2244	14
done	5001	14
0	6	7
1	8	7
2	10	7
3	11	7
done	11	7
0	6	8
1	8	8
done	8	8
0	5	5
done	5	5
0	4	4
1	6	2
done	6	2
0	2	2
1	5	1
done	5	1
0	3	4
1	5	4
2	9	4
3	14	4
4	32	4
5	74	4
6	183	4
7	563	4
8	1965	4
done	5000	4
0	6	7
1	8	5
2	10	5
3	13	5
4	21	5
5	34	5
6	71	5
7	176	5
8	542	5
9	2177	5
done	5000	5
0	6	7
1	8	7
2	10	7
3	13	7
4	19	7
5	29	7
6	61	7
7	142	7
8	378	7
9	1254	7
done	5000	7
0	7	15
1	9	15
2	11	15
3	14	15
4	20	15
5	28	15
6	53	15
7	114	15
8	276	15
9	850	15
10	3581	15
done	5001	15
0	6	7
1	8	7
2	10	7
3	13	7
4	19	7
5	27	7
6	52	7
7	115	7
8	277	7
9	842	7
10	3577	7
done	5000	7
0	7	20
1	12	19
2	22	8
3	45	8
4	101	8
5	204	8
6	508	8
7	1607	8
done	5001	8
0	6	7
1	8	7
2	10	7
3	13	7
4	19	7
5	28	7
6	54	7
7	115	7
8	277	7
9	844	7
10	3579	7
done	5000	7
0	6	7
1	8	7
2	10	7
3	13	7
4	19	7
5	28	7
6	54	7
7	115	7
8	277	7
9	844	7
10	3579	7
done	5000	7
0	6	8
1	12	7
2	16	7
3	19	7
4	23	7
5	28	7
6	36	7
7	50	7
8	62	7
9	74	7
10	86	7
11	87	7
done	87	7
0	6	7
1	10	7
2	17	7
3	21	7
4	23	7
5	27	7
6	32	7
7	40	7
8	54	7
9	66	7
10	78	7
11	90	7
12	91	7
done	91	7
0	5	6
1	10	6
2	18	6
3	31	6
4	39	6
5	43	6
6	51	6
7	65	6
8	77	6
9	89	6
10	99	6
11	100	6
done	100	6
0	5	6
1	7	6
2	9	6
3	12	6
4	18	6
5	26	6
6	51	6
7	112	6
8	274	6
9	843	6
10	3566	6
done	5000	6
0	8	17
1	23	17
2	98	11
3	363	7
4	910	7
5	2319	7
done	5000	7
0	8	17
1	24	17
2	97	9
3	369	7
4	933	7
5	2388	7
done	5001	7
0	6	13
1	8	13
2	10	13
3	11	13
done	11	13
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	6	17
1	15	17
2	49	7
3	172	7
4	490	7
5	904	7
6	2460	7
done	5000	7
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	3	4
1	6	4
done	6	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	8	3
2	14	3
3	19	3
done	19	3
0	3	3
done	3	3
0	15	17
1	25	17
2	40	17
3	78	17
4	135	17
5	235	17
6	552	17
7	1554	17
8	4834	17
done	5000	17
0	15	17
1	25	17
2	40	17
3	78	17
4	135	17
5	235	17
6	552	17
7	1554	17
8	4834	17
done	5000	17
0	16	18
1	26	18
2	35	18
3	38	18
done	38	18
0	15	17
1	26	17
2	40	17
3	58	17
4	64	17
done	64	17
0	16	18
1	29	18
2	51	17
3	101	17
4	158	17
5	254	17
6	606	17
7	1816	17
done	5001	17
0	16	18
1	28	18
2	54	18
3	123	18
4	265	18
5	605	18
6	1789	18
done	5001	18
0	21	53
1	42	46
2	141	23
3	670	23
4	3851	21
done	5001	21
0	19	53
1	44	52
2	144	21
3	687	21
4	3777	19
done	5001	19
0	17	37
1	27	37
2	42	37
3	80	37
4	137	37
5	234	37
6	547	37
7	1538	37
8	4777	37
done	5000	37
0	16	18
1	26	18
2	41	18
3	79	18
4	136	18
5	232	18
6	547	18
7	1545	18
8	4787	18
done	5000	18
0	17	53
1	37	53
2	118	19
3	615	19
4	3164	19
done	5000	19
0	16	18
1	26	18
2	41	18
3	79	18
4	136	18
5	232	18
6	547	18
7	1545	18
8	4787	18
done	5000	18
0	16	18
1	26	18
2	41	18
3	79	18
4	136	18
5	232	18
6	547	18
7	1545	18
8	4787	18
done	5000	18
0	17	26
1	29	26
2	51	26
3	107	26
4	215	26
5	326	26
6	392	26
7	458	26
8	617	26
9	1197	26
10	3936	26
done	5000	26
0	16	18
1	26	18
2	41	18
3	81	18
4	138	18
5	179	18
6	213	18
7	274	18
8	435	18
9	1009	18
10	3747	18
done	5001	18
0	12	12
1	22	10
2	41	10
3	76	10
4	138	10
5	193	10
6	205	10
done	205	10
0	9	11
1	13	11
2	15	11
3	18	11
4	24	11
5	36	11
6	73	11
7	170	11
8	444	11
9	1417	11
done	5000	11
0	18	21
1	44	21
2	109	21
3	308	21
4	1182	21
5	4882	21
done	5000	21
0	17	23
1	37	23
2	75	23
3	193	23
4	602	23
5	1519	23
6	3929	23
done	5001	23
0	1	1
done	1	1
0	18	26
1	47	26
2	122	26
3	320	21
4	921	21
5	3299	18
done	5000	18
0	14	17
1	35	17
2	80	17
3	148	15
4	305	15
5	749	15
6	2402	15
done	5001	15
0	12	13
1	27	13
2	65	13
3	154	13
4	424	13
5	939	13
6	3255	13
done	5001	13
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
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	1	1
done	1	1
0	25	47
1	67	47
2	203	47
3	690	35
4	3007	35
done	5000	35
0	22	38
1	59	38
2	161	38
3	416	29
4	1398	29
done	5000	29

prune229.0ms

Filtered

73 candidates to 89 candidates (-21.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	80	9	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	9	90

Merged error: 0.0b

Counts

90 → 9

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
0.0b	(pow (exp t) (/ t 2.0))
0.2b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity`
13×	`pow-unpow`
11×	`associate-r`
10×	`prod-exp` `add-cbrt-cube`
9×	`times-frac`
6×	`pow1` `unpow-prod-down` `associate-*l/`
4×	`pow-pow` `associate-l` `cbrt-unprod`
3×	`pow-to-exp` `exp-prod` `pow-exp` `add-log-exp`
2×	`flip3--` `*-commutative` `flip--` `sqr-pow`
1×	`pow-prod-down` `sqrt-prod` `div-inv` `unswap-sqr`

Counts

3 → 77

Calls

3 calls:

13.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
5.0ms	(pow (exp t) (/ t 2.0))
10.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series80.0ms

Counts

3 → 9

Calls

3 calls:

54.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
6.0ms	(pow (exp t) (/ t 2.0))
20.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify5.3min

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	12	12
1	17	12
2	18	12
done	18	12
0	11	11
1	19	11
2	27	11
3	40	11
4	44	11
done	44	11
0	11	11
1	18	11
2	36	11
3	67	11
4	124	11
5	255	11
6	736	11
7	2494	11
done	5001	11
0	14	32
1	25	26
2	76	14
3	288	14
4	1266	12
done	5000	12
0	12	23
1	17	23
2	24	23
3	37	23
4	41	23
done	41	23
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	32
1	27	32
2	81	12
3	345	12
4	1599	12
done	5000	12
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	12
1	17	12
2	18	12
done	18	12
0	12	12
1	17	12
2	18	12
done	18	12
0	12	17
1	19	17
2	28	17
3	53	17
4	75	17
5	87	17
done	87	17
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	7	7
1	13	5
2	23	5
3	42	5
4	61	5
5	65	5
done	65	5
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	13	14
1	34	14
2	91	14
3	255	14
4	767	14
5	2137	14
done	5001	14
0	12	16
1	27	16
2	55	16
3	125	16
4	280	16
5	476	16
6	711	16
7	1272	16
8	4456	16
done	5000	16
0	4	5
1	7	5
2	9	5
done	9	5
0	6	7
1	9	5
2	11	5
done	11	5
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	12
1	11	12
2	18	12
3	42	12
4	99	12
5	263	12
6	895	12
7	3356	12
done	5000	12
0	6	7
1	10	7
2	15	7
3	33	7
4	75	7
5	182	7
6	565	7
7	2195	7
done	5000	7
0	9	14
1	19	14
2	41	14
3	106	14
4	324	14
5	958	14
6	3911	14
done	5000	14
0	8	11
1	14	11
2	25	11
3	63	11
4	179	11
5	515	11
6	2184	11
done	5001	11
0	7	10
1	15	8
2	32	8
3	69	8
4	152	8
5	364	8
6	1347	8
7	4833	8
done	5000	8
0	8	11
1	14	11
2	23	11
3	57	11
4	151	11
5	416	11
6	1814	11
done	5000	11
0	7	8
1	11	8
2	18	8
3	43	8
4	104	8
5	276	8
6	1132	8
done	5000	8
0	6	7
1	12	5
2	21	5
3	39	5
4	81	5
5	177	5
6	622	5
7	2348	5
done	5000	5
0	8	10
1	16	10
2	25	10
3	60	10
4	146	10
5	441	10
6	1675	10
done	5000	10
0	7	7
1	13	7
2	20	7
3	46	7
4	101	7
5	273	7
6	829	7
7	2545	7
done	5000	7
0	5	6
1	12	4
2	19	2
3	30	2
4	52	2
5	114	2
6	331	2
7	1261	2
done	5001	2
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	3	4
1	7	4
2	12	4
3	30	4
4	72	4
5	183	4
6	568	4
7	1972	4
done	5000	4
0	7	11
1	11	11
2	18	11
3	43	11
4	104	11
5	276	11
6	1132	11
done	5000	11
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	5	6
1	9	6
2	16	6
3	41	6
4	102	6
5	270	6
6	1122	6
done	5000	6
0	6	7
1	12	7
2	24	5
3	56	5
4	147	5
5	457	5
6	1974	5
done	5000	5
0	6	7
1	10	7
2	19	7
3	49	7
4	127	7
5	354	7
6	1455	7
done	5000	7
0	7	15
1	11	15
2	18	15
3	43	15
4	104	15
5	275	15
6	1131	15
done	5000	15
0	6	7
1	10	7
2	17	7
3	42	7
4	103	7
5	268	7
6	1125	7
done	5000	7
0	7	20
1	14	15
2	39	8
3	101	8
4	278	8
5	1082	8
done	5000	8
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	16	18
1	27	18
2	36	18
done	36	18
0	18	20
1	29	18
2	38	18
done	38	18
0	18	20
1	32	20
2	51	18
3	95	18
4	224	18
5	645	18
6	2621	18
done	5000	18
0	15	17
1	27	17
2	41	17
3	58	17
4	66	17
done	66	17
0	17	19
1	29	17
2	43	17
3	60	17
4	66	17
done	66	17
0	17	19
1	32	19
2	56	17
3	113	17
4	236	17
5	640	17
6	2556	17
done	5000	17
0	16	18
1	31	18
2	68	18
3	186	17
4	557	17
5	2001	17
done	5001	17
0	16	18
1	30	18
2	66	18
3	193	18
4	623	18
5	2416	18
done	5000	18
0	21	53
1	44	42
2	160	23
3	832	23
done	5000	23
0	19	53
1	46	48
2	163	21
3	843	21
done	5001	21
0	17	37
1	29	37
2	55	37
3	146	37
4	438	37
5	1548	37
done	5001	37
0	16	18
1	28	18
2	54	18
3	145	18
4	434	18
5	1560	18
done	5001	18
0	17	53
1	39	53
2	141	19
3	830	19
done	5000	19
0	16	18
1	28	18
2	54	18
3	145	18
4	434	18
5	1560	18
done	5001	18
0	16	18
1	28	18
2	54	18
3	145	18
4	434	18
5	1560	18
done	5001	18
0	17	22
1	29	22
2	55	22
3	148	22
4	438	22
5	1539	22
done	5000	22
0	16	18
1	28	18
2	54	18
3	145	18
4	437	18
5	1553	18
done	5001	18
0	15	16
1	29	12
2	47	10
3	93	10
4	164	10
5	240	10
6	284	10
7	328	10
8	386	10
9	453	10
10	529	10
11	614	10
12	702	10
13	803	10
14	914	10
15	1033	10
16	1170	10
17	1316	10
18	1459	10
19	1612	10
20	1776	10
21	1947	10
22	2126	10
23	2316	10
24	2513	10
25	2725	10
26	2940	10
27	3167	10
28	3412	10
29	3658	10
30	3909	10
31	4170	10
32	4448	10
33	4727	10
done	5000	10
0	17	26
1	31	26
2	58	26
3	136	26
4	297	26
5	566	26
6	1467	26
done	5001	26
0	16	18
1	28	18
2	49	18
3	109	18
4	223	18
5	428	18
6	1292	18
done	5000	18
0	12	12
1	22	10
2	41	10
3	76	10
4	138	10
5	193	10
6	205	10
done	205	10
0	17	19
1	30	19
2	62	19
3	159	19
4	468	19
5	1635	19
done	5001	19
0	9	11
1	15	11
2	26	11
3	61	11
4	150	11
5	403	11
6	1570	11
done	5001	11
0	18	21
1	45	21
2	121	21
3	373	21
4	1623	21
done	5000	21
0	17	23
1	39	23
2	88	23
3	269	23
4	1132	23
done	5001	23
0	1	1
done	1	1
0	18	26
1	47	26
2	122	26
3	320	21
4	921	21
5	3299	18
done	5000	18
0	14	17
1	35	17
2	80	17
3	148	15
4	305	15
5	749	15
6	2402	15
done	5001	15
0	16	25
1	41	23
2	127	11
3	221	7
4	356	7
5	785	7
6	2640	7
done	5001	7
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	1	1
done	1	1
0	25	47
1	67	47
2	203	47
3	690	35
4	3007	35
done	5000	35
0	22	38
1	59	38
2	161	38
3	416	29
4	1398	29
done	5000	29

prune216.0ms

Filtered

72 candidates to 86 candidates (-19.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	86	9	95

Merged error: 0.0b

Counts

95 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (pow (exp t) (/ t 2.0))) (sqrt (pow (exp t) (/ t 2.0))))
0.0b	(pow (exp t) (/ t 2.0))
0.0b	(pow (exp t) (/ t 2.0))
0.2b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt`
55×	`sqrt-prod`
36×	`add-cube-cbrt` `*-un-lft-identity`
26×	`unpow-prod-down` `pow-unpow`
18×	`times-frac`
17×	`unswap-sqr`
15×	`pow1`
14×	`associate-r` `sqr-pow`
13×	`associate-l`
12×	`swap-sqr`
8×	`add-exp-log` `pow-pow` `add-cbrt-cube`
6×	`exp-prod` `sqrt-pow1` `pow1/2`
4×	`pow-prod-down` `add-log-exp`
3×	`pow-sqr` `pow-prod-up`
2×	`pow-to-exp` `associate-l/` `pow-exp` `prod-exp` `-commutative` `cbrt-unprod` `div-inv`
1×	`pow2` `flip3--` `pow-plus` `sqrt-unprod` `rem-square-sqrt` `flip--`

Counts

4 → 152

Calls

4 calls:

13.0ms	(* (sqrt (pow (exp t) (/ t 2.0))) (sqrt (pow (exp t) (/ t 2.0))))
5.0ms	(pow (exp t) (/ t 2.0))
6.0ms	(pow (exp t) (/ t 2.0))
9.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (sqrt (pow (exp t) (/ t 2.0))) (sqrt (pow (exp t) (/ t 2.0))))
5.0ms	(pow (exp t) (/ t 2.0))
5.0ms	(pow (exp t) (/ t 2.0))
17.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify13.3min

Counts

164 → 164

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	12	12
1	17	12
2	18	12
done	18	12
0	11	11
1	19	11
2	27	11
3	40	11
4	44	11
done	44	11
0	11	11
1	18	11
2	36	11
3	67	11
4	124	11
5	255	11
6	736	11
7	2494	11
done	5001	11
0	14	32
1	25	26
2	76	14
3	288	14
4	1266	12
done	5000	12
0	12	23
1	17	23
2	24	23
3	37	23
4	41	23
done	41	23
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	32
1	27	32
2	81	12
3	345	12
4	1599	12
done	5000	12
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	12
1	17	12
2	18	12
done	18	12
0	12	12
1	17	12
2	18	12
done	18	12
0	12	17
1	19	17
2	28	17
3	53	17
4	75	17
5	87	17
done	87	17
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	7	7
1	13	5
2	23	5
3	42	5
4	61	5
5	65	5
done	65	5
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	13	14
1	34	14
2	91	14
3	255	14
4	767	14
5	2137	14
done	5001	14
0	12	16
1	27	16
2	55	16
3	125	16
4	280	16
5	476	16
6	711	16
7	1272	16
8	4456	16
done	5000	16
0	4	5
1	7	5
2	9	5
done	9	5
0	6	7
1	9	5
2	11	5
done	11	5
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	12
1	11	12
2	18	12
3	42	12
4	99	12
5	263	12
6	895	12
7	3356	12
done	5000	12
0	6	7
1	10	7
2	15	7
3	33	7
4	75	7
5	182	7
6	565	7
7	2195	7
done	5000	7
0	9	14
1	19	14
2	41	14
3	106	14
4	324	14
5	958	14
6	3911	14
done	5000	14
0	8	11
1	14	11
2	25	11
3	63	11
4	179	11
5	515	11
6	2184	11
done	5001	11
0	7	10
1	15	8
2	32	8
3	69	8
4	152	8
5	364	8
6	1347	8
7	4833	8
done	5000	8
0	8	11
1	14	11
2	23	11
3	57	11
4	151	11
5	416	11
6	1814	11
done	5000	11
0	7	8
1	11	8
2	18	8
3	43	8
4	104	8
5	276	8
6	1132	8
done	5000	8
0	6	7
1	12	5
2	21	5
3	39	5
4	81	5
5	177	5
6	622	5
7	2348	5
done	5000	5
0	8	10
1	16	10
2	25	10
3	60	10
4	146	10
5	441	10
6	1675	10
done	5000	10
0	7	7
1	13	7
2	20	7
3	46	7
4	101	7
5	273	7
6	829	7
7	2545	7
done	5000	7
0	5	6
1	12	4
2	19	2
3	30	2
4	52	2
5	114	2
6	331	2
7	1261	2
done	5001	2
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	3	4
1	7	4
2	12	4
3	30	4
4	72	4
5	183	4
6	568	4
7	1972	4
done	5000	4
0	7	11
1	11	11
2	18	11
3	43	11
4	104	11
5	276	11
6	1132	11
done	5000	11
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	5	6
1	9	6
2	16	6
3	41	6
4	102	6
5	270	6
6	1122	6
done	5000	6
0	6	7
1	12	7
2	24	5
3	56	5
4	147	5
5	457	5
6	1974	5
done	5000	5
0	6	7
1	10	7
2	19	7
3	49	7
4	127	7
5	354	7
6	1455	7
done	5000	7
0	7	15
1	11	15
2	18	15
3	43	15
4	104	15
5	275	15
6	1131	15
done	5000	15
0	6	7
1	10	7
2	17	7
3	42	7
4	103	7
5	268	7
6	1125	7
done	5000	7
0	7	20
1	14	15
2	39	8
3	101	8
4	278	8
5	1082	8
done	5000	8
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	4	5
1	7	5
2	9	5
done	9	5
0	6	7
1	9	5
2	11	5
done	11	5
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	5
1	7	5
2	9	5
done	9	5
0	7	12
1	11	12
2	18	12
3	42	12
4	99	12
5	263	12
6	895	12
7	3356	12
done	5000	12
0	6	7
1	10	7
2	15	7
3	33	7
4	75	7
5	182	7
6	565	7
7	2195	7
done	5000	7
0	9	14
1	19	14
2	41	14
3	106	14
4	324	14
5	958	14
6	3911	14
done	5000	14
0	8	11
1	14	11
2	25	11
3	63	11
4	179	11
5	515	11
6	2184	11
done	5001	11
0	7	10
1	15	8
2	32	8
3	69	8
4	152	8
5	364	8
6	1347	8
7	4833	8
done	5000	8
0	8	11
1	14	11
2	23	11
3	57	11
4	151	11
5	416	11
6	1814	11
done	5000	11
0	7	8
1	11	8
2	18	8
3	43	8
4	104	8
5	276	8
6	1132	8
done	5000	8
0	6	7
1	12	5
2	21	5
3	39	5
4	81	5
5	177	5
6	622	5
7	2348	5
done	5000	5
0	8	10
1	16	10
2	25	10
3	60	10
4	146	10
5	441	10
6	1675	10
done	5000	10
0	7	7
1	13	7
2	20	7
3	46	7
4	101	7
5	273	7
6	829	7
7	2545	7
done	5000	7
0	5	6
1	12	4
2	19	2
3	30	2
4	52	2
5	114	2
6	331	2
7	1261	2
done	5001	2
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	3	4
1	7	4
2	12	4
3	30	4
4	72	4
5	183	4
6	568	4
7	1972	4
done	5000	4
0	7	11
1	11	11
2	18	11
3	43	11
4	104	11
5	276	11
6	1132	11
done	5000	11
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	6	7
1	10	7
2	17	7
3	42	7
4	105	7
5	272	7
6	1126	7
done	5001	7
0	5	5
1	11	1
2	16	1
3	27	1
4	40	1
5	63	1
6	96	1
7	140	1
8	197	1
9	263	1
10	334	1
11	417	1
12	507	1
13	610	1
14	718	1
15	835	1
16	961	1
17	1094	1
18	1241	1
19	1396	1
20	1557	1
21	1726	1
22	1910	1
23	2101	1
24	2304	1
25	2511	1
26	2731	1
27	2957	1
28	3190	1
29	3432	1
30	3708	1
31	3993	1
32	4261	1
33	4538	1
34	4826	1
done	5001	1
0	5	6
1	9	6
2	16	6
3	41	6
4	102	6
5	270	6
6	1122	6
done	5000	6
0	6	7
1	12	7
2	24	5
3	56	5
4	147	5
5	457	5
6	1974	5
done	5000	5
0	6	7
1	10	7
2	19	7
3	49	7
4	127	7
5	354	7
6	1455	7
done	5000	7
0	7	15
1	11	15
2	18	15
3	43	15
4	104	15
5	275	15
6	1131	15
done	5000	15
0	6	7
1	10	7
2	17	7
3	42	7
4	103	7
5	268	7
6	1125	7
done	5000	7
0	7	20
1	14	15
2	39	8
3	101	8
4	278	8
5	1082	8
done	5000	8
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	6	7
1	10	7
2	18	7
3	43	7
4	104	7
5	274	7
6	1133	7
done	5000	7
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	7	8
1	12	8
2	25	8
3	54	8
4	137	8
5	382	8
6	1587	8
done	5001	8
0	2	3
1	5	1
2	7	1
done	7	1
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	17	7
3	36	5
4	60	3
5	220	3
6	765	3
7	2746	3
done	5000	3
0	6	13
1	12	8
2	29	8
3	75	8
4	195	8
5	735	8
6	3292	8
done	5001	8
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	3	5
1	5	4
2	7	4
3	10	4
4	14	4
5	23	4
6	48	4
7	99	4
8	219	4
9	594	4
10	2114	4
done	5000	4
0	2	3
1	6	1
done	6	1
0	8	17
1	13	10
2	22	10
3	47	10
4	110	10
5	278	10
6	1129	10
done	5000	10
0	8	16
1	14	7
2	28	7
3	62	5
4	155	5
5	455	5
6	1992	5
done	5000	5
0	8	16
1	14	7
2	28	7
3	63	7
4	155	7
5	418	7
6	1607	7
done	5001	7
0	9	47
1	20	20
2	57	15
3	159	8
4	500	8
5	1906	8
done	5000	8
0	9	33
1	13	15
2	22	15
3	47	15
4	110	15
5	278	15
6	1126	15
done	5001	15
0	8	16
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	9	47
1	21	20
2	57	8
3	160	8
4	531	8
5	1909	8
done	5001	8
0	6	13
1	12	8
2	29	8
3	75	8
4	195	8
5	735	8
6	3292	8
done	5001	8
0	8	16
1	13	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1129	7
done	5000	7
0	8	16
1	13	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1129	7
done	5000	7
0	9	35
1	17	35
2	27	19
3	59	10
4	133	10
5	314	10
6	1104	10
7	4893	10
done	5000	10
0	8	17
1	12	17
2	20	17
3	45	17
4	106	17
5	276	17
6	1129	17
done	5001	17
0	9	25
1	13	11
2	22	11
3	47	11
4	108	11
5	275	11
6	1132	11
done	5001	11
0	8	17
1	12	7
2	21	7
3	46	7
4	109	7
5	278	7
6	1133	7
done	5000	7
0	8	17
1	12	7
2	21	7
3	46	7
4	109	7
5	278	7
6	1133	7
done	5000	7
0	8	17
1	12	7
2	21	7
3	46	7
4	109	7
5	278	7
6	1133	7
done	5000	7
0	7	13
1	13	1
2	18	1
3	29	1
4	42	1
5	65	1
6	98	1
7	141	1
8	194	1
9	258	1
10	333	1
11	414	1
12	504	1
13	605	1
14	715	1
15	830	1
16	954	1
17	1099	1
18	1246	1
19	1397	1
20	1568	1
21	1741	1
22	1919	1
23	2108	1
24	2308	1
25	2520	1
26	2758	1
27	2984	1
28	3218	1
29	3461	1
30	3738	1
31	4026	1
32	4311	1
33	4593	1
34	4908	1
done	5000	1
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	9	33
1	14	15
2	22	15
3	47	15
4	110	15
5	278	15
6	1128	15
done	5000	15
0	8	17
1	12	7
2	20	7
3	45	7
4	106	7
5	276	7
6	1129	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	3	5
1	5	1
done	5	1
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	9	19
1	14	8
2	29	8
3	58	8
4	141	8
5	380	8
6	1588	8
done	5000	8
0	9	19
1	14	8
2	29	8
3	58	8
4	141	8
5	380	8
6	1588	8
done	5000	8
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	2	3
1	4	1
done	4	1
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	8	17
1	12	7
2	21	7
3	46	7
4	109	7
5	278	7
6	1133	7
done	5000	7
0	8	17
1	12	7
2	21	7
3	46	7
4	109	7
5	278	7
6	1133	7
done	5000	7
0	11	17
1	18	17
2	30	17
3	64	17
4	148	17
5	377	17
6	1447	17
done	5000	17
0	11	17
1	18	17
2	30	17
3	64	17
4	148	17
5	377	17
6	1447	17
done	5000	17
0	12	18
1	20	18
2	39	18
3	79	18
4	189	18
5	516	18
6	2188	18
done	5000	18
0	12	18
1	20	18
2	39	18
3	79	18
4	189	18
5	516	18
6	2188	18
done	5000	18
0	11	17
1	18	17
2	30	17
3	64	17
4	148	17
5	377	17
6	1447	17
done	5000	17
0	11	17
1	18	17
2	30	17
3	64	17
4	148	17
5	377	17
6	1447	17
done	5000	17
0	11	17
1	18	17
2	30	17
3	64	17
4	146	17
5	377	17
6	1446	17
done	5001	17
0	11	17
1	18	17
2	30	17
3	64	17
4	146	17
5	377	17
6	1446	17
done	5001	17
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	12	18
1	19	18
2	40	18
3	87	18
4	224	18
5	666	18
6	3088	18
done	5000	18
0	12	18
1	19	18
2	40	18
3	87	18
4	224	18
5	666	18
6	3088	18
done	5000	18
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	12	18
1	20	18
2	39	18
3	79	18
4	189	18
5	514	18
6	2196	18
done	5000	18
0	12	18
1	20	18
2	39	18
3	79	18
4	189	18
5	514	18
6	2196	18
done	5000	18
0	12	18
1	19	18
2	40	18
3	87	18
4	227	18
5	682	18
6	3091	18
done	5000	18
0	12	18
1	19	18
2	40	18
3	87	18
4	227	18
5	682	18
6	3091	18
done	5000	18
0	9	19
1	14	8
2	29	8
3	58	8
4	141	8
5	380	8
6	1588	8
done	5000	8
0	9	19
1	14	8
2	29	8
3	58	8
4	141	8
5	380	8
6	1588	8
done	5000	8
0	12	18
1	19	18
2	40	18
3	87	18
4	227	18
5	682	18
6	3091	18
done	5000	18
0	12	18
1	19	18
2	40	18
3	87	18
4	227	18
5	682	18
6	3091	18
done	5000	18
0	11	17
1	18	17
2	30	17
3	64	17
4	146	17
5	377	17
6	1446	17
done	5001	17
0	11	17
1	18	17
2	30	17
3	64	17
4	146	17
5	377	17
6	1446	17
done	5001	17
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	12	18
1	19	18
2	40	18
3	87	18
4	224	18
5	666	18
6	3088	18
done	5000	18
0	12	18
1	19	18
2	40	18
3	87	18
4	224	18
5	666	18
6	3088	18
done	5000	18
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	8	17
1	12	7
2	21	7
3	46	7
4	107	7
5	275	7
6	1131	7
done	5001	7
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	6	7
1	11	7
2	22	7
3	44	5
4	68	3
5	223	3
6	693	3
7	2527	3
done	5000	3
0	9	25
1	16	25
2	26	25
3	51	25
4	112	25
5	278	25
6	1131	25
done	5000	25
0	11	20
1	18	20
2	30	20
3	64	20
4	146	20
5	377	20
6	1446	20
done	5001	20
0	10	16
1	17	16
2	29	16
3	63	16
4	145	16
5	376	16
6	1438	16
done	5001	16
0	10	14
1	19	9
2	29	9
3	56	7
4	118	7
5	282	7
6	1005	7
7	4558	7
done	5001	7
0	10	24
1	16	16
2	24	16
3	49	16
4	110	16
5	276	16
6	1128	16
done	5000	16
0	8	16
1	13	16
2	21	16
3	46	16
4	107	16
5	277	16
6	1140	16
done	5000	16
0	9	10
1	16	9
2	24	9
3	49	7
4	112	7
5	275	7
6	978	7
7	4549	7
done	5000	7
0	11	17
1	18	17
2	39	17
3	86	17
4	221	17
5	673	17
6	3068	17
done	5000	17
0	8	16
1	13	16
2	21	16
3	46	16
4	107	16
5	277	16
6	1140	16
done	5000	16
0	8	9
1	15	7
2	26	7
3	51	7
4	111	7
5	274	7
6	977	7
7	4552	7
done	5001	7
0	8	16
1	13	16
2	21	16
3	46	16
4	107	16
5	277	16
6	1140	16
done	5000	16
0	10	16
1	17	16
2	29	16
3	63	16
4	145	16
5	376	16
6	1441	16
done	5000	16
0	10	16
1	17	16
2	29	16
3	63	16
4	145	16
5	376	16
6	1441	16
done	5000	16
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	9	16
1	14	16
2	22	16
3	47	16
4	110	16
5	282	16
6	1138	16
done	5000	16
0	8	16
1	13	16
2	21	16
3	46	16
4	107	16
5	277	16
6	1140	16
done	5000	16
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	11	17
1	18	17
2	39	17
3	86	17
4	226	17
5	684	17
6	3118	17
done	5001	17
0	8	16
1	13	16
2	21	16
3	46	16
4	107	16
5	277	16
6	1140	16
done	5000	16
0	7	15
1	11	6
2	20	6
3	45	6
4	106	6
5	273	6
6	1134	6
done	5001	6
0	1	1
done	1	1
0	18	26
1	47	26
2	122	26
3	320	21
4	921	21
5	3299	18
done	5000	18
0	14	17
1	35	17
2	80	17
3	148	15
4	305	15
5	749	15
6	2402	15
done	5001	15
0	16	25
1	41	23
2	127	11
3	221	7
4	356	7
5	785	7
6	2640	7
done	5001	7
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	16	25
1	41	23
2	127	11
3	221	7
4	356	7
5	785	7
6	2640	7
done	5001	7
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	16	25
1	41	23
2	127	11
3	221	7
4	356	7
5	785	7
6	2640	7
done	5001	7
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6
0	6	6
1	14	6
2	35	6
3	55	6
4	99	6
5	199	6
6	452	6
7	1303	6
8	4632	6
done	5001	6

prune420.0ms

Filtered

114 candidates to 164 candidates (-43.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	164	9	173

Merged error: 0.0b

Counts

173 → 9

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp (+ t t)) (/ (/ t 2.0) 2)))
0.2b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-exp-log`
12×	`associate-r`
10×	`prod-exp`
9×	`add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `-un-lft-identity` `associate-l/`
4×	`pow1` `unpow-prod-down` `associate-l` `cbrt-unprod`
2×	`pow-to-exp` `flip3--` `pow-exp` `*-commutative` `flip--` `add-log-exp`
1×	`exp-sum` `pow-prod-down` `sqrt-prod` `unswap-sqr` `sqr-pow`

Counts

2 → 48

Calls

2 calls:

16.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp (+ t t)) (/ (/ t 2.0) 2)))
10.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series76.0ms

Counts

2 → 6

Calls

2 calls:

60.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp (+ t t)) (/ (/ t 2.0) 2)))
16.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify2.7min

Counts

54 → 54

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	12	12
1	17	12
2	18	12
done	18	12
0	11	11
1	19	11
2	27	11
3	40	11
4	44	11
done	44	11
0	11	11
1	18	11
2	36	11
3	67	11
4	124	11
5	255	11
6	736	11
7	2494	11
done	5001	11
0	14	32
1	25	26
2	76	14
3	288	14
4	1266	12
done	5000	12
0	12	23
1	17	23
2	24	23
3	37	23
4	41	23
done	41	23
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	32
1	27	32
2	81	12
3	345	12
4	1599	12
done	5000	12
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	12	12
1	17	12
2	18	12
done	18	12
0	12	12
1	17	12
2	18	12
done	18	12
0	12	17
1	19	17
2	28	17
3	53	17
4	75	17
5	87	17
done	87	17
0	8	8
1	12	8
2	19	8
3	32	8
4	40	8
done	40	8
0	11	11
1	16	11
2	23	11
3	36	11
4	40	11
done	40	11
0	7	7
1	13	5
2	23	5
3	42	5
4	61	5
5	65	5
done	65	5
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	10	10
1	15	10
2	22	10
3	35	10
4	43	10
done	43	10
0	13	14
1	34	14
2	91	14
3	255	14
4	767	14
5	2137	14
done	5001	14
0	12	16
1	27	16
2	55	16
3	125	16
4	280	16
5	476	16
6	711	16
7	1272	16
8	4456	16
done	5000	16
0	19	22
1	33	22
2	61	22
3	128	22
4	225	20
5	301	18
6	1064	18
7	4363	18
done	5001	18
0	21	24
1	37	22
2	69	22
3	154	22
4	291	20
5	413	18
6	1052	18
7	4122	18
done	5000	18
0	21	24
1	39	24
2	71	22
3	173	22
4	450	20
5	1374	18
done	5000	18
0	18	21
1	33	21
2	66	21
3	146	21
4	254	19
5	330	17
6	1095	17
7	4342	17
done	5000	17
0	20	23
1	37	21
2	74	21
3	172	21
4	321	19
5	443	17
6	1232	17
7	4779	17
done	5000	17
0	20	23
1	39	23
2	76	21
3	189	21
4	468	19
5	1370	17
done	5001	17
0	19	22
1	38	22
2	84	22
3	218	21
4	715	21
5	2579	19
done	5000	19
0	19	22
1	37	22
2	82	22
3	217	22
4	675	22
5	2583	22
done	5000	22
0	24	65
1	51	50
2	177	27
3	874	27
done	5000	27
0	22	65
1	53	56
2	180	25
3	883	25
done	5001	25
0	20	45
1	36	45
2	71	45
3	168	45
4	487	45
5	1714	45
done	5000	45
0	19	22
1	35	22
2	70	22
3	167	22
4	492	22
5	1742	22
done	5000	22
0	20	65
1	46	65
2	157	23
3	861	23
done	5000	23
0	19	22
1	35	22
2	70	22
3	167	22
4	492	22
5	1742	22
done	5000	22
0	19	22
1	35	22
2	70	22
3	167	22
4	492	22
5	1742	22
done	5000	22
0	17	19
1	30	19
2	62	19
3	159	19
4	468	19
5	1635	19
done	5001	19
0	20	28
1	36	28
2	71	28
3	166	28
4	486	28
5	1711	28
done	5000	28
0	19	22
1	35	22
2	71	20
3	166	20
4	497	20
5	1752	20
done	5001	20
0	17	18
1	32	12
2	56	10
3	106	10
4	195	10
5	285	10
6	342	10
7	398	10
8	463	10
9	533	10
10	616	10
11	706	10
12	811	10
13	918	10
14	1042	10
15	1170	10
16	1309	10
17	1455	10
18	1607	10
19	1778	10
20	1949	10
21	2127	10
22	2314	10
23	2516	10
24	2734	10
25	2972	10
26	3195	10
27	3427	10
28	3675	10
29	3948	10
30	4233	10
31	4502	10
32	4780	10
done	5000	10
0	20	34
1	38	34
2	74	34
3	156	34
4	349	34
5	734	34
6	1994	34
done	5000	34
0	19	22
1	35	22
2	65	22
3	131	22
4	273	22
5	582	22
6	1798	22
done	5000	22
0	12	12
1	22	10
2	41	10
3	76	10
4	138	10
5	193	10
6	205	10
done	205	10
0	19	23
1	38	21
2	76	21
3	183	21
4	515	21
5	1778	21
done	5001	21
0	12	15
1	22	15
2	42	15
3	81	15
4	199	15
5	551	15
6	2071	15
done	5000	15
0	21	25
1	52	25
2	137	25
3	405	25
4	1725	25
done	5000	25
0	20	27
1	46	27
2	104	27
3	287	27
4	1152	27
done	5002	27
0	1	1
done	1	1
0	18	26
1	47	26
2	122	26
3	320	21
4	921	21
5	3299	18
done	5000	18
0	14	17
1	35	17
2	80	17
3	148	15
4	305	15
5	749	15
6	2402	15
done	5001	15
0	1	1
done	1	1
0	25	47
1	67	47
2	203	47
3	690	35
4	3007	35
done	5000	35
0	22	38
1	59	38
2	161	38
3	416	29
4	1398	29
done	5000	29

prune121.0ms

Filtered

47 candidates to 54 candidates (-14.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	54	9	63

Merged error: 0.0b

Counts

63 → 9

regimes1.3s

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	21
1	22	21
done	22	21

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.2s	17850×	body	80	valid
1.2s	17847×	body	80	nan

Details

sample154.0ms

simplify4.4s

prune4.0ms

localize14.0ms

rewrite35.0ms

series76.0ms

simplify2.4min

prune229.0ms

localize15.0ms

rewrite31.0ms

series80.0ms

simplify5.3min

prune216.0ms

localize17.0ms

rewrite48.0ms

series32.0ms

simplify13.3min

prune420.0ms

localize19.0ms

rewrite29.0ms

series76.0ms

simplify2.7min

prune121.0ms

regimes1.3s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.2s

Profiling