Details

sample40.0ms

Algorithm

intervals

Results

18.0ms

357×

body

valid

simplify181.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	24	15
2	53	15
3	87	15
4	133	15
5	179	15
6	192	15
7	209	15
8	234	15
9	252	15
done	252	15

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ y (* z 3.0))
0.2b	(* (* z 3.0) y)
5.4b	(/ t (* (* z 3.0) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log` `add-cbrt-cube`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`
1×	`associate-l` `*-commutative`

Counts

3 → 62

Calls

3 calls:

5.0ms	(/ y (* z 3.0))
6.0ms	(* (* z 3.0) y)
13.0ms	(/ t (* (* z 3.0) y))

series15.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ y (* z 3.0))
4.0ms	(* (* z 3.0) y)
7.0ms	(/ t (* (* z 3.0) y))

simplify53.1s

Counts

71 → 71

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	42	11
3	86	11
4	168	11
5	284	11
6	435	11
7	557	11
8	573	11
done	573	11
0	10	10
1	19	10
2	35	10
3	70	10
4	149	10
5	256	10
6	395	10
7	555	10
8	580	10
done	580	10
0	9	9
1	18	9
2	37	9
3	68	9
4	130	9
5	219	9
6	358	9
7	538	9
8	583	9
done	583	9
0	8	8
1	17	8
2	41	8
3	83	8
4	149	8
5	240	8
6	359	8
7	510	8
8	632	8
9	648	8
done	648	8
0	8	8
1	14	8
2	27	8
3	40	8
4	41	8
done	41	8
0	15	23
1	36	23
2	184	15
3	1236	15
done	5000	15
0	13	23
1	38	23
2	178	13
3	1220	13
done	5001	13
0	11	23
1	33	23
2	180	11
3	1447	9
done	5001	9
0	9	17
1	15	17
2	28	17
3	39	17
4	40	17
done	40	17
0	8	8
1	14	8
2	27	8
3	40	8
4	41	8
done	41	8
0	9	23
1	22	23
2	92	9
3	641	9
done	5000	9
0	8	8
1	14	8
2	27	8
3	40	8
4	41	8
done	41	8
0	8	8
1	14	8
2	27	8
3	40	8
4	41	8
done	41	8
0	2	2
done	2	2
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	7	9
1	15	9
2	28	9
3	40	9
4	42	9
done	42	9
0	4	4
done	4	4
0	6	6
1	9	6
2	11	6
done	11	6
0	4	4
done	4	4
0	5	5
1	10	5
2	12	5
done	12	5
0	3	3
done	3	3
0	7	7
1	15	7
2	28	7
3	39	7
4	40	7
done	40	7
0	7	7
1	13	7
2	29	7
3	48	7
4	72	7
5	85	7
done	85	7
0	5	5
1	8	5
2	10	5
done	10	5
0	8	8
1	14	8
2	30	8
3	49	8
4	73	8
5	86	8
done	86	8
0	8	8
1	14	8
2	30	8
3	49	8
4	73	8
5	86	8
done	86	8
0	7	7
1	13	7
2	29	7
3	48	7
4	72	7
5	85	7
done	85	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune155.0ms

Filtered

57 candidates to 71 candidates (-24.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	62	9	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	9	72

Merged error: 0.0b

Counts

72 → 9

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
4.9b	(/ (/ t (* z 3.0)) y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
23×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
22×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`cbrt-undiv` `div-exp`
7×	`div-inv`
5×	`associate-/r*`
3×	`pow1` `frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `add-log-exp`
1×	`associate-/l/`

Counts

3 → 90

Calls

3 calls:

5.0ms	(/ y (* z 3.0))
5.0ms	(/ t (* z 3.0))
7.0ms	(/ (/ t (* z 3.0)) y)

series15.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ y (* z 3.0))
3.0ms	(/ t (* z 3.0))
8.0ms	(/ (/ t (* z 3.0)) y)

simplify54.8s

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	20	11
2	46	11
3	109	11
4	221	11
5	310	11
6	426	11
7	512	11
8	523	11
done	523	11
0	10	10
1	20	10
2	39	10
3	83	10
4	170	10
5	247	10
6	371	10
7	516	10
8	546	10
done	546	10
0	9	9
1	17	9
2	32	9
3	70	9
4	143	9
5	222	9
6	310	9
7	427	9
8	514	9
9	525	9
done	525	9
0	8	8
1	16	8
2	36	8
3	80	8
4	156	8
5	248	8
6	328	8
7	426	8
8	521	8
9	606	8
10	613	8
done	613	8
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	15	23
1	35	23
2	170	15
3	1106	15
done	5001	15
0	13	23
1	37	23
2	184	13
3	1277	11
done	5000	11
0	11	23
1	29	23
2	122	11
3	807	9
done	5000	9
0	9	17
1	14	17
2	24	17
3	39	17
4	40	17
done	40	17
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	9	23
1	21	23
2	68	9
3	356	9
4	3044	9
done	5000	9
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	6	6
1	11	6
2	19	6
3	21	6
done	21	6
0	2	2
done	2	2
0	11	19
1	20	19
2	31	19
3	37	19
done	37	19
0	9	9
1	12	9
2	14	9
done	14	9
0	10	16
1	15	16
2	19	16
3	20	16
done	20	16
0	9	9
1	12	9
2	14	9
done	14	9
0	9	15
1	16	13
2	24	13
3	29	13
done	29	13
0	8	8
1	11	8
2	13	8
done	13	8
0	10	12
1	15	12
2	17	12
done	17	12
0	9	9
1	12	9
2	14	9
done	14	9
0	9	9
1	12	9
2	14	9
done	14	9
0	9	9
1	12	9
2	14	9
done	14	9
0	8	8
1	13	6
2	17	6
done	17	6
0	8	8
1	11	8
2	13	8
done	13	8
0	9	13
1	15	13
2	31	13
3	67	13
4	106	13
5	116	13
done	116	13
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	12	10
2	23	10
3	36	10
4	46	10
done	46	10
0	7	7
1	9	7
2	12	7
done	12	7
0	7	9
1	13	7
2	28	7
3	41	7
4	56	7
5	61	7
done	61	7
0	6	6
1	8	6
2	11	6
done	11	6
0	8	10
1	12	10
2	18	10
3	24	10
done	24	10
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	9	7
2	12	7
done	12	7
0	6	6
1	10	4
2	17	4
done	17	4
0	6	6
1	8	6
2	11	6
done	11	6
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	10	6
2	13	6
done	13	6
0	6	6
1	8	6
2	11	6
done	11	6
0	4	5
1	8	3
2	15	3
done	15	3
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	9	7
done	9	7
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	4	4
1	6	4
done	6	4
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	2	3
1	4	1
done	4	1
0	7	7
1	12	7
2	22	7
3	37	7
4	38	7
done	38	7
0	5	7
1	7	7
done	7	7
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	4	4
done	4	4
0	8	8
1	15	8
2	25	8
3	40	8
4	41	8
done	41	8
0	3	3
1	5	1
done	5	1
0	7	7
1	14	7
2	24	7
3	39	7
4	40	7
done	40	7
0	3	3
1	5	3
done	5	3
0	7	7
1	12	7
2	23	7
3	38	7
4	46	7
5	62	7
6	73	7
7	83	7
done	83	7
0	9	11
1	16	11
2	31	11
3	63	11
4	85	11
5	90	11
done	90	11
0	8	8
1	13	8
2	23	8
3	38	8
4	39	8
done	39	8
0	7	7
1	14	5
2	28	5
3	56	5
done	56	5
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
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	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	7	7
1	12	7
2	23	7
3	38	7
4	46	7
5	62	7
6	73	7
7	83	7
done	83	7
0	7	7
1	14	7
2	25	5
3	40	5
4	72	5
5	133	5
6	157	5
done	157	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune171.0ms

Filtered

84 candidates to 99 candidates (-17.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	98	10	108

Merged error: 0b

Counts

108 → 10

localize13.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ y (* z 3.0))
0.3b	(* (/ 1 z) (/ t 3.0))
4.9b	(/ (* (/ 1 z) (/ t 3.0)) y)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-exp-log`
38×	`add-sqr-sqrt` `add-cbrt-cube`
31×	`times-frac`
27×	`div-exp`
23×	`*-un-lft-identity`
21×	`add-cube-cbrt`
17×	`prod-exp`
15×	`cbrt-undiv`
13×	`associate-r` `associate-l`
9×	`cbrt-unprod`
6×	`unswap-sqr`
5×	`pow1`
4×	`rec-exp` `1-exp` `associate-/r` `div-inv` `associate-/l`
3×	`associate-/l/` `add-log-exp`
2×	`frac-times` `frac-2neg` `associate-r/` `associate-l/` `clear-num`
1×	`pow-prod-down` `*-commutative`

Counts

3 → 111

Calls

3 calls:

5.0ms	(/ y (* z 3.0))
18.0ms	(* (/ 1 z) (/ t 3.0))
10.0ms	(/ (* (/ 1 z) (/ t 3.0)) y)

series15.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ y (* z 3.0))
4.0ms	(* (/ 1 z) (/ t 3.0))
8.0ms	(/ (* (/ 1 z) (/ t 3.0)) y)

simplify1.4min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	21	12
2	43	11
3	114	11
4	243	11
5	309	11
6	439	11
7	520	11
8	537	11
9	538	11
done	538	11
0	11	11
1	19	11
2	35	10
3	85	10
4	208	10
5	286	10
6	363	10
7	508	10
8	589	10
9	590	10
done	590	10
0	13	13
1	26	12
2	72	11
3	233	11
4	783	11
5	1159	11
6	1217	11
done	1217	11
0	12	12
1	24	11
2	61	10
3	190	10
4	622	10
5	956	10
6	1064	10
7	1069	10
done	1069	10
0	14	14
1	29	13
2	74	12
3	243	11
4	787	11
5	1157	11
6	1213	11
done	1213	11
0	13	13
1	27	12
2	62	11
3	194	10
4	617	10
5	950	10
6	1056	10
7	1061	10
done	1061	10
0	13	13
1	28	12
2	59	11
3	185	11
4	554	11
5	951	11
6	1028	11
7	1030	11
done	1030	11
0	12	12
1	26	11
2	49	10
3	141	10
4	431	10
5	908	10
6	1186	10
7	1225	10
done	1225	10
0	11	11
1	23	11
2	48	9
3	133	9
4	343	9
5	1006	9
6	1445	9
7	1624	9
done	1624	9
0	10	10
1	22	10
2	56	8
3	203	8
4	549	8
5	1293	8
6	1933	8
7	2168	8
8	2174	8
done	2174	8
0	10	10
1	19	10
2	40	8
3	138	8
4	310	8
5	564	8
6	838	8
7	1420	8
8	3475	8
done	5000	8
0	19	29
1	51	25
2	224	15
3	1896	13
done	5000	13
0	17	29
1	47	25
2	193	13
3	1254	13
done	5000	13
0	17	29
1	48	29
2	227	17
3	1624	15
done	5000	15
0	15	29
1	44	29
2	196	15
3	1171	15
done	5000	15
0	13	29
1	38	29
2	200	11
3	1455	9
done	5000	9
0	11	21
1	20	21
2	41	17
3	137	17
4	304	17
5	498	17
6	577	17
done	577	17
0	10	10
1	19	10
2	40	8
3	136	8
4	295	8
5	495	8
6	573	8
done	573	8
0	11	29
1	27	29
2	97	9
3	572	9
done	5000	9
0	10	10
1	19	10
2	40	8
3	136	8
4	295	8
5	495	8
6	573	8
done	573	8
0	10	10
1	19	10
2	40	8
3	136	8
4	295	8
5	495	8
6	573	8
done	573	8
0	8	8
1	19	8
2	43	6
3	114	6
4	225	6
5	348	6
6	437	6
7	456	6
8	458	6
done	458	6
0	2	2
done	2	2
0	7	9
1	13	9
2	19	9
3	25	9
done	25	9
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	10	6
2	13	6
done	13	6
0	6	6
1	8	6
2	11	6
done	11	6
0	4	5
1	8	3
2	15	3
done	15	3
0	5	5
1	7	5
2	10	5
done	10	5
0	3	3
1	5	3
done	5	3
0	9	9
1	18	9
2	37	7
3	107	7
4	182	7
5	308	7
6	452	7
7	453	7
done	453	7
0	11	13
1	25	13
2	62	11
3	240	11
4	648	11
5	1096	11
6	1244	11
done	1244	11
0	10	10
1	19	10
2	40	8
3	136	8
4	296	8
5	491	8
6	563	8
done	563	8
0	8	9
1	17	7
2	42	5
3	149	5
4	233	5
5	333	5
6	387	5
done	387	5
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	5	5
1	9	5
2	15	5
done	15	5
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	9	9
1	14	9
2	22	8
3	36	8
4	47	8
5	57	8
6	74	8
7	96	8
8	103	8
done	103	8
0	8	8
1	12	8
2	19	7
3	32	7
4	47	7
5	52	7
6	62	7
7	79	7
8	101	7
9	108	7
done	108	7
0	10	10
1	19	9
2	44	8
3	105	8
4	259	8
5	358	8
6	376	8
done	376	8
0	9	9
1	17	8
2	38	7
3	88	7
4	220	7
5	314	7
6	324	7
done	324	7
0	11	11
1	22	10
2	45	9
3	114	8
4	264	8
5	358	8
6	371	8
done	371	8
0	10	10
1	20	9
2	38	8
3	91	7
4	220	7
5	314	7
6	326	7
done	326	7
0	10	10
1	21	9
2	36	8
3	82	8
4	177	8
5	299	8
6	308	8
done	308	8
0	9	9
1	19	8
2	31	7
3	66	7
4	149	7
5	272	7
6	360	7
7	363	7
done	363	7
0	8	8
1	18	8
2	38	6
3	99	6
4	199	6
5	387	6
6	533	6
7	596	6
done	596	6
0	8	8
1	17	8
2	32	6
3	89	6
4	170	6
5	353	6
6	945	6
7	3850	6
done	5000	6
0	15	23
1	39	19
2	139	11
3	840	9
4	4477	9
done	5000	9
0	13	23
1	35	19
2	106	9
3	468	9
4	2175	9
done	5000	9
0	13	23
1	36	23
2	138	13
3	621	11
4	3212	9
done	5000	9
0	11	23
1	32	23
2	105	11
3	366	11
4	1499	7
done	5001	7
0	9	17
1	16	17
2	25	13
3	64	13
4	99	13
5	132	13
6	146	13
done	146	13
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	9	23
1	26	23
2	108	7
3	509	7
4	1843	7
done	5000	7
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	8	8
1	15	8
2	24	6
3	63	6
4	91	6
5	122	6
6	136	6
done	136	6
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	10
2	18	10
3	22	10
4	23	10
done	23	10
0	10	10
1	15	9
2	18	9
3	20	7
4	34	7
done	34	7
0	10	10
1	15	9
2	18	9
3	20	7
4	34	7
done	34	7
0	11	11
1	18	10
2	27	10
3	44	8
4	97	8
5	138	8
6	142	8
done	142	8
0	11	11
1	18	10
2	27	10
3	44	8
4	97	8
5	138	8
6	142	8
done	142	8
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	9	9
1	14	9
2	17	7
3	30	7
4	35	7
done	35	7
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	167	8
done	167	8
0	10	10
1	17	10
2	26	8
3	65	8
4	116	8
5	160	8
6	167	8
done	167	8
0	9	13
1	16	13
2	24	11
3	52	11
4	67	11
done	67	11
0	8	8
1	13	8
2	16	6
3	29	6
4	36	6
done	36	6
0	11	15
1	24	15
2	65	13
3	212	13
4	506	13
5	797	13
6	815	13
done	815	13
0	10	12
1	19	12
2	37	10
3	114	10
4	243	10
5	311	10
6	328	10
done	328	10
0	8	11
1	17	9
2	43	7
3	168	7
4	243	7
5	249	7
done	249	7
0	10	12
1	19	12
2	38	10
3	112	10
4	248	10
5	417	10
6	432	10
done	432	10
0	9	9
1	16	9
2	25	7
3	64	7
4	115	7
5	158	7
6	166	7
done	166	7
0	7	8
1	14	6
2	27	4
3	71	4
4	95	4
5	99	4
done	99	4
0	8	11
1	17	11
2	35	9
3	80	9
4	128	9
done	128	9
0	7	8
1	14	8
2	23	6
3	42	6
4	51	6
done	51	6
0	5	7
1	12	3
2	16	3
3	23	3
done	23	3
0	4	5
1	9	3
done	9	3
0	5	5
1	10	5
2	13	3
done	13	3
0	8	8
1	13	8
2	16	8
3	20	8
4	21	8
done	21	8
0	8	8
1	13	8
2	16	8
3	20	8
4	21	8
done	21	8
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	8	8
1	15	7
2	24	7
3	41	5
4	71	5
5	101	5
6	118	5
7	119	5
done	119	5
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	9	9
1	16	8
2	25	8
3	42	6
4	72	6
5	101	6
6	116	6
7	117	6
done	117	6
0	8	8
1	15	7
2	24	7
3	41	5
4	71	5
5	101	5
6	118	5
7	119	5
done	119	5
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	129	6
6	144	6
done	144	6
0	8	8
1	15	8
2	24	6
3	63	6
4	98	6
5	129	6
6	144	6
done	144	6
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	7	7
1	14	7
2	23	5
3	62	5
4	90	5
5	123	5
6	137	5
done	137	5
0	5	5
1	10	5
2	13	3
done	13	3
0	5	5
1	10	3
2	20	3
3	22	3
4	25	3
5	27	3
done	27	3
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5

prune184.0ms

Filtered

90 candidates to 120 candidates (-33.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	120	10	130

Merged error: 0b

Counts

130 → 10

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(* z (* 3.0 y))
0.2b	(/ y (* z 3.0))
5.4b	(/ t (* z (* 3.0 y)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log` `add-cbrt-cube`
8×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-l` `pow-prod-down` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`
1×	`associate-r` `*-commutative`

Counts

3 → 62

Calls

3 calls:

6.0ms	(* z (* 3.0 y))
5.0ms	(/ y (* z 3.0))
7.0ms	(/ t (* z (* 3.0 y)))

series15.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(* z (* 3.0 y))
4.0ms	(/ y (* z 3.0))
7.0ms	(/ t (* z (* 3.0 y)))

simplify56.4s

Counts

71 → 71

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	19	11
2	43	11
3	85	11
4	157	11
5	280	11
6	496	11
7	617	11
8	631	11
done	631	11
0	10	10
1	19	10
2	35	10
3	69	10
4	144	10
5	252	10
6	459	10
7	588	10
8	606	10
done	606	10
0	9	9
1	18	9
2	37	9
3	69	9
4	125	9
5	207	9
6	343	9
7	614	9
8	662	9
9	664	9
done	664	9
0	8	8
1	17	8
2	42	8
3	82	8
4	138	8
5	228	8
6	357	8
7	567	8
8	687	8
9	702	8
done	702	8
0	8	8
1	14	8
2	28	8
3	36	8
4	37	8
done	37	8
0	15	23
1	36	23
2	173	15
3	1180	15
done	5001	15
0	13	23
1	38	23
2	173	13
3	1215	13
done	5000	13
0	11	23
1	33	23
2	181	11
3	1445	9
done	5000	9
0	9	17
1	15	17
2	29	17
3	39	17
4	41	17
done	41	17
0	8	8
1	14	8
2	28	8
3	36	8
4	37	8
done	37	8
0	9	23
1	22	23
2	93	9
3	685	9
done	5000	9
0	8	8
1	14	8
2	28	8
3	36	8
4	37	8
done	37	8
0	8	8
1	14	8
2	28	8
3	36	8
4	37	8
done	37	8
0	2	2
done	2	2
0	6	6
1	14	6
2	35	6
3	53	6
4	54	6
done	54	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	6
1	9	6
2	11	6
done	11	6
0	4	4
done	4	4
0	6	6
1	9	6
2	11	6
done	11	6
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	7
1	15	7
2	29	7
3	39	7
4	41	7
done	41	7
0	7	7
1	13	7
2	28	7
3	52	7
4	75	7
5	82	7
6	86	7
done	86	7
0	3	3
done	3	3
0	8	8
1	14	8
2	29	8
3	53	8
4	76	8
5	83	8
6	87	8
done	87	8
0	8	8
1	14	8
2	29	8
3	53	8
4	76	8
5	83	8
6	87	8
done	87	8
0	7	7
1	13	7
2	28	7
3	52	7
4	75	7
5	82	7
6	86	7
done	86	7
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
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	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	7	7
1	13	7
2	30	7
3	55	7
4	77	7
5	78	7
done	78	7
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune96.0ms

Filtered

57 candidates to 71 candidates (-24.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	1	6	7
Picked	1	0	1
Done	1	1	2
Total	73	8	81

Merged error: 0b

Counts

81 → 8

regimes493.0ms

Accuracy

78% (0.4b remaining)

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

bsearch46.0ms

Steps

Iters	Range		Point
6	4.135158157473059e+56	5.2263185396471515e+57	4.245840233808495e+56
8	-2.2552402733300023e-20	-1.8748656353727637e-23	-1.8320707830957747e-21

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	57
1	37	57
done	37	57

end0.0ms

sample1.2s

Algorithm

intervals

Results

586.0ms

11207×

body

valid

Details

sample40.0ms

simplify181.0ms

prune4.0ms

localize10.0ms

rewrite26.0ms

series15.0ms

simplify53.1s

prune155.0ms

localize10.0ms

rewrite20.0ms

series15.0ms

simplify54.8s

prune171.0ms

localize13.0ms

rewrite38.0ms

series15.0ms

simplify1.4min

prune184.0ms

localize11.0ms

rewrite19.0ms

series15.0ms

simplify56.4s

prune96.0ms

regimes493.0ms

bsearch46.0ms

simplify3.0ms

end0.0ms

sample1.2s

Profiling