Details

sample56.0ms

Algorithm

intervals

Results

16.0ms

391×

body

valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	18	11
2	24	11
done	24	11

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

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+`

Counts

2 → 24

Calls

2 calls:

7.0ms	(+ (+ (* x y) (* z t)) (* a b))
4.0ms	(+ (* x y) (* z t))

series39.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+ (+ (* x y) (* z t)) (* a b))
12.0ms	(+ (* x y) (* z t))

simplify32.4s

Counts

30 → 30

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

prune50.0ms

Filtered

25 candidates to 30 candidates (-20.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Merged error: 0.0b

Counts

31 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
2.1b	(cbrt (+ (* x y) (* z t)))
2.1b	(cbrt (+ (* x y) (* z t)))
2.1b	(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)))

series184.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
41.0ms	(cbrt (+ (* x y) (* z t)))
41.0ms	(cbrt (+ (* x y) (* z t)))
45.0ms	(cbrt (+ (* x y) (* z t)))

simplify1.8min

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

prune123.0ms

Filtered

76 candidates to 99 candidates (-30.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0.0b

Counts

102 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

1.4b	(sqrt (+ (* x y) (* z t)))
1.4b	(sqrt (+ (* x y) (* z t)))
2.1b	(cbrt (+ (* x y) (* z t)))
2.1b	(cbrt (+ (* x y) (* z t)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `cbrt-prod` `sqrt-prod`
4×	`add-exp-log` `cbrt-div` `flip3-+` `sqrt-div` `add-cbrt-cube` `flip-+` `add-log-exp`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow1/3`

Counts

4 → 56

Calls

4 calls:

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

series136.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(sqrt (+ (* x y) (* z t)))
24.0ms	(sqrt (+ (* x y) (* z t)))
46.0ms	(cbrt (+ (* x y) (* z t)))
43.0ms	(cbrt (+ (* x y) (* z t)))

simplify1.2min

Counts

68 → 68

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	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	16
2	25	10
3	46	10
4	56	10
5	66	10
6	87	10
7	154	10
8	369	10
9	1314	10
done	5000	10
0	10	18
1	14	9
done	14	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	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	3	3
1	6	1
done	6	1
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	19
1	13	19
done	13	19
0	9	9
1	12	9
done	12	9
0	10	26
1	14	16
2	25	10
3	46	10
4	56	10
5	66	10
6	87	10
7	154	10
8	369	10
9	1314	10
done	5000	10
0	10	18
1	14	9
done	14	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	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	3	3
1	6	1
done	6	1
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
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	1	1
done	1	1
0	20	27
1	56	27
2	207	27
3	870	27
done	5000	27
0	20	27
1	56	27
2	200	27
3	815	27
4	4468	23
done	5000	23
0	1	1
done	1	1
0	20	27
1	56	27
2	207	27
3	870	27
done	5000	27
0	20	27
1	56	27
2	200	27
3	815	27
4	4468	23
done	5000	23

prune93.0ms

Filtered

56 candidates to 68 candidates (-21.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	68	4	72

Merged error: 0.0b

Counts

72 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.9b	(* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))
1.2b	(- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t)))))
3.5b	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
41.3b	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

13.0ms	(* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))
12.0ms	(- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t)))))
13.0ms	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
23.0ms	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))))

series2.8s

Counts

4 → 12

Calls

4 calls:

70.0ms	(* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))
231.0ms	(- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t)))))
2.3s	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
239.0ms	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (- (* a b) (+ (* x y) (* z t))))))

simplify4.8min

Counts

110 → 110

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	21	45
1	57	45
2	149	45
3	434	45
4	1474	45
done	5000	45
0	20	44
1	57	44
2	150	44
3	436	44
4	1478	44
done	5000	44
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	23	131
1	78	131
2	302	47
3	1698	45
done	5000	45
0	21	89
1	55	89
2	146	89
3	430	89
4	1468	89
done	5000	89
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	21	131
1	62	131
2	184	45
3	688	45
4	3369	45
done	5001	45
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	15	16
1	39	16
2	117	16
3	409	16
4	1358	16
5	4351	16
done	5000	16
0	15	28
1	33	28
2	76	28
3	251	28
4	1099	27
5	4429	27
done	5000	27
0	23	91
1	63	91
2	163	91
3	455	91
4	1495	91
done	5000	91
0	21	45
1	55	45
2	146	45
3	430	45
4	1480	45
done	5000	45
0	22	62
1	58	62
2	151	62
3	439	62
4	1480	62
done	5001	62
0	21	45
1	55	45
2	146	45
3	430	45
4	1480	45
done	5000	45
0	18	35
1	43	33
2	103	33
3	265	33
4	654	33
5	1941	33
done	5001	33
0	20	44
1	54	44
2	145	44
3	429	44
4	1472	44
done	5000	44
0	22	74
1	58	74
2	149	74
3	435	74
4	1476	74
done	5001	74
0	21	45
1	55	45
2	146	45
3	430	45
4	1480	45
done	5000	45
0	21	45
1	55	45
2	146	45
3	430	45
4	1480	45
done	5000	45
0	21	45
1	55	45
2	146	45
3	430	45
4	1480	45
done	5000	45
0	17	18
1	40	16
2	96	16
3	248	16
4	636	16
5	1947	16
done	5000	16
0	20	44
1	54	44
2	145	44
3	429	44
4	1472	44
done	5000	44
0	21	93
1	56	89
2	174	89
3	614	85
4	2256	85
done	5000	85
0	17	40
1	38	40
2	84	40
3	230	40
4	907	40
5	3411	40
done	5001	40
0	20	64
1	53	60
2	168	60
3	577	56
4	2092	56
done	5000	56
0	17	40
1	38	40
2	84	40
3	230	40
4	907	40
5	3411	40
done	5001	40
0	17	37
1	46	31
2	140	31
3	406	27
4	1285	27
5	3793	27
done	5000	27
0	16	39
1	37	39
2	83	39
3	229	39
4	904	39
5	3441	39
done	5000	39
0	18	59
1	40	59
2	80	59
3	226	59
4	903	59
5	3402	59
done	5000	59
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	17	30
1	37	30
2	77	30
3	223	30
4	898	30
5	3407	30
done	5000	30
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	2	3
1	4	1
done	4	1
0	19	43
1	53	43
2	144	43
3	428	43
4	1471	43
done	5000	43
0	18	59
1	40	59
2	80	59
3	226	59
4	903	59
5	3402	59
done	5000	59
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	17	30
1	37	30
2	77	30
3	223	30
4	898	30
5	3407	30
done	5000	30
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	2	3
1	4	1
done	4	1
0	19	43
1	53	43
2	144	43
3	428	43
4	1471	43
done	5000	43
0	16	29
1	36	29
2	76	29
3	222	29
4	901	29
5	3407	29
done	5000	29
0	19	43
1	56	43
2	161	43
3	493	43
4	1687	43
done	5001	43
0	21	73
1	57	73
2	148	73
3	435	73
4	1473	73
done	5001	73
0	20	44
1	54	44
2	145	44
3	429	44
4	1468	44
done	5000	44
0	16	17
1	39	15
2	95	15
3	244	15
4	636	15
5	1960	15
done	5000	15
0	20	44
1	57	44
2	162	44
3	495	44
4	1685	44
done	5001	44
0	20	44
1	57	44
2	162	44
3	495	44
4	1685	44
done	5001	44
0	16	39
1	40	39
2	100	39
3	291	39
4	1115	39
5	4205	39
done	5001	39
0	19	43
1	56	43
2	161	43
3	493	43
4	1687	43
done	5001	43
0	19	43
1	56	43
2	161	43
3	493	43
4	1687	43
done	5001	43
0	21	47
1	68	47
2	269	43
3	1389	43
done	5000	43
0	21	71
1	66	65
2	239	61
3	1006	61
done	5000	61
0	23	75
1	75	59
2	299	59
3	2236	59
done	5000	59
0	19	43
1	55	43
2	175	43
3	725	43
4	3943	43
done	5000	43
0	16	17
1	39	16
2	108	16
3	322	16
4	1038	16
5	3840	16
done	5000	16
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	15	16
1	39	16
2	108	16
3	322	16
4	1047	16
5	3807	16
done	5000	16
0	16	33
1	37	33
2	91	33
3	244	33
4	637	33
5	1950	33
done	5000	33
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	16	47
1	50	47
2	195	17
3	1150	17
done	5000	17
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	15	16
1	36	16
2	90	16
3	239	16
4	627	16
5	1960	16
done	5000	16
0	15	35
1	42	31
2	131	31
3	382	27
4	1197	27
5	3341	27
done	5000	27
0	11	11
1	18	11
2	24	11
done	24	11
0	16	19
1	47	19
2	193	19
3	1165	19
done	5000	19
0	18	47
1	50	31
2	204	31
3	1371	31
done	5001	31
0	16	31
1	45	15
2	151	15
3	813	15
done	5000	15
0	14	15
1	36	15
2	107	15
3	373	15
4	1096	15
5	3129	15
done	5000	15
0	14	15
1	35	15
2	89	15
3	240	15
4	629	15
5	1962	15
done	5000	15
0	16	29
1	38	28
2	96	28
3	292	28
4	1175	28
done	5000	28
0	15	28
1	33	28
2	73	28
3	219	28
4	892	28
5	3401	28
done	5000	28
0	15	28
1	36	28
2	90	28
3	296	28
4	1252	28
done	5001	28
0	16	57
1	34	57
2	74	57
3	220	57
4	895	57
5	3402	57
done	5000	57
0	15	28
1	33	28
2	73	28
3	219	28
4	892	28
5	3401	28
done	5000	28
0	16	83
1	35	83
2	89	29
3	368	29
4	2196	29
done	5001	29
0	15	28
1	33	28
2	73	28
3	219	28
4	892	28
5	3401	28
done	5000	28
0	15	28
1	33	28
2	73	28
3	219	28
4	892	28
5	3401	28
done	5000	28
0	17	31
1	53	31
2	202	27
3	1018	27
done	5001	27
0	18	83
1	56	63
2	239	57
3	1236	53
done	5000	53
0	13	20
1	25	20
2	58	20
3	227	20
4	1000	19
5	3322	19
done	5001	19
0	16	55
1	48	55
2	183	49
3	815	45
4	4665	45
done	5000	45
0	14	27
1	31	27
2	65	27
3	174	27
4	602	27
5	1736	27
6	4140	27
done	5000	27
0	13	19
1	31	15
2	79	15
3	183	15
4	433	15
5	817	15
6	988	15
7	1451	15
8	2217	15
9	2446	15
10	2452	15
done	2452	15
0	13	19
1	31	15
2	79	15
3	183	15
4	433	15
5	817	15
6	988	15
7	1451	15
8	2217	15
9	2446	15
10	2452	15
done	2452	15
0	13	19
1	37	15
2	119	15
3	307	15
4	685	15
5	865	15
6	1069	15
7	1864	15
8	2245	15
9	2277	15
done	2277	15
0	13	19
1	37	15
2	119	15
3	307	15
4	685	15
5	865	15
6	1069	15
7	1864	15
8	2245	15
9	2277	15
done	2277	15
0	13	20
1	25	20
2	58	20
3	227	20
4	1000	19
5	3322	19
done	5001	19
0	12	19
1	21	19
2	44	19
3	141	19
4	483	19
5	1194	19
6	2586	19
done	5001	19
0	14	21
1	23	21
2	32	21
3	54	21
4	64	21
5	88	21
6	131	21
7	165	21
8	180	21
done	180	21
0	13	20
1	25	20
2	49	20
3	146	20
4	492	20
5	1223	20
6	2595	20
done	5000	20
0	13	20
1	24	20
2	57	20
3	196	20
4	684	20
5	1998	20
done	5002	20
0	16	59
1	43	59
2	163	23
3	797	23
done	5001	23
0	14	41
1	23	41
2	46	41
3	143	41
4	487	41
5	1187	41
6	2539	41
done	5000	41
0	13	20
1	22	20
2	45	20
3	142	20
4	488	20
5	1209	20
6	2564	20
done	5000	20
0	14	59
1	33	59
2	127	21
3	764	21
done	5000	21
0	13	20
1	22	20
2	45	20
3	142	20
4	488	20
5	1209	20
6	2564	20
done	5000	20
0	13	20
1	22	20
2	45	20
3	142	20
4	488	20
5	1209	20
6	2564	20
done	5000	20
0	18	27
1	58	27
2	203	27
3	725	27
4	3519	27
done	5001	27
0	21	59
1	86	47
2	312	47
3	1287	47
done	5001	47
0	18	35
1	61	35
2	204	35
3	694	35
4	4241	35
done	5001	35
0	17	35
1	57	31
2	178	31
3	682	31
4	3334	31
done	5001	31
0	18	31
1	59	31
2	182	31
3	633	31
4	3444	31
done	5000	31
0	17	43
1	58	35
2	223	35
3	896	35
4	4457	35
done	5000	35
0	17	39
1	58	39
2	176	39
3	610	39
4	3891	39
done	5001	39
0	13	19
1	29	19
2	81	19
3	286	19
4	869	19
5	1892	19
6	3661	19
done	5000	19
0	14	21
1	23	21
2	32	21
3	54	21
4	64	21
5	88	21
6	131	21
7	165	21
8	180	21
done	180	21
0	14	21
1	23	21
2	32	21
3	54	21
4	64	21
5	88	21
6	131	21
7	165	21
8	180	21
done	180	21
0	11	11
1	18	11
2	32	11
3	72	11
4	122	11
5	146	11
done	146	11
0	9	16
1	18	16
2	54	16
3	152	16
4	381	16
5	687	16
6	987	16
7	1630	16
8	2740	16
9	4873	16
done	5000	16
0	11	11
1	18	11
2	32	11
3	72	11
4	122	11
5	146	11
done	146	11
0	9	16
1	18	16
2	54	16
3	152	16
4	381	16
5	687	16
6	987	16
7	1630	16
8	2740	16
9	4873	16
done	5000	16
0	11	11
1	24	11
2	67	11
3	123	11
4	151	11
done	151	11
0	9	16
1	24	16
2	85	16
3	285	16
4	609	16
5	887	16
6	1485	16
7	2535	16
8	4710	16
done	5001	16
0	11	11
1	24	11
2	67	11
3	123	11
4	151	11
done	151	11
0	9	16
1	24	16
2	85	16
3	285	16
4	609	16
5	887	16
6	1485	16
7	2535	16
8	4710	16
done	5001	16
0	14	33
1	25	33
2	44	33
3	94	33
4	128	33
5	166	33
6	257	33
7	391	33
8	542	33
9	802	33
10	878	33
done	878	33
0	13	20
1	22	20
2	39	20
3	77	20
4	87	20
5	111	20
6	178	20
7	259	20
8	326	20
9	398	20
10	403	20
done	403	20
0	9	9
1	15	7
2	26	7
3	50	7
4	70	7
done	70	7
0	13	20
1	22	20
2	37	20
3	84	20
4	161	20
5	224	20
6	344	20
7	472	20
8	615	20
9	689	20
10	696	20
done	696	20
0	13	20
1	22	20
2	37	20
3	84	20
4	161	20
5	224	20
6	344	20
7	472	20
8	615	20
9	689	20
10	696	20
done	696	20
0	12	19
1	21	19
2	44	19
3	141	19
4	483	19
5	1194	19
6	2586	19
done	5001	19
0	15	23
1	38	23
2	119	23
3	416	23
4	1866	23
done	5000	23
0	14	31
1	37	31
2	115	31
3	402	31
4	1822	25
done	5001	25
0	16	23
1	45	23
2	135	23
3	438	23
4	2325	23
done	5000	23
0	15	27
1	42	27
2	106	27
3	346	27
4	1773	27
done	5001	27
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	22	29
1	66	29
2	229	29
3	660	27
4	1942	25
done	5000	25
0	22	29
1	66	29
2	229	29
3	660	27
4	1942	25
done	5000	25
0	1	1
done	1	1
0	19	25
1	50	25
2	166	25
3	379	23
4	617	19
5	826	17
6	1709	17
7	3150	17
8	3861	17
done	5000	17
0	19	25
1	50	25
2	166	25
3	379	23
4	617	19
5	826	17
6	1709	17
7	3150	17
8	3861	17
done	5000	17
0	1	1
done	1	1
0	18	23
1	48	21
2	144	19
3	248	19
4	343	19
5	440	19
6	764	19
7	1465	19
8	2245	19
9	4149	19
done	5000	19
0	18	23
1	48	21
2	144	19
3	248	19
4	343	19
5	440	19
6	764	19
7	1465	19
8	2245	19
9	4149	19
done	5000	19

prune202.0ms

Filtered

87 candidates to 110 candidates (-26.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	110	4	114

Merged error: 0.0b

Counts

114 → 4

regimes897.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	11
1	16	11
done	16	11

end0.0ms

sample1.5s

Algorithm

intervals

Results

531.0ms

11915×

body

valid

Details

sample56.0ms

simplify8.0ms

prune5.0ms

localize10.0ms

rewrite12.0ms

series39.0ms

simplify32.4s

prune50.0ms

localize14.0ms

rewrite27.0ms

series184.0ms

simplify1.8min

prune123.0ms

localize18.0ms

rewrite19.0ms

series136.0ms

simplify1.2min

prune93.0ms

localize19.0ms

rewrite65.0ms

series2.8s

simplify4.8min

prune202.0ms

regimes897.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling