Details

sample40.0ms

Algorithm

intervals

Results

13.0ms

327×

body

valid

simplify80.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	25	11
3	38	11
4	56	11
5	72	11
6	85	11
7	99	11
8	105	11
9	107	11
done	107	11

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- 1.0 z))
4.7b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 69

Calls

2 calls:

6.0ms	(/ t (- 1.0 z))
28.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series25.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ t (- 1.0 z))
19.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify41.1s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	25	11
3	38	11
4	56	11
5	72	11
6	85	11
7	99	11
8	105	11
9	107	11
done	107	11
0	12	13
1	17	13
2	21	13
done	21	13
0	11	12
1	19	12
2	30	12
3	43	12
4	61	12
5	77	12
6	90	12
7	104	12
8	110	12
9	112	12
done	112	12
0	11	12
1	18	12
2	34	12
3	67	12
4	126	12
5	263	12
6	567	12
7	1682	12
done	5000	12
0	14	35
1	25	35
2	72	15
3	272	15
4	1140	13
done	5000	13
0	12	25
1	17	25
2	27	25
3	40	25
4	58	25
5	74	25
6	87	25
7	101	25
8	107	25
9	109	25
done	109	25
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	12	35
1	27	35
2	84	13
3	304	13
4	1128	13
5	4682	13
done	5000	13
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	12	13
1	17	13
2	21	13
done	21	13
0	12	13
1	17	13
2	21	13
done	21	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	12	23
1	19	23
2	25	23
done	25	23
0	11	12
1	16	12
2	20	12
done	20	12
0	3	3
1	6	1
done	6	1
0	12	13
1	22	13
2	24	13
done	24	13
0	13	14
1	23	14
2	29	14
3	33	14
4	35	14
5	36	14
done	36	14
0	13	14
1	23	14
2	29	14
3	33	14
4	35	14
5	36	14
done	36	14
0	14	15
1	24	15
2	34	15
3	42	15
4	46	15
5	48	15
done	48	15
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	10	11
1	15	11
2	25	11
3	38	11
4	56	11
5	72	11
6	85	11
7	99	11
8	105	11
9	107	11
done	107	11
0	10	11
1	17	11
2	36	11
3	82	11
4	143	11
5	206	11
6	262	11
7	346	11
8	549	11
9	821	11
10	929	11
11	958	11
done	958	11
0	13	15
1	37	15
2	104	15
3	335	15
4	1290	15
done	5000	15
0	12	21
1	28	21
2	60	21
3	152	21
4	391	21
5	863	21
6	1565	21
7	2997	21
done	5000	21
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13
0	12	17
1	30	15
2	78	11
3	130	11
4	199	11
5	279	11
6	381	11
7	484	11
8	808	11
9	1756	11
done	5001	11
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15

prune140.0ms

Filtered

56 candidates to 75 candidates (-33.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	8	76

Merged error: 0.0b

Counts

76 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
0.0b	(/ t (- 1.0 z))
3.6b	(* x (neg (/ t (- 1.0 z))))
7.1b	(* x (/ y z))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
62×	`*-un-lft-identity`
59×	`associate-r`
55×	`times-frac`
42×	`add-cube-cbrt`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
13×	`add-exp-log` `add-cbrt-cube`
10×	`distribute-lft-out--` `difference-of-squares`
8×	`pow1`
6×	`associate-l` `associate-/r/` `add-log-exp`
5×	`associate-/r*`
4×	`associate-*r/` `div-inv`
3×	`flip3--` `prod-exp` `distribute-rgt-neg-out` `flip--` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `distribute-neg-frac`
1×	`+-commutative` `neg-mul-1` `frac-2neg` `flip3-+` `unsub-neg` `frac-add` `clear-num` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 147

Calls

4 calls:

6.0ms	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
6.0ms	(/ t (- 1.0 z))
20.0ms	(* x (neg (/ t (- 1.0 z))))
7.0ms	(* x (/ y z))

series46.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(+ (* x (/ y z)) (* x (neg (/ t (- 1.0 z)))))
7.0ms	(/ t (- 1.0 z))
13.0ms	(* x (neg (/ t (- 1.0 z))))
6.0ms	(* x (/ y z))

simplify1.7min

Counts

159 → 159

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	20	8
3	29	8
4	35	8
5	45	8
6	52	8
7	64	8
8	87	8
9	101	8
10	107	8
done	107	8
0	7	7
1	11	7
2	17	7
3	26	7
4	36	7
5	45	7
6	50	7
7	59	7
8	76	7
9	95	7
10	103	7
done	103	7
0	6	6
1	12	6
2	21	6
3	35	6
4	55	6
5	69	6
6	81	6
7	99	6
8	115	6
9	122	6
10	139	6
11	141	6
done	141	6
0	6	6
1	11	6
2	20	6
3	34	6
4	67	6
5	148	6
6	360	6
7	1389	6
done	5000	6
0	11	17
1	26	17
2	104	11
3	444	9
4	1700	9
done	5000	9
0	9	17
1	22	17
2	71	9
3	225	9
4	778	7
5	2424	7
done	5001	7
0	7	13
1	10	13
2	13	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	17
1	20	17
2	74	7
3	270	7
4	827	7
5	2540	7
done	5000	7
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	9	13
1	18	13
2	47	13
3	86	13
4	142	13
5	158	13
done	158	13
0	8	10
1	13	10
2	23	10
3	38	10
4	51	10
5	53	10
done	53	10
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	8	10
1	13	10
2	24	10
3	38	10
4	50	10
done	50	10
0	7	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	3	3
1	4	3
done	4	3
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	10	10
1	15	10
2	19	10
3	25	10
4	34	10
5	44	10
6	53	10
7	58	10
8	67	10
9	84	10
10	103	10
11	111	10
done	111	10
0	9	9
1	19	9
2	33	9
3	56	9
4	88	9
5	127	9
6	170	9
7	197	9
8	234	9
9	266	9
10	295	9
11	302	9
12	303	9
done	303	9
0	9	9
1	18	9
2	37	9
3	69	9
4	135	9
5	279	9
6	607	9
7	1781	9
done	5000	9
0	12	26
1	30	24
2	103	12
3	428	12
4	1748	10
done	5001	10
0	10	19
1	17	19
2	27	19
3	39	19
4	54	19
5	68	19
6	79	19
7	81	19
8	83	19
done	83	19
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	10	26
1	27	26
2	100	10
3	448	10
4	2125	10
done	5000	10
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	10	10
1	15	10
2	16	10
done	16	10
0	10	10
1	15	10
2	16	10
done	16	10
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	10	17
1	17	17
2	20	17
done	20	17
0	9	9
1	14	9
2	15	9
done	15	9
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	10	16
1	18	16
2	31	16
3	40	16
4	42	16
done	42	16
0	9	9
1	14	9
2	18	9
3	19	9
done	19	9
0	12	18
1	25	18
2	61	18
3	158	18
4	317	18
5	453	18
6	482	18
7	483	18
done	483	18
0	11	13
1	20	13
2	38	13
3	81	13
4	136	13
5	163	13
6	171	13
7	172	13
done	172	13
0	8	10
1	17	8
2	36	8
3	85	8
4	163	8
5	258	8
6	270	8
done	270	8
0	12	14
1	20	14
2	37	14
3	80	14
4	135	14
5	162	14
6	170	14
7	171	14
done	171	14
0	8	10
1	17	8
2	36	8
3	85	8
4	163	8
5	258	8
6	270	8
done	270	8
0	11	15
1	20	15
2	36	15
3	71	15
4	103	15
5	135	15
6	145	15
done	145	15
0	10	10
1	17	10
2	27	10
3	39	10
4	45	10
5	53	10
6	55	10
done	55	10
0	7	7
1	14	5
2	22	5
3	31	5
4	51	5
5	68	5
6	72	5
done	72	5
0	11	11
1	17	11
2	26	11
3	38	11
4	44	11
5	52	11
6	54	11
done	54	11
0	7	7
1	14	5
2	22	5
3	31	5
4	51	5
5	68	5
6	72	5
done	72	5
0	10	14
1	22	13
2	38	13
3	72	12
4	114	12
5	190	12
6	235	12
7	251	12
8	260	12
done	260	12
0	9	9
1	19	8
2	29	8
3	41	7
4	52	7
5	70	7
6	74	7
7	78	7
8	80	7
done	80	7
0	5	6
1	13	3
2	16	2
3	21	2
4	23	2
done	23	2
0	10	10
1	19	9
2	28	9
3	40	8
4	51	8
5	69	8
6	74	8
7	78	8
8	80	8
done	80	8
0	5	6
1	13	3
2	16	2
3	21	2
4	23	2
done	23	2
0	4	4
1	10	3
2	13	2
3	18	2
4	20	2
done	20	2
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	11	12
1	31	12
2	62	12
3	123	12
4	299	12
5	966	12
6	4326	12
done	5000	12
0	10	12
1	20	12
2	40	12
3	99	12
4	209	12
5	346	12
6	529	12
7	911	12
8	2616	12
done	5000	12
0	9	15
1	14	15
2	17	15
done	17	15
0	8	8
1	11	8
2	12	8
done	12	8
0	11	17
1	22	17
2	52	17
3	91	17
4	147	17
5	161	17
done	161	17
0	10	12
1	17	12
2	28	12
3	43	12
4	56	12
5	58	12
done	58	12
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	11	13
1	17	13
2	27	13
3	42	13
4	55	13
5	57	13
done	57	13
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	10	14
1	17	14
2	29	14
3	43	14
4	55	14
done	55	14
0	9	9
1	14	9
2	18	9
3	22	9
4	23	9
done	23	9
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	10	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	10	11
1	28	11
2	53	11
3	104	11
4	247	11
5	810	11
6	3813	11
done	5001	11
0	9	11
1	17	11
2	34	11
3	77	11
4	137	11
5	226	11
6	361	11
7	656	11
8	2216	11
done	5001	11
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	14	16
1	30	15
2	61	13
3	127	12
4	313	12
5	1133	12
done	5000	12
0	13	15
1	26	13
2	46	12
3	63	12
4	78	12
5	92	12
6	103	12
7	105	12
8	107	12
done	107	12
0	13	15
1	29	13
2	58	12
3	104	12
4	212	12
5	674	12
6	2784	12
done	5001	12
0	14	31
1	27	27
2	44	25
3	60	25
4	75	25
5	89	25
6	100	25
7	102	25
8	104	25
done	104	25
0	13	15
1	26	13
2	43	12
3	59	12
4	74	12
5	88	12
6	99	12
7	101	12
8	103	12
done	103	12
0	14	44
1	40	38
2	150	13
3	759	13
4	4066	13
done	5000	13
0	13	15
1	26	13
2	43	12
3	59	12
4	74	12
5	88	12
6	99	12
7	101	12
8	103	12
done	103	12
0	13	15
1	26	13
2	43	12
3	59	12
4	74	12
5	88	12
6	99	12
7	101	12
8	103	12
done	103	12
0	12	14
1	25	14
2	59	14
3	111	12
4	161	11
5	219	11
6	276	11
7	396	11
8	699	11
9	948	11
10	997	11
11	1007	11
done	1007	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	15	18
1	44	18
2	152	18
3	627	17
4	2811	17
done	5000	17
0	16	44
1	50	35
2	192	33
3	702	31
4	2425	29
done	5000	29
0	14	29
1	42	29
2	146	23
3	458	23
4	1347	23
5	3056	23
done	5001	23
0	12	14
1	26	12
2	47	12
3	85	11
4	133	11
5	151	11
6	166	11
7	170	11
done	170	11
0	9	10
1	15	9
2	16	9
done	16	9
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	17	24
1	45	22
2	142	18
3	451	14
4	1244	14
5	2248	14
6	3546	13
done	5000	13
0	16	25
1	45	23
2	144	23
3	397	19
4	1145	17
5	3342	15
done	5000	15
0	16	25
1	45	23
2	144	23
3	397	19
4	1145	17
5	3342	15
done	5000	15
0	12	17
1	30	15
2	78	11
3	130	11
4	199	11
5	279	11
6	381	11
7	484	11
8	808	11
9	1756	11
done	5001	11
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15
0	10	11
1	19	11
2	40	11
3	68	11
4	77	9
5	80	9
done	80	9
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13

prune237.0ms

Filtered

124 candidates to 159 candidates (-28.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	154	5	159
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	159	8	167

Merged error: 0b

Counts

167 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
0.0b	(/ t (- 1.0 z))
3.6b	(* x (neg (/ t (- 1.0 z))))
6.5b	(* (* x y) (/ 1 z))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
61×	`*-un-lft-identity`
59×	`associate-r`
54×	`times-frac`
41×	`add-cube-cbrt`
30×	`add-exp-log`
21×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
20×	`add-cbrt-cube`
13×	`prod-exp`
11×	`pow1`
10×	`distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`associate-/r/` `add-log-exp`
5×	`associate-r/` `div-exp` `associate-/r`
4×	`associate-l` `pow-prod-down` `div-inv`
3×	`cbrt-undiv` `flip3--` `distribute-rgt-neg-out` `flip--` `distribute-neg-frac` `associate-/l*`
2×	`rec-exp` `1-exp` `frac-add` `un-div-inv` `*-commutative`
1×	`+-commutative` `neg-mul-1` `frac-2neg` `flip3-+` `unsub-neg` `clear-num` `sum-log` `flip-+` `unswap-sqr`

Counts

4 → 153

Calls

4 calls:

9.0ms	(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
6.0ms	(/ t (- 1.0 z))
17.0ms	(* x (neg (/ t (- 1.0 z))))
9.0ms	(* (* x y) (/ 1 z))

series51.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ (* (* x y) (/ 1 z)) (* x (neg (/ t (- 1.0 z)))))
6.0ms	(/ t (- 1.0 z))
13.0ms	(* x (neg (/ t (- 1.0 z))))
6.0ms	(* (* x y) (/ 1 z))

simplify2.0min

Counts

165 → 165

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	7	7
1	15	7
2	29	5
3	78	5
4	89	5
5	95	5
6	97	5
done	97	5
0	9	9
1	14	8
2	23	8
3	28	8
4	34	8
5	43	8
6	56	8
7	74	8
8	90	8
9	97	8
10	114	8
11	116	8
done	116	8
0	10	10
1	18	9
2	41	8
3	89	8
4	129	8
5	217	8
6	372	8
7	406	8
8	460	8
done	460	8
0	11	11
1	21	10
2	40	8
3	94	8
4	134	8
5	219	8
6	370	8
7	402	8
8	448	8
done	448	8
0	10	10
1	20	9
2	35	8
3	67	8
4	116	8
5	200	8
6	367	8
7	402	8
8	448	8
done	448	8
0	8	8
1	14	7
2	21	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	9	9
1	18	8
2	35	7
3	75	7
4	142	7
5	234	7
6	375	7
7	411	7
8	457	7
done	457	7
0	10	10
1	21	9
2	35	7
3	83	7
4	150	7
5	242	7
6	385	7
7	422	7
8	476	7
done	476	7
0	9	9
1	20	8
2	31	7
3	61	7
4	119	7
5	197	7
6	345	7
7	381	7
8	414	7
done	414	7
0	8	8
1	19	8
2	45	6
3	116	6
4	171	6
5	278	6
6	368	6
7	505	6
8	542	6
9	588	6
done	588	6
0	8	8
1	18	8
2	43	6
3	119	6
4	206	6
5	406	6
6	973	6
7	3415	6
done	5000	6
0	15	23
1	37	19
2	123	11
3	671	11
4	3315	9
done	5000	9
0	13	23
1	34	23
2	123	13
3	488	13
4	2022	9
done	5000	9
0	13	23
1	39	19
2	127	9
3	677	9
4	3514	9
done	5000	9
0	11	23
1	36	23
2	127	11
3	513	11
4	2192	7
done	5001	7
0	9	17
1	17	17
2	31	13
3	80	13
4	93	13
5	97	13
6	99	13
done	99	13
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	9	23
1	27	23
2	127	7
3	715	7
4	2419	7
done	5000	7
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	8	8
1	16	8
2	30	6
3	79	6
4	90	6
5	94	6
6	96	6
done	96	6
0	9	13
1	17	13
2	30	13
3	40	13
done	40	13
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	11	15
1	25	13
2	71	11
3	167	9
4	245	9
5	261	9
6	266	9
done	266	9
0	10	12
1	20	10
2	43	8
3	86	6
4	119	6
5	121	6
6	122	6
done	122	6
0	8	11
1	18	7
2	45	5
3	74	3
4	92	3
5	101	3
done	101	3
0	10	12
1	20	11
2	44	11
3	100	9
4	176	9
5	232	9
6	262	9
7	266	9
done	266	9
0	9	9
1	17	8
2	31	8
3	49	6
4	64	6
5	70	6
6	72	6
done	72	6
0	7	8
1	15	5
2	28	3
3	50	3
4	76	3
5	91	3
6	92	3
done	92	3
0	9	11
1	19	11
2	42	9
3	138	9
4	208	9
5	248	9
6	266	9
done	266	9
0	8	8
1	16	8
2	30	6
3	79	6
4	88	6
5	93	6
6	95	6
done	95	6
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	10	10
1	15	10
2	19	10
3	25	10
4	34	10
5	44	10
6	53	10
7	58	10
8	67	10
9	84	10
10	103	10
11	111	10
done	111	10
0	9	9
1	19	9
2	33	9
3	56	9
4	88	9
5	127	9
6	170	9
7	197	9
8	234	9
9	266	9
10	295	9
11	302	9
12	303	9
done	303	9
0	9	9
1	18	9
2	37	9
3	69	9
4	135	9
5	279	9
6	607	9
7	1781	9
done	5000	9
0	12	26
1	30	24
2	103	12
3	428	12
4	1748	10
done	5001	10
0	10	19
1	17	19
2	27	19
3	39	19
4	54	19
5	68	19
6	79	19
7	81	19
8	83	19
done	83	19
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	10	26
1	27	26
2	100	10
3	448	10
4	2125	10
done	5000	10
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	10	10
1	15	10
2	16	10
done	16	10
0	10	10
1	15	10
2	16	10
done	16	10
0	7	7
1	12	7
2	16	7
3	23	7
4	29	7
5	33	7
6	35	7
done	35	7
0	10	17
1	17	17
2	20	17
done	20	17
0	9	9
1	14	9
2	15	9
done	15	9
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	10	16
1	18	16
2	31	16
3	40	16
4	42	16
done	42	16
0	9	9
1	14	9
2	18	9
3	19	9
done	19	9
0	12	18
1	25	18
2	61	18
3	158	18
4	317	18
5	453	18
6	482	18
7	483	18
done	483	18
0	11	13
1	20	13
2	38	13
3	81	13
4	136	13
5	163	13
6	171	13
7	172	13
done	172	13
0	8	10
1	17	8
2	36	8
3	85	8
4	163	8
5	258	8
6	270	8
done	270	8
0	12	14
1	20	14
2	37	14
3	80	14
4	135	14
5	162	14
6	170	14
7	171	14
done	171	14
0	8	10
1	17	8
2	36	8
3	85	8
4	163	8
5	258	8
6	270	8
done	270	8
0	11	15
1	20	15
2	36	15
3	71	15
4	103	15
5	135	15
6	145	15
done	145	15
0	10	10
1	17	10
2	27	10
3	39	10
4	45	10
5	53	10
6	55	10
done	55	10
0	7	7
1	14	5
2	22	5
3	31	5
4	51	5
5	68	5
6	72	5
done	72	5
0	11	11
1	17	11
2	26	11
3	38	11
4	44	11
5	52	11
6	54	11
done	54	11
0	7	7
1	14	5
2	22	5
3	31	5
4	51	5
5	68	5
6	72	5
done	72	5
0	10	14
1	22	13
2	38	13
3	72	12
4	114	12
5	190	12
6	235	12
7	251	12
8	260	12
done	260	12
0	9	9
1	19	8
2	29	8
3	41	7
4	52	7
5	70	7
6	74	7
7	78	7
8	80	7
done	80	7
0	5	6
1	13	3
2	16	2
3	21	2
4	23	2
done	23	2
0	10	10
1	19	9
2	28	9
3	40	8
4	51	8
5	69	8
6	74	8
7	78	8
8	80	8
done	80	8
0	5	6
1	13	3
2	16	2
3	21	2
4	23	2
done	23	2
0	4	4
1	10	3
2	13	2
3	18	2
4	20	2
done	20	2
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	11	12
1	31	12
2	62	12
3	123	12
4	299	12
5	966	12
6	4326	12
done	5000	12
0	10	12
1	20	12
2	40	12
3	99	12
4	209	12
5	346	12
6	529	12
7	911	12
8	2616	12
done	5000	12
0	9	15
1	14	15
2	17	15
done	17	15
0	8	8
1	11	8
2	12	8
done	12	8
0	11	17
1	22	17
2	52	17
3	91	17
4	147	17
5	161	17
done	161	17
0	10	12
1	17	12
2	28	12
3	43	12
4	56	12
5	58	12
done	58	12
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	11	13
1	17	13
2	27	13
3	42	13
4	55	13
5	57	13
done	57	13
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	10	14
1	17	14
2	29	14
3	43	14
4	55	14
done	55	14
0	9	9
1	14	9
2	18	9
3	22	9
4	23	9
done	23	9
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	10	10
1	14	10
2	17	10
3	21	10
4	22	10
done	22	10
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	9	13
1	18	13
2	29	11
3	36	11
4	56	11
5	86	11
6	89	11
done	89	11
0	8	8
1	15	8
2	19	6
3	20	6
4	25	6
5	26	6
done	26	6
0	4	5
1	9	3
2	14	1
done	14	1
0	9	9
1	15	9
2	18	7
3	19	7
4	24	7
5	25	7
done	25	7
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	10	11
1	28	11
2	53	11
3	104	11
4	247	11
5	810	11
6	3813	11
done	5001	11
0	9	11
1	17	11
2	34	11
3	77	11
4	137	11
5	226	11
6	361	11
7	656	11
8	2216	11
done	5001	11
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	9	9
1	16	9
2	26	9
3	38	9
4	53	9
5	67	9
6	78	9
7	80	9
8	82	9
done	82	9
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	16	18
1	38	17
2	83	14
3	209	12
4	477	12
5	1737	12
done	5000	12
0	15	17
1	31	17
2	60	14
3	127	12
4	155	12
5	173	12
6	186	12
7	188	12
8	190	12
done	190	12
0	15	17
1	34	17
2	75	14
3	180	12
4	354	12
5	1165	12
done	5001	12
0	16	35
1	32	35
2	61	29
3	125	25
4	152	25
5	172	25
6	185	25
7	187	25
8	189	25
done	189	25
0	15	17
1	31	17
2	60	14
3	124	12
4	151	12
5	173	12
6	186	12
7	188	12
8	190	12
done	190	12
0	16	50
1	45	50
2	160	15
3	869	13
done	5000	13
0	15	17
1	31	17
2	60	14
3	124	12
4	151	12
5	173	12
6	186	12
7	188	12
8	190	12
done	190	12
0	15	17
1	31	17
2	60	14
3	124	12
4	151	12
5	173	12
6	186	12
7	188	12
8	190	12
done	190	12
0	12	14
1	25	14
2	59	14
3	111	12
4	161	11
5	219	11
6	276	11
7	396	11
8	699	11
9	948	11
10	997	11
11	1007	11
done	1007	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	14	16
1	32	14
2	95	14
3	212	12
4	312	11
5	472	11
6	737	11
7	955	11
8	1480	11
9	2037	11
10	2173	11
11	2208	11
done	2208	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	17	20
1	52	20
2	186	18
3	942	17
4	4417	17
done	5000	17
0	18	50
1	59	41
2	248	35
3	1156	31
4	4210	29
done	5000	29
0	16	33
1	50	33
2	188	27
3	735	23
4	1863	23
5	4045	23
done	5000	23
0	14	16
1	31	16
2	63	13
3	149	11
4	210	11
5	236	11
6	253	11
7	257	11
done	257	11
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	17	24
1	45	22
2	142	18
3	451	14
4	1244	14
5	2248	14
6	3546	13
done	5000	13
0	16	25
1	45	23
2	144	23
3	397	19
4	1145	17
5	3342	15
done	5000	15
0	16	25
1	45	23
2	144	23
3	397	19
4	1145	17
5	3342	15
done	5000	15
0	12	17
1	30	15
2	78	11
3	130	11
4	199	11
5	279	11
6	381	11
7	484	11
8	808	11
9	1756	11
done	5001	11
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15
0	15	20
1	40	18
2	111	18
3	250	16
4	589	16
5	1532	16
done	5000	15
0	10	11
1	19	11
2	40	11
3	68	11
4	77	9
5	80	9
done	80	9
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13

prune237.0ms

Filtered

120 candidates to 165 candidates (-37.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	165	8	173

Merged error: 0b

Counts

173 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

4.7b	(* x (- (/ y z) (/ t (- 1.0 z))))
6.8b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.8b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
6.8b	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
12×	`associate-*r/`
10×	`associate-r`
9×	`cbrt-div`
8×	`times-frac`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
4×	`flip3--` `frac-sub` `flip--` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
3×	`cbrt-prod` `pow1/3` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 68

Calls

4 calls:

38.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
22.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
22.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
26.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

series225.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))
69.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
70.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))
67.0ms	(cbrt (* x (- (/ y z) (/ t (- 1.0 z)))))

simplify1.6min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	2	2
done	2	2
0	9	10
1	13	10
2	17	10
done	17	10
0	11	12
1	18	12
2	37	12
3	83	12
4	140	12
5	201	12
6	257	12
7	341	12
8	544	12
9	812	12
10	926	12
11	955	12
done	955	12
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	14	16
1	38	16
2	105	16
3	336	16
4	1280	16
done	5001	16
0	13	30
1	34	24
2	65	24
3	105	24
4	186	24
5	293	24
6	406	24
7	573	24
8	778	24
9	1177	24
10	1843	24
11	2138	24
12	2258	24
13	2299	24
14	2309	24
15	2318	24
16	2328	24
17	2335	24
18	2337	24
done	2337	24
0	13	22
1	29	22
2	61	22
3	153	22
4	396	22
5	869	22
6	1577	22
7	3013	22
done	5001	22
0	9	10
1	12	10
2	13	10
done	13	10
0	13	27
1	18	27
2	28	27
3	41	27
4	59	27
5	75	27
6	88	27
7	102	27
8	108	27
9	110	27
done	110	27
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	13	38
1	19	38
2	31	14
3	49	11
4	73	11
5	99	11
6	133	11
7	207	11
8	419	11
9	1351	11
done	5000	11
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	2	2
done	2	2
0	9	10
1	13	10
2	17	10
done	17	10
0	11	12
1	18	12
2	37	12
3	83	12
4	140	12
5	201	12
6	257	12
7	341	12
8	544	12
9	812	12
10	926	12
11	955	12
done	955	12
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	14	16
1	38	16
2	105	16
3	336	16
4	1280	16
done	5001	16
0	13	30
1	34	24
2	65	24
3	105	24
4	186	24
5	293	24
6	406	24
7	573	24
8	778	24
9	1177	24
10	1843	24
11	2138	24
12	2258	24
13	2299	24
14	2309	24
15	2318	24
16	2328	24
17	2335	24
18	2337	24
done	2337	24
0	13	22
1	29	22
2	61	22
3	153	22
4	396	22
5	869	22
6	1577	22
7	3013	22
done	5001	22
0	9	10
1	12	10
2	13	10
done	13	10
0	13	27
1	18	27
2	28	27
3	41	27
4	59	27
5	75	27
6	88	27
7	102	27
8	108	27
9	110	27
done	110	27
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	13	38
1	19	38
2	31	14
3	49	11
4	73	11
5	99	11
6	133	11
7	207	11
8	419	11
9	1351	11
done	5000	11
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	2	2
done	2	2
0	9	10
1	13	10
2	17	10
done	17	10
0	11	12
1	18	12
2	37	12
3	83	12
4	140	12
5	201	12
6	257	12
7	341	12
8	544	12
9	812	12
10	926	12
11	955	12
done	955	12
0	5	6
1	8	6
2	15	6
3	18	6
4	19	6
done	19	6
0	14	16
1	38	16
2	105	16
3	336	16
4	1280	16
done	5001	16
0	13	30
1	34	24
2	65	24
3	105	24
4	186	24
5	293	24
6	406	24
7	573	24
8	778	24
9	1177	24
10	1843	24
11	2138	24
12	2258	24
13	2299	24
14	2309	24
15	2318	24
16	2328	24
17	2335	24
18	2337	24
done	2337	24
0	13	22
1	29	22
2	61	22
3	153	22
4	396	22
5	869	22
6	1577	22
7	3013	22
done	5001	22
0	9	10
1	12	10
2	13	10
done	13	10
0	13	27
1	18	27
2	28	27
3	41	27
4	59	27
5	75	27
6	88	27
7	102	27
8	108	27
9	110	27
done	110	27
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	13	38
1	19	38
2	31	14
3	49	11
4	73	11
5	99	11
6	133	11
7	207	11
8	419	11
9	1351	11
done	5000	11
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	12	13
1	17	13
2	27	13
3	40	13
4	58	13
5	74	13
6	87	13
7	101	13
8	107	13
9	109	13
done	109	13
0	10	11
1	15	11
2	25	11
3	38	11
4	56	11
5	72	11
6	85	11
7	99	11
8	105	11
9	107	11
done	107	11
0	12	13
1	17	13
2	21	13
done	21	13
0	11	12
1	19	12
2	30	12
3	43	12
4	61	12
5	77	12
6	90	12
7	104	12
8	110	12
9	112	12
done	112	12
0	11	12
1	18	12
2	34	12
3	67	12
4	126	12
5	263	12
6	567	12
7	1682	12
done	5000	12
0	14	35
1	25	35
2	72	15
3	272	15
4	1140	13
done	5000	13
0	12	25
1	17	25
2	27	25
3	40	25
4	58	25
5	74	25
6	87	25
7	101	25
8	107	25
9	109	25
done	109	25
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	12	35
1	27	35
2	84	13
3	304	13
4	1128	13
5	4682	13
done	5000	13
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	12	13
1	17	13
2	21	13
done	21	13
0	12	13
1	17	13
2	21	13
done	21	13
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	37	8
4	52	8
5	66	8
6	77	8
7	79	8
8	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	8	8
1	15	8
2	25	8
3	36	8
4	49	8
5	62	8
6	75	8
7	81	8
done	81	8
0	12	23
1	19	23
2	25	23
done	25	23
0	11	12
1	16	12
2	20	12
done	20	12
0	3	3
1	6	1
done	6	1
0	12	13
1	22	13
2	24	13
done	24	13
0	13	14
1	23	14
2	29	14
3	33	14
4	35	14
5	36	14
done	36	14
0	13	14
1	23	14
2	29	14
3	33	14
4	35	14
5	36	14
done	36	14
0	14	15
1	24	15
2	34	15
3	42	15
4	46	15
5	48	15
done	48	15
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	11	12
1	16	12
2	26	12
3	39	12
4	57	12
5	73	12
6	86	12
7	100	12
8	106	12
9	108	12
done	108	12
0	10	11
1	15	11
2	25	11
3	38	11
4	56	11
5	72	11
6	85	11
7	99	11
8	105	11
9	107	11
done	107	11
0	10	11
1	17	11
2	36	11
3	82	11
4	143	11
5	206	11
6	262	11
7	346	11
8	549	11
9	821	11
10	929	11
11	958	11
done	958	11
0	13	15
1	37	15
2	104	15
3	335	15
4	1290	15
done	5000	15
0	12	21
1	28	21
2	60	21
3	152	21
4	391	21
5	863	21
6	1565	21
7	2997	21
done	5000	21
0	17	29
1	35	29
2	72	18
3	155	17
4	358	13
5	1081	13
6	4417	13
done	5000	13
0	17	20
1	39	16
2	98	13
3	315	10
4	597	9
5	1230	6
6	2317	6
done	5001	6
0	20	23
1	41	22
2	105	20
3	393	19
4	1591	15
done	5000	11
0	17	29
1	35	29
2	72	18
3	155	17
4	358	13
5	1081	13
6	4417	13
done	5000	13
0	17	20
1	39	16
2	98	13
3	315	10
4	597	9
5	1230	6
6	2317	6
done	5001	6
0	20	23
1	41	22
2	105	20
3	393	19
4	1591	15
done	5000	11
0	17	29
1	35	29
2	72	18
3	155	17
4	358	13
5	1081	13
6	4417	13
done	5000	13
0	17	20
1	39	16
2	98	13
3	315	10
4	597	9
5	1230	6
6	2317	6
done	5001	6
0	20	23
1	41	22
2	105	20
3	393	19
4	1591	15
done	5000	11
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13
0	15	21
1	35	21
2	89	21
3	166	17
4	311	17
5	442	13
6	565	13
7	870	13
8	1470	13
9	2892	13
done	5000	13

prune197.0ms

Filtered

67 candidates to 80 candidates (-19.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	80	8	88

Merged error: 0b

Counts

88 → 8

regimes568.0ms

Accuracy

74.6% (1.4b remaining)

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

bsearch1.0ms

simplify10.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	170
1	64	170
2	67	170
3	68	170
done	68	170

end0.0ms

sample1.0s

Algorithm

intervals

Results

420.0ms

10139×

body

valid

Details

sample40.0ms

simplify80.0ms

prune4.0ms

localize8.0ms

rewrite37.0ms

series25.0ms

simplify41.1s

prune140.0ms

localize11.0ms

rewrite46.0ms

series46.0ms

simplify1.7min

prune237.0ms

localize13.0ms

rewrite48.0ms

series51.0ms

simplify2.0min

prune237.0ms

localize13.0ms

rewrite110.0ms

series225.0ms

simplify1.6min

prune197.0ms

regimes568.0ms

bsearch1.0ms

simplify10.0ms

end0.0ms

sample1.0s

Profiling