Details

sample41.0ms

Algorithm

intervals

Results

14.0ms

372×

body

valid

simplify41.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	16	9
2	33	9
3	45	9
4	63	9
5	69	9
done	69	9

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x y) (* z t))
7.0b	(/ (- (* x y) (* z t)) a)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `flip3--` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

2 → 42

Calls

2 calls:

4.0ms	(- (* x y) (* z t))
7.0ms	(/ (- (* x y) (* z t)) a)

series30.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(- (* x y) (* z t))
18.0ms	(/ (- (* x y) (* z t)) a)

simplify22.7s

Counts

48 → 48

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	17	11
2	25	11
done	25	11
0	10	10
1	20	10
2	39	10
3	52	10
4	70	10
5	76	10
done	76	10
0	10	10
1	17	10
2	37	10
3	51	10
4	80	10
5	119	10
6	217	10
7	840	10
8	4949	10
done	5000	10
0	13	29
1	26	29
2	80	13
3	271	11
4	1019	11
5	4846	11
done	5000	11
0	11	21
1	18	21
2	35	21
3	47	21
4	65	21
5	71	21
done	71	21
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	11	29
1	25	29
2	70	11
3	254	11
4	1097	11
done	5001	11
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	8	8
1	12	8
2	22	8
3	38	8
4	49	7
done	49	7
0	2	2
done	2	2
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	13	23
1	23	23
2	39	23
3	45	23
done	45	23
0	11	11
1	15	11
2	22	11
done	22	11
0	12	20
1	18	20
2	27	20
3	28	20
done	28	20
0	11	11
1	15	11
2	22	11
done	22	11
0	11	19
1	19	17
2	32	17
3	37	17
done	37	17
0	10	10
1	14	10
2	21	10
done	21	10
0	12	14
1	18	14
2	25	14
done	25	14
0	11	11
1	15	11
2	22	11
done	22	11
0	11	11
1	15	11
2	22	11
done	22	11
0	11	11
1	15	11
2	22	11
done	22	11
0	10	10
1	16	8
2	25	8
done	25	8
0	10	10
1	14	10
2	21	10
done	21	10
0	5	7
1	9	7
done	9	7
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	4	4
1	6	4
done	6	4
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	2	3
1	4	1
done	4	1
0	9	9
1	16	9
2	33	9
3	45	9
4	63	9
5	69	9
done	69	9
0	3	3
1	5	3
done	5	3
0	9	9
1	13	9
2	20	9
done	20	9
0	11	13
1	20	13
2	50	13
3	99	13
4	154	13
5	178	13
6	186	13
done	186	13
0	10	10
1	17	10
2	34	10
3	46	10
4	64	10
5	70	10
done	70	10
0	9	9
1	18	7
2	37	7
3	56	7
4	92	7
5	100	7
6	106	7
done	106	7
0	10	10
1	14	10
2	21	10
done	21	10
0	10	10
1	14	10
2	21	10
done	21	10
0	9	9
1	13	9
2	20	9
done	20	9
0	13	25
1	47	21
2	137	21
3	313	21
4	544	21
5	634	21
6	638	21
done	638	21
0	9	9
1	19	9
2	36	9
3	38	9
done	38	9
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
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	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune113.0ms

Filtered

40 candidates to 48 candidates (-20.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	37	11	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	11	49

Merged error: 7.1b

Counts

49 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x y) a) (/ (* z t) a))
5.0b	(/ (* x y) a)
6.9b	(/ (* z t) a)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-cube-cbrt`
6×	`times-frac` `associate-/r*`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `div-inv`
3×	`pow1`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l*`
1×	`sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `frac-sub` `flip--` `distribute-lft-out--` `sub-div` `difference-of-squares`

Counts

3 → 59

Calls

3 calls:

9.0ms	(- (/ (* x y) a) (/ (* z t) a))
5.0ms	(/ (* x y) a)
5.0ms	(/ (* z t) a)

series38.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(- (/ (* x y) a) (/ (* z t) a))
12.0ms	(/ (* x y) a)
5.0ms	(/ (* z t) a)

simplify1.3min

Counts

68 → 68

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	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	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	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	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	12	13
1	20	12
2	30	12
3	52	12
4	89	12
5	152	12
6	408	12
7	2118	12
done	5000	12
0	11	12
1	19	12
2	32	12
3	49	12
4	63	12
5	66	12
done	66	12
0	11	12
1	22	12
2	37	12
3	61	12
4	99	12
5	164	12
6	499	12
7	2619	12
done	5001	12
0	12	25
1	20	25
2	33	25
3	50	25
4	64	25
5	67	25
done	67	25
0	11	12
1	19	12
2	32	12
3	49	12
4	63	12
5	66	12
done	66	12
0	12	35
1	21	35
2	48	13
3	154	13
4	732	13
5	4331	13
done	5000	13
0	11	12
1	19	12
2	32	12
3	49	12
4	63	12
5	66	12
done	66	12
0	11	12
1	19	12
2	32	12
3	49	12
4	63	12
5	66	12
done	66	12
0	7	7
1	11	7
2	18	7
done	18	7
0	10	11
1	20	11
2	45	9
3	76	9
4	81	9
done	81	9
0	2	3
done	2	3
0	13	15
1	39	15
2	130	15
3	561	15
4	3014	15
done	5000	15
0	14	35
1	39	29
2	123	29
3	406	29
4	1143	27
5	1883	27
6	2197	27
7	2360	27
8	2411	27
9	2416	27
done	2416	27
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	12	23
1	31	23
2	88	23
3	299	23
4	937	23
5	2000	23
6	3122	23
done	5000	21
0	10	11
1	17	11
2	25	11
3	31	11
4	33	11
done	33	11
0	12	13
1	19	13
2	27	13
3	33	13
4	35	13
done	35	13
0	12	13
1	20	13
2	29	13
3	35	13
4	37	13
done	37	13
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	7	7
1	11	7
2	18	7
done	18	7
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
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	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	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11

prune122.0ms

Filtered

53 candidates to 68 candidates (-28.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	69	10	79

Merged error: 0.0b

Counts

79 → 10

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x y) a) (/ z (/ a t)))
5.0b	(/ (* x y) a)
5.7b	(/ z (/ a t))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

81×	`times-frac`
56×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
47×	`add-cube-cbrt`
16×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv`
5×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`associate-/l*`
3×	`pow1` `difference-of-squares`
2×	`frac-2neg` `clear-num`
1×	`sub-neg` `flip3--` `diff-log` `prod-exp` `associate-/r/` `frac-sub` `flip--` `cbrt-unprod` `distribute-lft-out--`

Counts

3 → 108

Calls

3 calls:

30.0ms	(- (/ (* x y) a) (/ z (/ a t)))
5.0ms	(/ (* x y) a)
6.0ms	(/ z (/ a t))

series33.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(- (/ (* x y) a) (/ z (/ a t)))
5.0ms	(/ (* x y) a)
6.0ms	(/ z (/ a t))

simplify1.3min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	14	8
2	22	8
3	35	8
4	39	8
5	47	8
6	62	8
7	88	8
8	97	8
done	97	8
0	7	7
1	12	7
2	17	7
3	24	7
4	37	7
5	41	7
6	49	7
7	64	7
8	90	7
9	99	7
done	99	7
0	6	6
1	11	6
2	21	6
3	30	6
4	42	6
5	61	6
6	70	6
7	81	6
8	99	6
9	119	6
10	125	6
done	125	6
0	6	6
1	8	6
2	13	6
3	20	6
4	30	6
5	57	6
6	123	6
7	292	6
8	829	6
9	3097	6
done	5000	6
0	11	17
1	25	17
2	105	11
3	478	9
4	1839	7
done	5000	7
0	9	17
1	24	17
2	82	9
3	318	7
4	1287	7
5	3403	7
done	5000	7
0	7	13
1	9	13
2	12	13
3	13	13
4	15	13
5	17	13
6	18	13
done	18	13
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	17
1	16	17
2	54	7
3	227	7
4	922	7
5	2669	7
done	5001	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	10
1	10	10
2	12	10
3	13	10
done	13	10
0	7	7
done	7	7
0	11	17
1	21	17
2	57	17
3	146	17
4	272	17
5	365	17
6	401	17
7	411	17
done	411	17
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	14
1	16	14
2	34	14
3	78	14
4	124	14
5	144	14
6	149	14
7	150	14
done	150	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	12
1	10	12
done	10	12
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	10	14
1	18	14
2	39	14
3	70	14
4	96	14
5	130	14
6	156	14
7	166	14
8	167	14
done	167	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	21	11
3	34	11
4	42	11
5	48	11
6	51	11
done	51	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	9	11
1	13	11
2	20	11
3	28	11
4	32	11
5	41	11
6	47	11
7	52	11
done	52	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	4	4
done	4	4
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	7	11
1	11	11
done	11	11
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	6	6
done	6	6
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	6
1	9	4
2	14	4
done	14	4
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	3	5
1	6	1
done	6	1
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	5	5
1	7	5
2	10	5
done	10	5
0	7	11
1	9	11
done	9	11
0	6	6
done	6	6
0	9	13
1	17	13
2	38	13
3	67	13
4	93	13
5	126	13
6	150	13
7	160	13
8	161	13
done	161	13
0	8	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	7	5
2	10	5
done	10	5
0	3	3
done	3	3
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	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	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	12	13
1	19	12
2	30	12
3	55	12
4	92	12
5	179	12
6	594	12
7	3322	12
done	5000	12
0	11	12
1	18	12
2	32	12
3	44	12
4	54	12
5	59	12
6	65	12
7	68	12
done	68	12
0	11	12
1	21	12
2	39	12
3	65	12
4	109	12
5	229	12
6	886	12
done	5000	12
0	12	25
1	19	25
2	33	25
3	45	25
4	55	25
5	60	25
6	66	25
7	69	25
done	69	25
0	11	12
1	18	12
2	32	12
3	44	12
4	54	12
5	59	12
6	65	12
7	68	12
done	68	12
0	12	35
1	20	35
2	48	13
3	157	13
4	764	13
5	4275	13
done	5000	13
0	11	12
1	18	12
2	32	12
3	44	12
4	54	12
5	59	12
6	65	12
7	68	12
done	68	12
0	11	12
1	18	12
2	32	12
3	44	12
4	54	12
5	59	12
6	65	12
7	68	12
done	68	12
0	10	11
1	19	11
2	40	11
3	58	11
4	84	9
5	95	9
6	97	9
done	97	9
0	4	5
1	7	5
2	9	5
done	9	5
0	13	15
1	39	15
2	135	15
3	570	15
4	2771	15
done	5001	15
0	14	35
1	38	29
2	121	29
3	405	29
4	1045	27
5	1701	27
6	2023	27
7	2224	27
8	2333	27
9	2344	27
10	2347	27
done	2347	27
0	6	6
1	10	6
2	19	6
3	29	6
4	35	6
5	40	6
6	46	6
7	49	6
done	49	6
0	12	23
1	30	23
2	85	23
3	292	23
4	839	23
5	1646	23
6	2732	23
7	4654	21
done	5000	21
0	10	11
1	16	11
2	23	11
3	27	11
4	30	11
5	32	11
6	33	11
done	33	11
0	12	13
1	18	13
2	25	13
3	29	13
4	32	13
5	34	13
6	35	13
done	35	13
0	12	13
1	19	13
2	27	13
3	31	13
4	34	13
5	36	13
6	37	13
done	37	13
0	13	14
1	17	14
2	21	14
3	24	14
4	25	14
done	25	14
0	13	14
1	18	14
2	25	14
3	28	14
4	29	14
done	29	14
0	14	15
1	20	15
2	27	15
3	31	15
4	34	15
5	36	15
6	37	15
done	37	15
0	14	15
1	21	15
2	35	15
3	47	15
4	57	15
5	62	15
6	68	15
7	71	15
done	71	15
0	10	11
1	17	11
2	31	11
3	43	11
4	53	11
5	58	11
6	64	11
7	67	11
done	67	11
0	6	6
1	10	6
2	19	6
3	29	6
4	35	6
5	40	6
6	46	6
7	49	6
done	49	6
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	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	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11

prune145.0ms

Filtered

94 candidates to 117 candidates (-24.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	119	8	127

Merged error: 0b

Counts

127 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x y) a) (* z (/ t a)))
5.0b	(/ (* x y) a)
5.8b	(* z (/ t a))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 67

Calls

3 calls:

6.0ms	(- (/ (* x y) a) (* z (/ t a)))
5.0ms	(/ (* x y) a)
8.0ms	(* z (/ t a))

series34.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(- (/ (* x y) a) (* z (/ t a)))
6.0ms	(/ (* x y) a)
7.0ms	(* z (/ t a))

simplify1.2min

Counts

76 → 76

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	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	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	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	12	13
1	22	12
2	37	12
3	70	12
4	140	12
5	313	12
6	1154	12
done	5000	12
0	11	12
1	19	12
2	35	12
3	51	12
4	63	12
5	66	12
done	66	12
0	11	12
1	22	12
2	44	12
3	78	12
4	137	12
5	310	12
6	1283	12
done	5000	12
0	12	25
1	20	25
2	36	25
3	52	25
4	64	25
5	67	25
done	67	25
0	11	12
1	19	12
2	35	12
3	51	12
4	63	12
5	66	12
done	66	12
0	12	35
1	21	35
2	51	13
3	180	13
4	817	13
5	4623	13
done	5000	13
0	11	12
1	19	12
2	35	12
3	51	12
4	63	12
5	66	12
done	66	12
0	11	12
1	19	12
2	35	12
3	51	12
4	63	12
5	66	12
done	66	12
0	7	7
1	11	7
2	18	7
done	18	7
0	10	11
1	20	11
2	45	9
3	76	9
4	81	9
done	81	9
0	2	3
done	2	3
0	13	15
1	40	15
2	146	15
3	645	15
4	3076	15
done	5000	15
0	14	35
1	42	29
2	145	29
3	405	29
4	1065	27
5	1816	27
6	2102	27
7	2283	27
8	2377	27
9	2390	27
10	2393	27
done	2393	27
0	6	6
1	13	6
2	24	6
3	34	6
4	45	6
5	48	6
done	48	6
0	12	23
1	34	23
2	107	23
3	326	23
4	896	23
5	1822	23
6	3005	23
done	5000	21
0	10	11
1	17	11
2	24	11
3	31	11
4	33	11
done	33	11
0	6	6
1	13	6
2	24	6
3	34	6
4	45	6
5	48	6
done	48	6
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	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	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11
0	10	11
1	18	11
2	31	11
3	48	11
4	62	11
5	65	11
done	65	11

prune79.0ms

Filtered

59 candidates to 76 candidates (-28.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	76	8	84

Merged error: 0b

Counts

84 → 8

regimes1.1s

Accuracy

49.1% (4.1b remaining)

Error of 4.5b against oracle of 0.4b and baseline of 8.4b

bsearch1.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	79
1	37	79
done	37	79

end0.0ms

sample1.1s

Algorithm

intervals

Results

423.0ms

11182×

body

valid

Details

sample41.0ms

simplify41.0ms

prune4.0ms

localize8.0ms

rewrite12.0ms

series30.0ms

simplify22.7s

prune113.0ms

localize9.0ms

rewrite20.0ms

series38.0ms

simplify1.3min

prune122.0ms

localize9.0ms

rewrite47.0ms

series33.0ms

simplify1.3min

prune145.0ms

localize9.0ms

rewrite22.0ms

series34.0ms

simplify1.2min

prune79.0ms

regimes1.1s

bsearch1.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling