Details

sample31.0ms

Algorithm

intervals

Results

9.0ms

303×

body

valid

simplify39.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	16	7
2	21	7
3	32	7
4	35	7
5	41	7
6	45	7
7	53	7
8	55	7
done	55	7

prune3.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: 13.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
12.3b	(/ (* x (+ y z)) z)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 46

Calls

2 calls:

10.0ms	(* x (+ y z))
7.0ms	(/ (* x (+ y z)) z)

series18.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* x (+ y z))
10.0ms	(/ (* x (+ y z)) z)

simplify32.6s

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	22	10
3	28	10
4	34	10
5	43	10
6	56	10
7	74	10
8	90	10
9	97	10
10	114	10
11	116	10
done	116	10
0	8	9
1	21	9
2	28	9
3	37	9
4	40	9
5	46	9
6	55	9
7	68	9
8	86	9
9	102	9
10	109	9
11	126	9
12	128	9
done	128	9
0	7	8
1	20	8
2	33	8
3	60	8
4	78	8
5	92	8
6	108	8
7	134	8
8	154	8
9	162	8
10	180	8
11	182	8
12	185	8
13	190	8
14	195	8
done	195	8
0	7	8
1	17	8
2	22	8
3	35	8
4	50	8
5	77	8
6	124	8
7	274	8
8	649	8
9	2103	8
done	5000	8
0	12	23
1	40	23
2	191	13
3	864	13
4	3879	11
done	5000	11
0	10	23
1	36	23
2	180	11
3	970	9
4	3740	9
done	5000	9
0	8	17
1	18	17
2	23	17
3	34	17
4	37	17
5	43	17
6	47	17
7	55	17
8	57	17
done	57	17
0	7	8
1	17	8
2	22	8
3	33	8
4	36	8
5	42	8
6	46	8
7	54	8
8	56	8
done	56	8
0	8	23
1	25	23
2	79	9
3	370	9
4	1848	9
done	5000	9
0	7	8
1	17	8
2	22	8
3	33	8
4	36	8
5	42	8
6	46	8
7	54	8
8	56	8
done	56	8
0	7	8
1	17	8
2	22	8
3	33	8
4	36	8
5	42	8
6	46	8
7	54	8
8	56	8
done	56	8
0	6	6
1	18	6
2	36	6
3	48	6
4	49	6
done	49	6
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	5	6
1	6	6
done	6	6
0	4	4
done	4	4
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	6	7
1	16	7
2	19	7
done	19	7
0	8	11
1	23	11
2	38	11
3	67	11
4	77	11
5	97	11
6	123	11
7	137	11
8	142	11
9	143	11
10	145	11
11	146	11
done	146	11
0	7	8
1	17	8
2	22	8
3	33	8
4	36	8
5	42	8
6	46	8
7	52	8
8	54	8
done	54	8
0	7	7
1	19	5
2	28	5
3	45	5
4	50	5
done	50	5
0	4	5
1	5	5
done	5	5
0	8	13
1	23	11
2	48	11
3	89	11
4	135	11
5	184	11
6	245	11
7	327	11
8	587	11
9	1096	11
10	3564	11
done	5000	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune73.0ms

Filtered

40 candidates to 52 candidates (-30.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	48	4	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	5	53

Merged error: 0.0b

Counts

53 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ y z) z)
2.4b	(* x (/ (+ y z) z))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `times-frac`
20×	`add-cube-cbrt`
16×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out`
4×	`pow1` `associate-/l*`
3×	`associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip-+`

Counts

2 → 68

Calls

2 calls:

6.0ms	(/ (+ y z) z)
10.0ms	(* x (/ (+ y z) z))

series19.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (+ y z) z)
14.0ms	(* x (/ (+ y z) z))

simplify32.5s

Counts

74 → 74

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	21	7
3	25	7
4	34	7
5	36	7
6	42	7
7	46	7
8	54	7
9	56	7
done	56	7
0	9	10
1	15	10
2	22	10
3	31	10
4	37	10
5	47	10
6	54	10
7	66	10
8	89	10
9	103	10
10	109	10
done	109	10
0	8	9
1	13	9
2	19	9
3	28	9
4	38	9
5	47	9
6	52	9
7	61	9
8	78	9
9	97	9
10	105	9
done	105	9
0	7	8
1	14	8
2	31	8
3	45	8
4	73	8
5	88	8
6	106	8
7	128	8
8	152	8
9	163	8
10	181	8
11	184	8
12	187	8
13	192	8
14	197	8
done	197	8
0	7	8
1	13	8
2	30	8
3	44	8
4	85	8
5	178	8
6	402	8
7	1460	8
done	5000	8
0	12	23
1	40	23
2	153	13
3	646	11
4	2955	11
done	5000	11
0	10	23
1	24	23
2	89	11
3	311	11
4	1219	9
5	4471	9
done	5000	9
0	8	17
1	12	17
2	23	17
3	27	17
4	36	17
5	38	17
6	44	17
7	48	17
8	56	17
9	58	17
done	58	17
0	7	8
1	11	8
2	22	8
3	26	8
4	35	8
5	37	8
6	43	8
7	47	8
8	55	8
9	57	8
done	57	8
0	8	23
1	22	23
2	84	9
3	326	9
4	1233	9
5	4618	9
done	5001	9
0	7	8
1	11	8
2	22	8
3	26	8
4	35	8
5	37	8
6	43	8
7	47	8
8	55	8
9	57	8
done	57	8
0	7	8
1	11	8
2	22	8
3	26	8
4	35	8
5	37	8
6	43	8
7	47	8
8	55	8
9	57	8
done	57	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	10	17
1	20	17
2	49	17
3	91	17
4	147	17
5	163	17
done	163	17
0	9	14
1	15	14
2	25	14
3	40	14
4	53	14
5	55	14
done	55	14
0	9	13
1	17	11
2	34	11
3	71	11
4	109	11
done	109	11
0	9	12
1	15	12
2	26	12
3	39	12
4	51	12
done	51	12
0	8	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	8	8
1	14	6
2	21	6
3	30	6
4	36	6
done	36	6
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	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	5	5
1	13	5
2	14	5
done	14	5
0	7	8
1	11	8
2	22	8
3	26	8
4	35	8
5	37	8
6	43	8
7	47	8
8	55	8
9	230	8
10	1506	8
done	5001	8
0	7	8
1	11	8
2	22	8
3	26	8
4	35	8
5	37	8
6	43	8
7	47	8
8	55	8
9	230	8
10	1506	8
done	5001	8
0	6	7
1	10	7
2	21	7
3	25	7
4	34	7
5	36	7
6	42	7
7	46	7
8	54	7
9	56	7
done	56	7
0	5	5
1	13	5
2	14	5
done	14	5
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	232	7
4	615	7
5	1682	7
6	4439	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	46	7
3	118	7
4	293	7
5	584	7
6	1235	7
done	5001	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	12
1	10	12
2	12	12
3	13	12
done	13	12
0	6	7
1	7	7
done	7	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	5	6
1	6	6
done	6	6
0	7	10
1	10	10
done	10	10
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	6
1	9	4
2	11	4
done	11	4
0	5	6
1	6	6
done	6	6
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	7
1	9	7
done	9	7
0	5	6
1	6	6
done	6	6
0	4	4
1	6	4
done	6	4
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	3	3
1	5	3
done	5	3
0	4	5
1	5	5
done	5	5
0	6	9
1	9	9
done	9	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	3
2	10	3
done	10	3
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	8	13
1	23	11
2	48	11
3	89	11
4	135	11
5	184	11
6	245	11
7	327	11
8	587	11
9	1096	11
10	3564	11
done	5000	11
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5

prune87.0ms

Filtered

51 candidates to 74 candidates (-45.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	70	4	74
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	71	8	79

Merged error: 0b

Counts

79 → 8

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ y z)) (cbrt (+ y z)))
0.5b	(cbrt z)
0.5b	(cbrt z)
0.5b	(cbrt z)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

33×	`cbrt-prod`
29×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt`
12×	`cbrt-div`
11×	`pow1`
9×	`pow1/3` `swap-sqr`
7×	`associate-r` `associate-l`
6×	`add-exp-log` `flip3-+` `flip-+` `distribute-lft-out`
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 → 86

Calls

4 calls:

12.0ms	(* (cbrt (+ y z)) (cbrt (+ y z)))
2.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series127.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (cbrt (+ y z)) (cbrt (+ y z)))
26.0ms	(cbrt z)
29.0ms	(cbrt z)
27.0ms	(cbrt z)

simplify1.4min

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	5	9
1	6	9
done	6	9
0	2	3
1	6	1
done	6	1
0	6	11
1	9	7
2	10	7
done	10	7
0	6	10
1	9	10
2	11	7
3	12	7
done	12	7
0	6	10
1	9	10
2	13	10
3	18	10
4	36	10
5	78	10
6	182	10
7	563	10
8	2238	10
done	5000	10
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	7	21
1	8	21
done	8	21
0	6	10
1	7	10
done	7	10
0	7	29
1	16	29
2	23	11
3	37	6
4	95	6
5	214	6
6	513	6
7	1724	6
done	5000	6
0	6	10
1	8	5
done	8	5
0	6	10
1	8	5
done	8	5
0	8	17
1	22	17
2	31	17
3	48	17
4	91	17
5	212	17
6	620	17
7	2445	17
done	5001	17
0	9	25
1	17	21
2	32	21
3	45	21
4	65	21
5	86	21
6	103	21
7	126	21
8	169	21
9	231	21
10	232	21
done	232	21
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	302	17
6	792	17
7	2807	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	12	17
1	30	17
2	46	17
3	78	17
4	144	17
5	303	17
6	781	17
7	2797	17
done	5000	17
0	11	17
1	22	15
2	37	15
3	49	15
4	66	15
5	86	15
6	103	15
7	126	15
8	169	15
9	231	15
10	232	15
done	232	15
0	7	17
1	12	17
2	19	17
3	34	17
4	59	17
5	100	17
6	156	17
7	324	17
8	1653	17
done	5000	17
0	5	9
1	7	9
2	8	9
done	8	9
0	7	21
1	8	21
done	8	21
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	3	5
1	5	3
done	5	1
0	5	9
1	6	9
done	6	9
0	7	23
1	12	23
2	14	13
3	23	7
4	38	7
5	64	7
6	136	7
7	351	7
8	1269	7
done	5000	7
0	6	11
1	7	11
done	7	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	2	3
1	4	1
done	4	1
0	5	9
1	6	9
done	6	9
0	6	11
1	7	11
done	7	11
0	6	11
1	7	11
done	7	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	8	11
1	10	11
done	10	11
0	6	11
1	7	4
2	8	4
done	8	4
0	6	11
1	7	4
2	8	4
done	8	4
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	15
1	9	15
done	9	15
0	7	10
1	9	10
done	9	10
0	7	7
1	11	6
done	11	6
0	7	7
1	11	6
done	11	6
0	7	16
1	11	16
2	13	16
done	13	16
0	6	10
1	8	10
done	8	10
0	6	6
1	10	4
2	13	4
done	13	4
0	6	10
1	8	10
done	8	10
0	7	10
1	9	10
done	9	10
0	5	9
1	6	9
done	6	9
0	5	9
1	6	9
done	6	9
0	6	10
1	8	10
done	8	10
0	6	10
1	8	10
done	8	10
0	5	9
1	6	9
done	6	9
0	10	13
1	26	13
2	35	13
3	52	13
4	91	13
5	203	13
6	609	13
7	2446	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1596	13
done	5000	13
0	10	13
1	26	13
2	35	13
3	52	13
4	95	13
5	213	13
6	623	13
7	2447	13
done	5001	13
0	9	13
1	15	13
2	21	13
3	36	13
4	61	13
5	102	13
6	160	13
7	328	13
8	1585	13
done	5000	13
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	28	40
1	67	37
2	156	30
3	447	22
4	1397	20
done	5001	19
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune107.0ms

Filtered

64 candidates to 98 candidates (-53.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	98	8	106

Merged error: 0b

Counts

106 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ z (+ y z))
2.4b	(/ x (/ z (+ y z)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
94×	`*-un-lft-identity`
62×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 123

Calls

2 calls:

9.0ms	(/ z (+ y z))
9.0ms	(/ x (/ z (+ y z)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ z (+ y z))
12.0ms	(/ x (/ z (+ y z)))

simplify1.3min

Counts

129 → 129

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	16	10
2	24	10
3	37	10
4	41	10
5	49	10
6	64	10
7	90	10
8	99	10
done	99	10
0	8	9
1	14	9
2	19	9
3	26	9
4	39	9
5	43	9
6	51	9
7	66	9
8	92	9
9	101	9
done	101	9
0	7	8
1	13	8
2	31	8
3	52	8
4	70	8
5	93	8
6	110	8
7	125	8
8	144	8
9	164	8
10	171	8
11	174	8
12	179	8
13	184	8
done	184	8
0	7	8
1	10	8
2	23	8
3	46	8
4	70	8
5	111	8
6	242	8
7	585	8
8	1907	8
done	5001	8
0	12	23
1	39	23
2	154	13
3	713	11
4	3907	9
done	5000	9
0	10	23
1	26	23
2	84	11
3	360	9
4	1694	9
done	5001	9
0	8	17
1	11	17
2	22	17
3	35	17
4	43	17
5	49	17
6	58	17
7	60	17
done	60	17
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	59	8
done	59	8
0	8	23
1	18	23
2	64	9
3	321	9
4	1608	9
done	5000	9
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	59	8
done	59	8
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	59	8
done	59	8
0	2	2
done	2	2
0	5	6
1	8	6
done	8	6
0	10	19
1	17	19
2	26	19
3	32	19
done	32	19
0	8	9
1	9	9
done	9	9
0	9	12
1	12	12
2	14	12
3	15	12
done	15	12
0	8	9
1	9	9
done	9	9
0	12	21
1	23	21
2	59	21
3	152	21
4	278	21
5	372	21
6	408	21
7	418	21
done	418	21
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	16
1	18	16
2	36	16
3	80	16
4	124	16
5	143	16
6	148	16
7	149	16
done	149	16
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
0	11	18
1	18	18
2	33	18
3	61	18
4	97	18
5	119	18
6	129	18
7	138	18
done	138	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	13
1	15	13
2	24	13
3	34	13
4	44	13
5	48	13
6	50	13
7	51	13
done	51	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
0	11	17
1	20	17
2	35	15
3	82	15
4	194	15
5	253	15
6	298	15
done	298	15
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	12
1	17	12
2	26	10
3	52	10
4	99	10
5	108	10
done	108	10
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	8
1	13	8
2	24	6
3	35	6
4	50	6
5	64	6
6	88	6
done	88	6
0	11	15
1	29	15
2	55	15
3	130	15
4	388	15
5	1285	15
done	5000	15
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	10	15
1	19	15
2	45	15
3	144	15
4	495	15
5	1099	15
6	1927	15
7	3433	14
done	5000	13
0	6	6
1	8	6
2	9	6
done	9	6
0	9	16
1	12	16
done	12	16
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	11	18
1	20	18
2	41	18
3	70	18
4	96	18
5	128	18
6	149	18
7	159	18
done	159	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	13
1	15	13
2	23	13
3	36	13
4	44	13
5	50	13
6	53	13
done	53	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
0	10	15
1	15	15
2	22	15
3	30	15
4	34	15
5	43	15
6	49	15
7	54	15
8	55	15
done	55	15
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
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	8	9
1	11	9
2	22	9
3	35	9
4	43	9
5	49	9
6	56	9
7	58	9
done	58	9
0	10	14
1	17	14
2	24	12
3	40	12
4	67	12
5	92	12
6	112	12
done	112	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	14	9
2	17	7
3	26	7
4	35	7
5	37	7
done	37	7
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	57	8
7	232	8
8	1490	8
done	5000	8
0	4	4
done	4	4
0	8	8
1	13	8
2	24	6
3	35	6
4	50	6
5	64	6
6	88	6
done	88	6
0	10	12
1	26	12
2	46	12
3	100	12
4	240	12
5	710	12
6	2742	12
done	5000	12
0	10	14
1	18	12
2	33	12
3	46	12
4	66	12
5	87	12
6	104	12
7	127	12
8	170	12
9	232	12
10	233	12
done	233	12
0	9	12
1	16	12
2	36	12
3	106	12
4	281	12
5	517	12
6	856	12
7	1600	11
done	5000	10
0	6	6
1	8	6
2	9	6
done	9	6
0	8	15
1	13	15
done	13	15
0	7	8
1	8	8
done	8	8
0	7	8
1	10	8
done	10	8
0	7	8
1	8	8
done	8	8
0	10	17
1	21	17
2	42	17
3	73	15
4	133	15
5	204	15
done	204	15
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	12
1	16	12
2	24	12
3	37	10
4	64	10
5	97	10
done	97	10
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	55	8
7	57	8
done	57	8
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	55	8
7	57	8
done	57	8
0	9	14
1	16	14
2	23	14
3	31	12
4	55	12
5	72	12
done	72	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	9
1	13	9
2	16	9
3	17	7
4	30	7
5	35	7
done	35	7
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	55	8
7	57	8
done	57	8
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	10	8
2	21	8
3	34	8
4	42	8
5	48	8
6	55	8
7	57	8
done	57	8
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	20	7
3	33	7
4	41	7
5	47	7
6	56	7
7	58	7
done	58	7
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	20	7
3	33	7
4	41	7
5	47	7
6	56	7
7	58	7
done	58	7
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	20	7
3	33	7
4	41	7
5	47	7
6	56	7
7	58	7
done	58	7
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	23	5
3	29	5
4	36	5
5	41	5
done	41	5
0	9	11
1	27	11
2	47	11
3	101	9
4	275	9
5	981	9
6	3657	9
done	5000	9
0	9	13
1	17	11
2	32	11
3	45	11
4	65	11
5	86	11
6	103	11
7	126	11
8	169	11
9	231	11
10	232	11
done	232	11
0	8	11
1	17	11
2	37	11
3	107	9
4	326	9
5	768	7
6	1586	7
done	5000	7
0	5	5
1	7	5
2	8	5
done	8	5
0	6	7
1	11	7
2	22	7
3	35	5
4	67	5
5	76	5
done	76	5
0	6	7
1	9	7
2	20	7
done	20	7
0	8	15
1	11	15
done	11	15
0	7	8
1	8	8
done	8	8
0	10	17
1	19	17
2	40	17
3	71	17
4	97	17
5	131	17
6	157	17
7	167	17
done	167	17
0	9	12
1	14	12
2	22	12
3	35	12
4	43	12
5	49	12
6	52	12
done	52	12
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	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	9	14
1	14	14
2	21	14
3	29	14
4	33	14
5	42	14
6	48	14
7	53	14
8	54	14
done	54	14
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	9	13
1	16	13
2	23	11
3	33	11
4	53	11
5	84	11
6	96	11
done	96	11
0	8	8
1	13	8
2	16	6
3	22	6
4	29	6
5	34	6
done	34	6
0	4	5
1	8	3
2	13	1
done	13	1
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	9	11
1	25	11
2	45	11
3	99	11
4	238	11
5	705	11
6	2713	11
done	5000	11
0	8	11
1	15	11
2	35	11
3	105	11
4	274	11
5	514	11
6	853	11
7	1611	10
done	5000	9
0	7	8
1	10	8
2	21	8
done	21	8
0	7	8
1	10	8
2	21	8
done	21	8
0	6	7
1	9	7
2	20	7
done	20	7
0	3	3
done	3	3
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	9	6
2	11	6
3	12	6
done	12	6
0	5	6
1	6	6
done	6	6
0	8	17
1	30	17
2	91	9
3	216	7
4	489	7
5	1285	7
6	3010	7
done	5000	7
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	14	17
2	30	7
3	68	7
4	149	7
5	296	7
6	576	7
7	1357	7
8	4751	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	6	7
1	7	7
done	7	7
0	7	10
1	10	10
2	12	10
3	13	10
done	13	10
0	6	7
1	7	7
done	7	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	6	6
done	6	6
0	7	12
1	10	12
done	10	12
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	6	6
done	6	6
0	7	11
1	12	11
done	12	11
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	5	6
1	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	5
1	5	5
done	5	5
0	5	5
1	8	5
done	8	5
0	4	5
1	5	5
done	5	5
0	6	11
1	9	11
done	9	11
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	4	5
1	5	5
done	5	5
0	7	9
1	21	9
2	30	9
3	47	9
4	88	9
5	200	9
6	604	9
7	2436	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1619	9
done	5000	9
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	6	7
1	10	7
2	14	7
3	17	7
4	21	7
5	25	7
6	31	7
done	31	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune107.0ms

Filtered

96 candidates to 129 candidates (-34.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	4	1	5
Picked	0	1	1
Done	1	1	2
Total	133	4	137

Merged error: 0b

Counts

137 → 4

regimes243.0ms

Accuracy

84.3% (0.5b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	75
1	25	75
done	25	75

end0.0ms

sample717.0ms

Algorithm

intervals

Results

280.0ms

9577×

body

valid

Details

sample31.0ms

simplify39.0ms

prune3.0ms

localize6.0ms

rewrite20.0ms

series18.0ms

simplify32.6s

prune73.0ms

localize5.0ms

rewrite19.0ms

series19.0ms

simplify32.5s

prune87.0ms

localize14.0ms

rewrite19.0ms

series127.0ms

simplify1.4min

prune107.0ms

localize5.0ms

rewrite25.0ms

series18.0ms

simplify1.3min

prune107.0ms

regimes243.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample717.0ms

Profiling