Details

sample72.0ms

Algorithm

intervals

Results

27.0ms

424×

body

valid

simplify45.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	15
1	26	15
2	46	15
3	70	15
4	76	15
done	76	15

prune5.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

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.0b	(+ (+ (* x y) (* z t)) (* a b))
0.0b	(+ (* x y) (* z t))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

9.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
7.0ms	(+ (+ (* x y) (* z t)) (* a b))
5.0ms	(+ (* x y) (* z t))

series153.0ms

Counts

3 → 9

Calls

3 calls:

115.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
26.0ms	(+ (+ (* x y) (* z t)) (* a b))
11.0ms	(+ (* x y) (* z t))

simplify46.5s

Counts

47 → 47

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	18	8
2	30	8
3	58	8
4	175	8
5	619	8
6	2814	8
done	5000	8
0	8	8
1	11	8
done	11	8
0	8	8
1	14	8
2	23	8
3	36	8
4	88	8
5	282	8
6	1033	8
done	5001	8
0	9	17
1	12	17
done	12	17
0	8	8
1	11	8
done	11	8
0	9	23
1	25	23
2	89	9
3	330	9
4	988	9
5	2567	9
done	5000	9
0	8	8
1	11	8
done	11	8
0	8	8
1	11	8
done	11	8
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	11	7
2	18	7
done	18	7
0	14	14
1	29	13
2	58	12
3	139	12
4	573	12
5	3569	12
done	5000	12
0	13	13
1	25	12
2	49	12
3	89	12
4	278	12
5	1558	12
done	5000	12
0	12	12
1	19	12
2	25	12
done	25	12
0	12	12
1	22	12
2	39	12
3	66	12
4	112	12
5	380	12
6	2207	12
done	5001	12
0	13	25
1	20	25
2	26	25
done	26	25
0	12	12
1	19	12
2	25	12
done	25	12
0	13	35
1	33	35
2	123	13
3	639	13
4	3789	13
done	5000	13
0	12	12
1	19	12
2	25	12
done	25	12
0	12	12
1	19	12
2	25	12
done	25	12
0	14	15
1	35	15
2	89	15
3	240	15
4	629	15
5	1962	15
done	5000	15
0	15	35
1	42	31
2	131	31
3	382	27
4	1197	27
5	3341	27
done	5000	27
0	13	23
1	35	23
2	106	23
3	292	23
4	717	23
5	2006	23
done	5000	23
0	11	11
1	19	11
2	32	11
3	38	11
4	44	11
5	59	11
6	86	11
7	122	11
8	148	11
9	155	11
10	180	11
11	192	11
done	192	11
0	7	7
1	10	7
done	10	7
0	19	19
1	40	18
2	90	17
3	263	16
4	1362	16
done	5001	16
0	18	18
1	36	17
2	79	16
3	193	16
4	790	16
done	5001	16
0	17	17
1	33	16
2	67	16
3	155	16
4	389	16
5	1712	16
done	5000	16
0	16	16
1	27	16
2	47	16
3	70	16
4	73	16
done	73	16
0	16	16
1	30	16
2	64	16
3	134	16
4	241	16
5	677	16
6	4124	16
done	5001	16
0	17	33
1	28	33
2	48	33
3	71	33
4	76	33
done	76	33
0	16	16
1	27	16
2	47	16
3	70	16
4	73	16
done	73	16
0	17	47
1	41	47
2	157	17
3	1069	17
done	5002	17
0	16	16
1	27	16
2	47	16
3	70	16
4	73	16
done	73	16
0	16	16
1	27	16
2	47	16
3	70	16
4	73	16
done	73	16
0	18	19
1	43	19
2	115	19
3	422	19
4	1936	19
done	5001	19
0	19	47
1	50	43
2	169	43
3	718	35
4	3641	35
done	5000	35
0	17	31
1	43	31
2	140	31
3	547	31
4	2444	31
done	5000	31
0	15	15
1	27	15
2	54	15
3	91	15
4	120	15
5	155	15
6	238	15
7	442	15
8	549	15
9	641	15
10	717	15
11	727	15
done	727	15
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	11	11
1	18	11
2	24	11
done	24	11
0	11	11
1	18	11
2	24	11
done	24	11
0	1	1
done	1	1
0	11	11
1	18	11
2	24	11
done	24	11
0	11	11
1	18	11
2	24	11
done	24	11

prune87.0ms

Filtered

40 candidates to 47 candidates (-17.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Merged error: 0.0b

Counts

48 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
2.4b	(cbrt (+ (* x y) (* z t)))
2.4b	(cbrt (+ (* x y) (* z t)))
2.4b	(cbrt (+ (* x y) (* z t)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

12.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
4.0ms	(cbrt (+ (* x y) (* z t)))
4.0ms	(cbrt (+ (* x y) (* z t)))
4.0ms	(cbrt (+ (* x y) (* z t)))

series182.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
44.0ms	(cbrt (+ (* x y) (* z t)))
41.0ms	(cbrt (+ (* x y) (* z t)))
42.0ms	(cbrt (+ (* x y) (* z t)))

simplify1.9min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	18
1	13	18
done	13	18
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	8
done	11	8
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	24
1	40	20
2	110	20
3	235	20
4	428	20
5	557	20
6	724	20
7	845	20
8	1135	20
9	1725	20
done	1725	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	12	8
2	19	8
done	19	8
0	10	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	26
2	16	10
3	21	7
4	27	7
5	37	7
6	60	7
7	121	7
8	335	7
9	1267	7
done	5001	7
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	9	17
1	12	17
done	12	17
0	2	3
1	6	1
done	6	1
0	10	19
1	15	11
2	16	11
done	16	11
0	10	18
1	15	18
2	17	11
3	18	11
done	18	11
0	10	18
1	15	18
2	19	18
3	24	18
4	42	18
5	84	18
6	193	18
7	576	18
8	2246	18
done	5000	18
0	8	15
1	17	15
2	46	15
3	118	15
4	204	15
5	278	15
6	405	15
7	501	15
done	501	15
0	11	37
1	14	37
done	14	37
0	10	18
1	13	18
done	13	18
0	11	53
1	22	53
2	29	19
3	43	10
4	101	10
5	267	10
6	749	10
7	2477	10
done	5000	10
0	10	18
1	14	9
done	14	9
0	10	18
1	14	9
done	14	9
0	12	25
1	34	25
2	101	25
3	253	25
4	477	25
5	1222	25
6	4747	25
done	5000	25
0	13	49
1	41	41
2	111	41
3	237	41
4	430	41
5	558	41
6	725	41
7	846	41
8	1136	41
9	1724	41
done	1724	41
0	16	29
1	56	29
2	158	29
3	347	29
4	618	29
5	1500	29
done	5001	29
0	15	33
1	46	29
2	121	29
3	245	29
4	434	29
5	565	29
6	732	29
7	853	29
8	1142	29
9	1731	29
done	1731	29
0	16	29
1	56	29
2	158	29
3	336	29
4	598	29
5	1482	29
done	5000	29
0	15	33
1	46	29
2	121	29
3	244	29
4	437	29
5	568	29
6	735	29
7	856	29
8	1151	29
9	1751	29
done	1751	29
0	11	33
1	32	33
2	73	33
3	131	33
4	196	33
5	331	33
6	529	33
7	897	33
8	2742	33
done	5000	33
0	9	17
1	13	17
2	20	17
done	20	17
0	11	37
1	14	37
done	14	37
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	3	5
1	5	3
done	5	1
0	9	17
1	12	17
done	12	17
0	11	39
1	18	39
2	20	21
3	29	11
4	44	11
5	70	11
6	139	11
7	351	11
8	1250	11
done	5000	11
0	10	19
1	13	19
done	13	19
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	2	3
1	4	1
done	4	1
0	9	17
1	12	17
done	12	17
0	10	19
1	13	19
done	13	19
0	10	19
1	13	19
done	13	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	12	19
1	16	19
done	16	19
0	10	19
1	13	8
2	14	8
done	14	8
0	10	19
1	13	8
2	14	8
done	14	8
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	11	27
1	15	27
done	15	27
0	11	18
1	15	18
done	15	18
0	11	11
1	17	10
done	17	10
0	11	28
1	17	28
2	19	28
done	19	28
0	10	18
1	14	18
done	14	18
0	10	10
1	16	8
2	19	8
done	19	8
0	10	18
1	14	18
done	14	18
0	11	18
1	15	18
done	15	18
0	9	17
1	12	17
done	12	17
0	10	18
1	14	18
done	14	18
0	10	18
1	14	18
done	14	18
0	9	17
1	12	17
done	12	17
0	14	21
1	38	21
2	105	21
3	256	21
4	477	21
5	1240	21
6	4812	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	134	25
4	199	25
5	330	25
6	510	25
7	872	25
8	2672	25
done	5000	25
0	14	21
1	38	21
2	105	21
3	256	21
4	488	21
5	1233	21
6	4765	21
done	5000	21
0	13	25
1	35	25
2	75	25
3	133	25
4	200	25
5	333	25
6	525	25
7	897	25
8	2690	25
done	5001	25
0	24	33
1	57	29
2	128	25
3	367	22
4	857	17
5	2299	16
done	5001	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	24	33
1	57	29
2	128	25
3	367	22
4	857	17
5	2299	16
done	5001	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	24	33
1	57	29
2	128	25
3	367	22
4	857	17
5	2299	16
done	5001	16
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	25	33
1	57	31
2	131	26
3	314	23
4	691	19
5	2082	17
done	5001	17
0	16	19
1	36	14
2	80	11
3	227	8
4	643	8
5	1336	5
6	3594	5
done	5000	5
0	17	19
1	36	16
2	71	14
3	208	12
4	631	12
5	2192	9
done	5001	9

prune142.0ms

Filtered

76 candidates to 99 candidates (-30.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	99	5	104

Merged error: 0.0b

Counts

104 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
1.0b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
1.0b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
1.0b	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

16.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
7.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
6.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
6.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

series310.0ms

Counts

4 → 12

Calls

4 calls:

114.0ms	(* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b))))
66.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
62.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))
67.0ms	(cbrt (+ (+ (* x y) (* z t)) (* a b)))

simplify1.7min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	14	26
1	21	26
2	27	26
done	27	26
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	2	2
1	4	1
done	4	1
0	12	12
1	19	12
2	25	12
done	25	12
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	16	36
1	43	32
2	132	32
3	381	28
4	1188	28
5	3297	28
done	5000	28
0	14	24
1	36	24
2	107	24
3	291	24
4	714	24
5	2008	24
done	5001	24
0	12	12
1	20	12
2	33	12
3	39	12
4	45	12
5	60	12
6	87	12
7	123	12
8	149	12
9	156	12
10	181	12
11	193	12
done	193	12
0	14	27
1	21	27
2	27	27
done	27	27
0	13	13
1	20	13
2	26	13
done	26	13
0	14	38
1	22	38
2	30	14
3	35	11
4	41	11
5	51	11
6	74	11
7	137	11
8	348	11
9	1263	11
done	5000	11
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	14	26
1	21	26
2	27	26
done	27	26
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	2	2
1	4	1
done	4	1
0	12	12
1	19	12
2	25	12
done	25	12
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	16	36
1	43	32
2	132	32
3	381	28
4	1188	28
5	3297	28
done	5000	28
0	14	24
1	36	24
2	107	24
3	291	24
4	714	24
5	2008	24
done	5001	24
0	12	12
1	20	12
2	33	12
3	39	12
4	45	12
5	60	12
6	87	12
7	123	12
8	149	12
9	156	12
10	181	12
11	193	12
done	193	12
0	14	27
1	21	27
2	27	27
done	27	27
0	13	13
1	20	13
2	26	13
done	26	13
0	14	38
1	22	38
2	30	14
3	35	11
4	41	11
5	51	11
6	74	11
7	137	11
8	348	11
9	1263	11
done	5000	11
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	14	26
1	21	26
2	27	26
done	27	26
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	2	2
1	4	1
done	4	1
0	12	12
1	19	12
2	25	12
done	25	12
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	16	36
1	43	32
2	132	32
3	381	28
4	1188	28
5	3297	28
done	5000	28
0	14	24
1	36	24
2	107	24
3	291	24
4	714	24
5	2008	24
done	5001	24
0	12	12
1	20	12
2	33	12
3	39	12
4	45	12
5	60	12
6	87	12
7	123	12
8	149	12
9	156	12
10	181	12
11	193	12
done	193	12
0	14	27
1	21	27
2	27	27
done	27	27
0	13	13
1	20	13
2	26	13
done	26	13
0	14	38
1	22	38
2	30	14
3	35	11
4	41	11
5	51	11
6	74	11
7	137	11
8	348	11
9	1263	11
done	5000	11
0	13	13
1	20	13
2	26	13
done	26	13
0	13	13
1	20	13
2	26	13
done	26	13
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	12	23
1	25	23
2	76	23
3	304	23
4	1035	23
5	3773	23
done	5001	23
0	13	25
1	20	25
2	26	25
done	26	25
0	2	3
1	6	1
done	6	1
0	14	27
1	23	15
2	30	15
done	30	15
0	14	26
1	23	26
2	31	15
3	32	15
done	32	15
0	14	26
1	23	26
2	33	26
3	38	26
4	56	26
5	96	26
6	206	26
7	578	26
8	2250	26
done	5001	26
0	12	23
1	25	23
2	76	23
3	304	23
4	1035	23
5	3773	23
done	5001	23
0	15	53
1	22	53
2	28	53
done	28	53
0	14	26
1	21	26
2	27	26
done	27	26
0	15	77
1	30	77
2	45	27
3	59	14
4	165	14
5	517	14
6	1650	14
done	5000	14
0	14	26
1	22	13
2	28	13
done	28	13
0	14	26
1	22	13
2	28	13
done	28	13
0	16	33
1	37	33
2	91	33
3	244	33
4	637	33
5	1950	33
done	5000	33
0	17	73
1	44	65
2	133	65
3	382	57
4	1191	57
5	3307	57
done	5000	57
0	20	41
1	58	41
2	178	41
3	520	41
4	1472	41
5	4444	41
done	5000	41
0	19	49
1	51	45
2	151	45
3	407	41
4	1215	41
5	3378	41
done	5000	41
0	20	41
1	58	41
2	178	41
3	519	41
4	1479	41
5	4509	41
done	5000	41
0	19	49
1	51	45
2	151	45
3	409	41
4	1212	41
5	3382	41
done	5001	41
0	15	49
1	37	49
2	108	49
3	290	49
4	709	49
5	1986	49
done	5001	49
0	13	25
1	21	25
2	34	25
3	40	25
4	46	25
5	61	25
6	88	25
7	124	25
8	150	25
9	157	25
10	182	25
11	194	25
done	194	25
0	15	53
1	22	53
2	28	53
done	28	53
0	14	27
1	21	27
2	27	27
done	27	27
0	14	27
1	21	27
2	27	27
done	27	27
0	14	27
1	21	27
2	27	27
done	27	27
0	3	5
1	5	3
done	5	1
0	13	25
1	20	25
2	26	25
done	26	25
0	15	55
1	26	55
2	34	29
3	43	15
4	58	15
5	84	15
6	156	15
7	374	15
8	1283	15
done	5000	15
0	14	27
1	21	27
2	27	27
done	27	27
0	14	27
1	21	12
2	28	12
done	28	12
0	14	27
1	21	12
2	28	12
done	28	12
0	2	3
1	4	1
done	4	1
0	13	25
1	20	25
2	26	25
done	26	25
0	14	27
1	21	27
2	27	27
done	27	27
0	14	27
1	21	27
2	27	27
done	27	27
0	16	27
1	24	27
2	30	27
done	30	27
0	16	27
1	24	27
2	30	27
done	30	27
0	16	27
1	24	27
2	30	27
done	30	27
0	16	27
1	24	27
2	30	27
done	30	27
0	14	27
1	21	12
2	28	12
done	28	12
0	14	27
1	21	12
2	28	12
done	28	12
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	15	39
1	23	39
2	29	39
done	29	39
0	15	26
1	23	26
2	29	26
done	29	26
0	15	15
1	25	14
2	31	14
done	31	12
0	15	40
1	25	40
2	33	40
done	33	40
0	14	26
1	22	26
2	28	26
done	28	26
0	14	14
1	24	12
2	33	12
done	33	12
0	14	26
1	22	26
2	28	26
done	28	26
0	15	26
1	23	26
2	29	26
done	29	26
0	13	25
1	20	25
2	26	25
done	26	25
0	14	26
1	22	26
2	28	26
done	28	26
0	14	26
1	22	26
2	28	26
done	28	26
0	13	25
1	20	25
2	26	25
done	26	25
0	18	29
1	43	29
2	103	29
3	260	29
4	653	29
5	1974	29
done	5000	29
0	17	37
1	42	37
2	114	37
3	305	37
4	734	37
5	2024	37
done	5000	37
0	18	29
1	43	29
2	103	29
3	255	29
4	656	29
5	1990	29
done	5000	29
0	17	37
1	42	37
2	114	37
3	304	37
4	732	37
5	2024	37
done	5000	37
0	11	11
1	26	10
2	54	8
3	108	7
4	179	4
5	343	4
6	866	4
7	2533	4
done	5000	4
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	11	11
1	26	10
2	54	8
3	108	7
4	179	4
5	343	4
6	866	4
7	2533	4
done	5000	4
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	11	11
1	26	10
2	54	8
3	108	7
4	179	4
5	343	4
6	866	4
7	2533	4
done	5000	4
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	31	51
1	75	46
2	177	40
3	401	27
4	919	23
5	2995	21
done	5000	21
0	16	19
1	36	14
2	80	11
3	227	8
4	643	8
5	1336	5
6	3594	5
done	5000	5
0	17	19
1	36	16
2	71	14
3	208	12
4	631	12
5	2192	9
done	5001	9

prune128.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	99	5	104

Merged error: 0.0b

Counts

104 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

1.2b	(+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y)))
1.4b	(+ (pow (* x y) 3) (pow (* z t) 3))
1.5b	(* (* z t) (- (* z t) (* x y)))
33.8b	(/ (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

11.0ms	(+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y)))
8.0ms	(+ (pow (* x y) 3) (pow (* z t) 3))
9.0ms	(* (* z t) (- (* z t) (* x y)))
24.0ms	(/ (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))))

series161.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y)))
52.0ms	(+ (pow (* x y) 3) (pow (* z t) 3))
22.0ms	(* (* z t) (- (* z t) (* x y)))
55.0ms	(/ (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))))

simplify4.4min

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	33
1	53	33
2	150	33
3	346	33
4	666	33
5	1493	33
done	5000	33
0	16	32
1	53	32
2	151	32
3	359	32
4	647	32
5	1487	32
done	5000	32
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	19	95
1	86	95
2	399	35
3	2435	33
done	5001	33
0	17	65
1	51	65
2	147	65
3	347	65
4	658	65
5	1479	65
done	5000	65
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	17	95
1	58	95
2	185	33
3	633	33
4	2950	33
done	5001	33
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	11	12
1	36	12
2	131	12
3	495	12
4	1238	12
5	3077	12
done	5000	12
0	11	20
1	29	20
2	88	20
3	247	20
4	559	19
5	1076	19
6	1443	19
7	1517	19
8	1560	19
done	1560	19
0	19	67
1	59	67
2	164	67
3	373	67
4	660	67
5	1505	67
done	5000	67
0	17	33
1	51	33
2	147	33
3	349	33
4	670	33
5	1486	33
done	5000	33
0	18	46
1	54	46
2	152	46
3	360	46
4	652	46
5	1495	46
done	5000	46
0	17	33
1	51	33
2	147	33
3	349	33
4	670	33
5	1486	33
done	5000	33
0	14	27
1	40	25
2	113	25
3	269	25
4	502	25
5	1247	25
6	4770	25
done	5000	25
0	16	32
1	50	32
2	146	32
3	350	32
4	665	32
5	1479	32
6	4943	32
done	5000	32
0	18	54
1	54	54
2	150	54
3	353	54
4	673	54
5	1495	54
done	5000	54
0	17	33
1	51	33
2	147	33
3	349	33
4	670	33
5	1486	33
done	5000	33
0	17	33
1	51	33
2	147	33
3	349	33
4	670	33
5	1486	33
done	5000	33
0	17	33
1	51	33
2	147	33
3	349	33
4	670	33
5	1486	33
done	5000	33
0	13	14
1	37	12
2	106	12
3	262	12
4	493	12
5	1242	12
6	4704	12
done	5000	12
0	16	32
1	50	32
2	146	32
3	350	32
4	665	32
5	1479	32
6	4943	32
done	5000	32
0	17	65
1	51	61
2	138	61
3	339	61
4	914	61
5	2387	61
6	4921	61
done	5000	61
0	13	28
1	29	28
2	64	28
3	136	28
4	229	28
5	298	28
6	342	28
7	398	28
8	559	28
9	840	28
10	1091	28
11	1231	28
12	1338	28
13	1370	28
14	1399	28
15	1411	28
done	1411	28
0	16	44
1	48	40
2	132	40
3	285	40
4	590	40
5	1133	40
6	1995	40
7	2835	40
8	3903	40
done	5000	40
0	13	28
1	29	28
2	64	28
3	136	28
4	229	28
5	298	28
6	342	28
7	398	28
8	559	28
9	840	28
10	1091	28
11	1231	28
12	1338	28
13	1370	28
14	1399	28
15	1411	28
done	1411	28
0	13	25
1	43	19
2	118	19
3	267	19
4	605	19
5	1343	19
6	2455	19
7	3538	19
8	4532	19
done	5000	19
0	12	27
1	28	27
2	63	27
3	133	27
4	229	27
5	306	27
6	350	27
7	406	27
8	567	27
9	848	27
10	1099	27
11	1238	27
12	1346	27
13	1538	27
14	3575	27
done	5000	27
0	14	43
1	33	43
2	68	43
3	138	43
4	232	43
5	309	43
6	353	43
7	409	43
8	570	43
9	851	43
10	1101	43
11	1233	43
12	1311	43
done	1311	43
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	13	22
1	30	22
2	65	22
3	136	22
4	233	22
5	296	22
6	340	22
7	396	22
8	557	22
9	838	22
10	1088	22
11	1221	22
12	1297	22
done	1297	22
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	2	3
1	4	1
done	4	1
0	15	31
1	49	31
2	145	31
3	346	31
4	648	31
5	1461	31
done	5000	31
0	14	43
1	33	43
2	68	43
3	138	43
4	232	43
5	309	43
6	353	43
7	409	43
8	570	43
9	851	43
10	1101	43
11	1233	43
12	1311	43
done	1311	43
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	13	22
1	30	22
2	65	22
3	136	22
4	233	22
5	296	22
6	340	22
7	396	22
8	557	22
9	838	22
10	1088	22
11	1221	22
12	1297	22
done	1297	22
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	2	3
1	4	1
done	4	1
0	15	31
1	49	31
2	145	31
3	346	31
4	648	31
5	1461	31
done	5000	31
0	12	21
1	29	21
2	64	21
3	136	21
4	226	21
5	299	21
6	343	21
7	399	21
8	560	21
9	841	21
10	1091	21
11	1223	21
12	1300	21
done	1300	21
0	15	31
1	49	31
2	145	31
3	332	31
4	613	31
5	1444	31
done	5000	31
0	17	53
1	53	53
2	149	53
3	349	53
4	670	53
5	1495	53
done	5000	53
0	16	32
1	50	32
2	146	32
3	345	32
4	663	32
5	1484	32
done	5000	32
0	12	13
1	36	11
2	105	11
3	248	11
4	477	11
5	1212	11
6	4720	11
done	5000	11
0	16	32
1	50	32
2	146	32
3	339	32
4	619	32
5	1441	32
6	4987	32
done	5000	32
0	16	32
1	50	32
2	146	32
3	339	32
4	619	32
5	1441	32
6	4987	32
done	5000	32
0	12	27
1	28	27
2	63	27
3	133	27
4	226	27
5	296	27
6	373	27
7	568	27
8	1208	27
9	2200	27
10	3267	27
11	4803	27
done	5000	27
0	15	31
1	49	31
2	145	31
3	332	31
4	613	31
5	1444	31
done	5000	31
0	15	31
1	49	31
2	145	31
3	332	31
4	613	31
5	1444	31
done	5000	31
0	17	35
1	64	35
2	270	31
3	1329	31
done	5000	31
0	17	51
1	63	45
2	247	41
3	1027	41
4	3930	41
done	5000	41
0	19	55
1	71	43
2	317	43
3	2652	43
done	5000	43
0	15	31
1	51	31
2	178	31
3	652	31
4	3315	31
done	5000	31
0	8	11
1	15	11
2	39	11
3	103	11
4	183	11
5	243	11
6	267	11
done	267	11
0	8	11
1	15	11
2	39	11
3	103	11
4	183	11
5	243	11
6	267	11
done	267	11
0	12	14
1	20	14
2	33	14
done	33	14
0	10	13
1	18	13
2	30	13
3	34	13
done	34	13
0	9	12
1	19	12
2	50	12
3	126	12
4	206	12
5	260	12
6	284	12
done	284	12
0	9	12
1	18	12
2	53	12
3	149	12
4	353	12
5	796	12
6	2604	12
done	5000	12
0	15	35
1	32	35
2	121	17
3	602	17
4	4045	15
done	5000	15
0	12	35
1	32	35
2	122	15
3	588	15
4	3733	13
done	5000	13
0	10	25
1	17	25
2	41	25
3	105	25
4	185	25
5	251	25
6	275	25
done	275	25
0	9	12
1	16	12
2	40	12
3	104	12
4	198	12
5	262	12
6	286	12
done	286	12
0	10	35
1	27	35
2	128	13
3	751	13
4	4392	13
done	5000	13
0	9	12
1	16	12
2	40	12
3	104	12
4	198	12
5	262	12
6	286	12
done	286	12
0	9	12
1	16	12
2	40	12
3	104	12
4	198	12
5	262	12
6	286	12
done	286	12
0	4	7
1	12	7
2	23	7
done	23	7
0	8	8
1	19	8
2	50	8
3	125	8
4	185	8
5	206	8
done	206	8
0	4	7
1	12	7
2	23	7
done	23	7
0	8	8
1	19	8
2	50	8
3	125	8
4	185	8
5	206	8
done	206	8
0	4	7
1	12	7
2	23	7
done	23	7
0	8	8
1	19	8
2	50	8
3	127	8
4	191	8
5	210	8
done	210	8
0	4	7
1	12	7
2	23	7
done	23	7
0	8	8
1	19	8
2	50	8
3	127	8
4	191	8
5	210	8
done	210	8
0	10	21
1	19	21
2	39	21
3	49	21
done	49	21
0	9	12
1	16	12
2	29	12
3	31	12
done	31	12
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	8	9
1	13	9
2	26	9
3	50	9
4	62	9
5	70	9
done	70	9
0	11	15
1	37	15
2	139	15
3	557	15
4	2425	15
done	5001	15
0	10	19
1	34	19
2	99	19
3	315	18
4	975	17
5	2080	17
6	3572	17
done	5000	17
0	12	13
1	36	12
2	120	12
3	360	12
4	952	12
5	3611	12
done	5001	12
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	11	12
1	36	12
2	120	12
3	359	12
4	954	12
5	3611	12
done	5000	12
0	12	25
1	34	25
2	101	25
3	253	25
4	477	25
5	1222	25
6	4747	25
done	5000	25
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	12	35
1	47	35
2	213	13
3	1395	13
done	5001	13
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	11	12
1	33	12
2	100	12
3	249	12
4	468	12
5	1241	12
6	4725	12
done	5000	12
0	11	23
1	39	19
2	109	19
3	233	19
4	424	19
5	554	19
6	721	19
7	842	19
8	1136	19
9	1729	19
done	1729	19
0	7	7
1	10	7
done	10	7
0	12	15
1	44	15
2	217	15
3	1547	15
done	5001	15
0	14	35
1	47	23
2	225	23
3	1754	23
done	5000	23
0	12	23
1	42	11
2	168	11
3	993	11
done	5001	11
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	10	11
1	32	11
2	99	11
3	244	11
4	477	11
5	1224	11
6	4678	11
done	5000	11
0	12	21
1	33	20
2	92	20
3	236	20
4	673	20
5	2413	20
done	5000	20
0	11	20
1	26	20
2	61	20
3	131	20
4	224	20
5	295	20
6	339	20
7	395	20
8	556	20
9	837	20
10	1087	20
11	1217	20
12	1293	20
done	1293	20
0	11	20
1	29	20
2	79	20
3	199	20
4	520	20
5	1692	20
done	5001	20
0	12	41
1	27	41
2	62	41
3	131	41
4	222	41
5	291	41
6	335	41
7	391	41
8	552	41
9	833	41
10	1083	41
11	1213	41
12	1285	41
done	1285	41
0	11	20
1	26	20
2	61	20
3	131	20
4	224	20
5	295	20
6	339	20
7	395	20
8	556	20
9	837	20
10	1087	20
11	1217	20
12	1293	20
done	1293	20
0	12	59
1	40	59
2	165	21
3	912	21
done	5000	21
0	11	20
1	26	20
2	61	20
3	131	20
4	224	20
5	295	20
6	339	20
7	395	20
8	556	20
9	837	20
10	1087	20
11	1217	20
12	1293	20
done	1293	20
0	11	20
1	26	20
2	61	20
3	131	20
4	224	20
5	295	20
6	339	20
7	395	20
8	556	20
9	837	20
10	1087	20
11	1217	20
12	1293	20
done	1293	20
0	13	23
1	46	23
2	192	19
3	908	19
4	4092	19
done	5000	19
0	14	59
1	51	51
2	256	49
3	1277	37
done	5000	37
0	12	39
1	42	39
2	179	33
3	777	29
4	3053	29
done	5000	29
0	10	19
1	26	19
2	74	19
3	185	19
4	286	19
5	384	19
6	453	19
7	596	19
8	1192	19
9	3246	19
done	5000	19
0	10	16
1	29	16
2	72	15
3	167	11
4	248	11
5	271	11
done	271	11
0	10	16
1	29	16
2	72	15
3	167	11
4	248	11
5	271	11
done	271	11
0	10	16
1	29	16
2	72	15
3	168	11
4	255	11
5	276	11
done	276	11
0	10	16
1	29	16
2	72	15
3	168	11
4	255	11
5	276	11
done	276	11
0	1	1
done	1	1
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	1	1
done	1	1
0	12	15
1	30	15
2	104	15
3	208	15
4	336	11
5	372	11
6	421	11
7	537	11
8	962	11
9	2825	11
done	5000	11
0	12	15
1	30	15
2	104	15
3	208	15
4	336	11
5	372	11
6	421	11
7	537	11
8	962	11
9	2825	11
done	5000	11
0	1	1
done	1	1
0	12	15
1	38	15
2	109	15
3	334	15
4	1026	15
5	4075	11
done	5000	11
0	12	15
1	38	15
2	109	15
3	334	15
4	1026	15
5	4075	11
done	5000	11
0	1	1
done	1	1
0	16	23
1	44	23
2	160	23
3	284	23
4	468	19
5	593	19
6	835	19
7	1334	19
8	2390	19
done	5000	19
0	16	23
1	44	23
2	160	23
3	284	23
4	468	19
5	593	19
6	835	19
7	1334	19
8	2390	19
done	5000	19

prune185.0ms

Filtered

79 candidates to 103 candidates (-30.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	103	5	108

Merged error: 0.0b

Counts

108 → 5

regimes1.5s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	15
1	22	15
done	22	15

end0.0ms

sample2.0s

Algorithm

intervals

Results

763.0ms

13500×

body

valid

Details

sample72.0ms

simplify45.0ms

prune5.0ms

localize13.0ms

rewrite21.0ms

series153.0ms

simplify46.5s

prune87.0ms

localize21.0ms

rewrite27.0ms

series182.0ms

simplify1.9min

prune142.0ms

localize21.0ms

rewrite38.0ms

series310.0ms

simplify1.7min

prune128.0ms

localize22.0ms

rewrite55.0ms

series161.0ms

simplify4.4min

prune185.0ms

regimes1.5s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling