Details

sample40.0ms

Algorithm

intervals

Results

21.0ms

291×

body

valid

simplify283.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	24	13
2	45	13
3	70	13
4	94	13
5	103	13
6	112	13
7	143	13
8	216	13
9	311	13
10	313	13
done	313	13

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* y z) 2.0)
0.0b	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.0b	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
7×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`pow1` `times-frac` `associate-/r*`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `diff-log` `div-exp` `sum-log`
1×	`+-commutative` `associate-+l-` `flip3--` `frac-2neg` `flip3-+` `associate-l/` `prod-exp` `clear-num` `frac-sub` `flip--` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `associate-/l`

Counts

3 → 50

Calls

3 calls:

6.0ms	(/ (* y z) 2.0)
10.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
7.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series29.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(/ (* y z) 2.0)
14.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
10.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify1.1min

Counts

59 → 59

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	23	12
2	38	12
3	67	12
4	134	12
5	312	12
6	1210	12
done	5001	12
0	12	12
1	20	12
2	32	12
3	48	12
4	63	12
5	67	12
done	67	12
0	12	12
1	23	12
2	41	12
3	69	12
4	124	12
5	258	12
6	972	12
done	5000	12
0	13	25
1	21	25
2	33	25
3	49	25
4	64	25
5	68	25
done	68	25
0	12	12
1	20	12
2	32	12
3	48	12
4	63	12
5	67	12
done	67	12
0	13	35
1	22	35
2	48	13
3	155	13
4	721	13
5	4126	13
done	5000	13
0	12	12
1	20	12
2	32	12
3	48	12
4	63	12
5	67	12
done	67	12
0	12	12
1	20	12
2	32	12
3	48	12
4	63	12
5	67	12
done	67	12
0	11	11
1	21	11
2	44	11
3	71	11
4	75	11
done	75	11
0	3	3
1	4	3
done	4	3
0	14	15
1	41	15
2	146	15
3	598	15
4	2752	15
done	5000	15
0	15	35
1	43	29
2	139	29
3	423	29
4	1085	29
5	2070	29
6	2772	29
7	2904	29
8	2908	29
done	2908	29
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	13	23
1	35	23
2	98	23
3	289	23
4	863	23
5	1927	23
6	3098	23
done	5001	23
0	11	11
1	18	11
2	25	11
3	30	11
4	33	11
5	34	11
done	34	11
0	6	6
1	11	6
2	22	6
3	35	6
4	44	6
5	47	6
done	47	6
0	16	16
1	29	15
2	53	14
3	98	14
4	207	14
5	560	14
6	2678	14
done	5000	14
0	15	15
1	29	14
2	56	14
3	108	14
4	211	14
5	498	14
6	2184	14
done	5000	14
0	14	14
1	25	14
2	46	14
3	71	14
4	95	14
5	104	14
6	113	14
7	144	14
8	217	14
9	312	14
10	314	14
done	314	14
0	14	14
1	28	14
2	57	14
3	108	14
4	173	14
5	337	14
6	1295	14
done	5000	14
0	15	29
1	26	29
2	47	29
3	72	29
4	96	29
5	105	29
6	114	29
7	145	29
8	218	29
9	313	29
10	315	29
done	315	29
0	14	14
1	25	14
2	46	14
3	71	14
4	95	14
5	104	14
6	113	14
7	144	14
8	217	14
9	312	14
10	314	14
done	314	14
0	15	41
1	39	41
2	104	15
3	424	15
4	2982	15
done	5000	15
0	14	14
1	25	14
2	46	14
3	71	14
4	95	14
5	104	14
6	113	14
7	144	14
8	217	14
9	312	14
10	314	14
done	314	14
0	14	14
1	25	14
2	46	14
3	71	14
4	95	14
5	104	14
6	113	14
7	144	14
8	217	14
9	312	14
10	314	14
done	314	14
0	16	17
1	38	17
2	71	17
3	194	17
4	802	17
5	4383	17
done	5000	17
0	17	41
1	33	39
2	75	39
3	216	29
4	839	29
5	3190	29
done	5000	29
0	15	27
1	28	27
2	61	27
3	172	27
4	698	27
5	2992	27
done	5000	27
0	13	13
1	25	13
2	47	13
3	79	13
4	103	13
5	115	13
6	145	13
7	222	13
8	315	13
9	323	13
10	327	13
11	328	13
done	328	13
0	13	13
1	24	13
2	45	13
3	70	13
4	94	13
5	103	13
6	112	13
7	143	13
8	216	13
9	311	13
10	313	13
done	313	13
0	8	8
1	14	8
2	26	7
3	39	7
4	48	7
5	51	7
done	51	7
0	8	8
1	14	8
2	26	7
3	39	7
4	48	7
5	51	7
done	51	7
0	7	7
1	12	7
2	17	7
3	20	7
4	21	7
done	21	7
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	3	3
1	4	3
done	4	3
0	9	9
1	16	9
2	33	9
3	58	9
4	60	9
done	60	9
0	9	9
1	16	9
2	33	9
3	58	9
4	60	9
done	60	9
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11
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

prune97.0ms

Filtered

47 candidates to 59 candidates (-25.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	3	60

Merged error: 0b

Counts

60 → 3

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
0.0b	(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
0.3b	(/ y (/ 2.0 z))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
47×	`*-un-lft-identity`
45×	`add-sqr-sqrt` `add-cube-cbrt`
13×	`associate-/r*`
10×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`pow1` `cbrt-undiv` `div-exp` `associate-/l*`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log`
1×	`+-commutative` `associate-+l-` `flip3--` `frac-2neg` `flip3-+` `associate-*l/` `clear-num` `associate-/r/` `frac-sub` `flip--` `flip-+` `distribute-lft-out`

Counts

3 → 99

Calls

3 calls:

18.0ms	(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
13.0ms	(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
6.0ms	(/ y (/ 2.0 z))

series27.0ms

Counts

3 → 9

Calls

3 calls:

13.0ms	(+ (- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z))) t)
11.0ms	(- (* (/ 1.0 8.0) x) (/ y (/ 2.0 z)))
4.0ms	(/ y (/ 2.0 z))

simplify1.1min

Counts

108 → 108

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	13	13
1	22	12
2	38	12
3	69	12
4	144	12
5	400	12
6	1940	12
done	5001	12
0	12	12
1	19	12
2	32	12
3	43	12
4	54	12
5	60	12
6	66	12
7	69	12
done	69	12
0	12	12
1	22	12
2	43	12
3	72	12
4	138	12
5	389	12
6	1819	12
done	5000	12
0	13	25
1	20	25
2	33	25
3	44	25
4	55	25
5	61	25
6	67	25
7	70	25
done	70	25
0	12	12
1	19	12
2	32	12
3	43	12
4	54	12
5	60	12
6	66	12
7	69	12
done	69	12
0	13	35
1	21	35
2	48	13
3	158	13
4	751	13
5	4063	13
done	5000	13
0	12	12
1	19	12
2	32	12
3	43	12
4	54	12
5	60	12
6	66	12
7	69	12
done	69	12
0	12	12
1	19	12
2	32	12
3	43	12
4	54	12
5	60	12
6	66	12
7	69	12
done	69	12
0	11	11
1	20	11
2	41	11
3	59	11
4	79	11
5	87	11
6	89	11
done	89	11
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	14	15
1	40	15
2	146	15
3	598	15
4	2474	15
done	5001	15
0	15	35
1	42	29
2	135	29
3	418	29
4	985	29
5	1880	29
6	2661	29
7	2822	29
8	2831	29
done	2831	29
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	13	23
1	34	23
2	95	23
3	279	23
4	760	23
5	1579	23
6	2722	23
7	4741	23
done	5000	23
0	11	11
1	17	11
2	23	11
3	26	11
4	30	11
5	33	11
6	34	11
done	34	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	16	16
1	28	15
2	53	14
3	100	14
4	231	14
5	777	14
6	4602	14
done	5000	14
0	15	15
1	28	14
2	58	14
3	111	14
4	236	14
5	746	14
6	4208	14
done	5000	14
0	14	14
1	24	14
2	46	14
3	66	14
4	86	14
5	97	14
6	112	14
7	146	14
8	219	14
9	314	14
10	316	14
done	316	14
0	14	14
1	27	14
2	57	14
3	108	14
4	174	14
5	415	14
6	1869	14
done	5001	14
0	15	29
1	25	29
2	47	29
3	67	29
4	87	29
5	98	29
6	113	29
7	147	29
8	220	29
9	315	29
10	317	29
done	317	29
0	14	14
1	24	14
2	46	14
3	66	14
4	86	14
5	97	14
6	112	14
7	146	14
8	219	14
9	314	14
10	316	14
done	316	14
0	15	41
1	38	41
2	104	15
3	427	15
4	3090	15
done	5001	15
0	14	14
1	24	14
2	46	14
3	66	14
4	86	14
5	97	14
6	112	14
7	146	14
8	219	14
9	314	14
10	316	14
done	316	14
0	14	14
1	24	14
2	46	14
3	66	14
4	86	14
5	97	14
6	112	14
7	146	14
8	219	14
9	314	14
10	316	14
done	316	14
0	16	17
1	37	17
2	71	17
3	197	17
4	836	17
5	4321	17
done	5000	17
0	17	41
1	32	39
2	75	39
3	219	29
4	855	29
5	2993	29
done	5000	29
0	15	27
1	27	27
2	61	27
3	171	27
4	703	27
5	2750	27
done	5000	27
0	13	13
1	24	13
2	47	13
3	74	13
4	94	13
5	108	13
6	144	13
7	221	13
8	312	13
9	320	13
10	326	13
11	327	13
done	327	13
0	13	13
1	23	13
2	45	13
3	65	13
4	85	13
5	96	13
6	111	13
7	145	13
8	218	13
9	313	13
10	315	13
done	315	13
0	8	8
1	13	8
2	23	7
3	33	7
4	39	7
5	44	7
6	50	7
7	53	7
done	53	7
0	8	8
1	13	8
2	23	7
3	33	7
4	39	7
5	44	7
6	50	7
7	53	7
done	53	7
0	7	7
1	11	7
2	15	7
3	16	7
4	18	7
5	20	7
6	21	7
done	21	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	3	3
1	4	3
done	4	3
0	9	9
1	16	9
2	33	9
3	58	9
4	60	9
done	60	9
0	9	9
1	16	9
2	33	9
3	58	9
4	60	9
done	60	9
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11
0	11	11
1	21	11
2	44	11
3	75	11
4	83	11
5	92	11
6	111	11
7	132	11
8	155	11
9	169	11
10	206	11
11	282	11
done	282	11

prune161.0ms

Filtered

89 candidates to 108 candidates (-21.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	108	3	111

Merged error: 0b

Counts

111 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (/ 1.0 8.0) x) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
0.3b	(* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))
0.4b	(/ y (sqrt 2.0))
0.4b	(/ z (sqrt 2.0))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

90×	`add-sqr-sqrt`
84×	`times-frac`
60×	`add-cube-cbrt` `*-un-lft-identity`
48×	`sqrt-prod`
22×	`associate-r` `associate-l`
20×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
9×	`unswap-sqr`
6×	`pow1` `cbrt-undiv` `div-exp` `associate-/l*` `add-log-exp`
5×	`associate-*l/`
4×	`prod-exp` `cbrt-unprod` `div-inv`
3×	`frac-sub`
2×	`frac-times` `frac-2neg` `associate-*r/` `clear-num`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `flip--`

Counts

4 → 166

Calls

4 calls:

6.0ms	(- (* (/ 1.0 8.0) x) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
22.0ms	(* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))
5.0ms	(/ y (sqrt 2.0))
5.0ms	(/ z (sqrt 2.0))

series53.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(- (* (/ 1.0 8.0) x) (* (/ y (sqrt 2.0)) (/ z (sqrt 2.0))))
15.0ms	(* (/ y (sqrt 2.0)) (/ z (sqrt 2.0)))
6.0ms	(/ y (sqrt 2.0))
6.0ms	(/ z (sqrt 2.0))

simplify1.2min

Counts

178 → 178

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	7	9
1	12	9
2	20	9
3	32	9
4	44	5
5	47	5
done	47	5
0	10	13
1	18	13
2	40	13
3	86	13
4	156	12
5	216	11
6	281	11
7	318	11
8	319	11
done	319	11
0	10	12
1	17	12
2	34	12
3	71	12
4	135	12
5	199	11
6	261	11
7	298	11
8	299	11
done	299	11
0	10	12
1	17	12
2	31	12
3	65	12
4	126	12
5	223	11
6	296	11
7	340	11
8	341	11
done	341	11
0	9	11
1	15	11
2	26	11
3	52	11
4	104	11
5	189	11
6	272	11
7	326	11
8	345	11
done	345	11
0	8	10
1	16	10
2	32	10
3	64	10
4	134	6
5	224	6
6	322	6
7	419	6
8	471	6
9	496	6
done	496	6
0	8	10
1	15	10
2	29	10
3	51	10
4	96	6
5	187	6
6	424	6
7	1657	6
done	5001	6
0	13	29
1	35	21
2	152	17
3	936	13
done	5000	13
0	13	29
1	34	25
2	129	15
3	614	15
4	3386	13
done	5000	13
0	13	29
1	34	25
2	130	15
3	607	15
4	3264	13
done	5000	13
0	11	29
1	30	29
2	103	13
3	387	13
4	1916	7
done	5001	7
0	9	21
1	14	21
2	22	21
3	34	21
4	46	13
5	49	13
done	49	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	9	29
1	24	29
2	101	11
3	430	11
4	1624	7
done	5001	7
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	3	3
1	4	3
done	4	3
0	3	5
done	3	1
0	9	11
1	10	11
done	10	11
0	9	11
1	10	11
done	10	11
0	10	12
1	13	12
2	16	12
3	20	12
4	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	20	12
4	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	20	12
4	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	20	12
4	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	18	12
4	20	12
5	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	18	12
4	20	12
5	21	12
done	21	12
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	12
1	13	12
2	16	12
3	18	12
4	20	12
5	21	12
done	21	12
0	10	12
1	13	12
2	16	12
3	18	12
4	20	12
5	21	12
done	21	12
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	10	13
1	15	13
2	23	13
3	35	13
4	47	8
5	51	8
done	51	8
0	9	16
1	14	16
2	22	16
3	30	16
4	39	16
5	45	16
6	50	16
7	51	16
done	51	16
0	8	10
1	11	10
2	14	10
3	16	10
4	18	10
5	19	10
done	19	10
0	11	18
1	22	18
2	63	18
3	155	18
4	358	18
5	613	18
6	684	18
7	695	18
done	695	18
0	12	17
1	20	14
2	38	14
3	81	14
4	156	14
5	223	14
6	238	14
7	244	14
done	244	14
0	10	14
1	17	14
2	35	14
3	78	14
4	153	14
5	224	14
6	242	14
7	248	14
done	248	14
0	11	13
1	20	12
2	38	12
3	81	10
4	190	10
5	276	10
6	299	10
done	299	10
0	10	14
1	17	14
2	35	14
3	78	14
4	153	14
5	224	14
6	242	14
7	248	14
done	248	14
0	10	12
1	19	10
2	45	10
3	132	10
4	238	10
5	276	10
6	277	10
done	277	10
0	10	15
1	17	15
2	36	15
3	77	15
4	143	15
5	203	15
6	212	15
done	212	15
0	11	14
1	17	11
2	26	11
3	43	11
4	64	11
5	76	11
6	78	11
done	78	11
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	10	10
1	17	9
2	26	9
3	43	7
4	98	7
5	149	7
6	157	7
done	157	7
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	9	9
1	16	7
2	29	7
3	61	7
4	90	7
5	96	7
done	96	7
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	10	13
1	18	10
2	27	8
3	65	8
4	81	8
5	102	8
6	128	8
7	131	8
done	131	8
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	8	9
1	15	8
2	23	6
3	61	4
4	160	4
5	202	4
6	211	4
7	212	4
done	212	4
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	8	10
1	11	10
2	14	10
3	18	10
4	19	10
done	19	10
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	10	11
1	15	11
2	24	11
3	41	11
4	62	11
5	74	11
6	76	11
done	76	11
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	10	11
1	15	11
2	24	11
3	41	11
4	62	11
5	74	11
6	76	11
done	76	11
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	9	11
1	14	11
2	23	11
3	40	11
4	61	11
5	73	11
6	75	11
done	75	11
0	8	10
1	13	10
2	21	10
3	33	10
4	45	6
5	48	6
done	48	6
0	8	10
1	13	10
2	22	10
3	39	10
4	60	10
5	72	10
6	74	10
done	74	10
0	9	10
1	14	10
2	23	10
3	40	10
4	61	10
5	73	10
6	75	10
done	75	10
0	8	10
1	13	10
2	22	10
3	39	10
4	60	10
5	72	10
6	74	10
done	74	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	5
5	47	5
done	47	5
0	8	10
1	13	10
2	22	10
3	39	10
4	60	10
5	72	10
6	74	10
done	74	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	5
5	47	5
done	47	5
0	7	9
1	12	9
2	20	9
3	32	9
4	44	5
5	47	5
done	47	5
0	7	9
1	14	9
2	22	7
3	63	7
4	104	3
5	107	3
done	107	3
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	15	17
1	29	16
2	53	16
3	105	16
4	258	12
5	778	12
6	4297	12
done	5001	12
0	14	16
1	24	16
2	44	16
3	78	16
4	118	12
5	143	12
6	149	12
done	149	12
0	14	16
1	27	16
2	57	16
3	113	16
4	226	12
5	615	12
6	2775	12
done	5001	12
0	15	33
1	25	33
2	45	33
3	79	33
4	119	25
5	144	25
6	150	25
done	150	25
0	14	16
1	24	16
2	44	16
3	78	16
4	118	12
5	143	12
6	149	12
done	149	12
0	15	47
1	26	47
2	60	17
3	209	17
4	941	13
done	5001	13
0	14	16
1	24	16
2	44	16
3	78	16
4	118	12
5	143	12
6	149	12
done	149	12
0	14	16
1	24	16
2	44	16
3	78	16
4	118	12
5	143	12
6	149	12
done	149	12
0	13	15
1	25	11
2	54	11
3	89	11
4	97	11
done	97	11
0	5	7
1	8	3
2	10	3
done	10	3
0	13	15
1	25	15
2	57	15
3	117	15
4	193	15
5	266	15
6	316	15
7	320	15
done	320	15
0	4	4
1	5	4
done	5	4
0	13	15
1	25	15
2	57	15
3	114	15
4	201	15
5	276	15
6	306	15
7	309	15
done	309	15
0	4	4
1	5	4
done	5	4
0	16	19
1	45	19
2	174	19
3	761	19
4	3473	15
done	5000	15
0	17	47
1	50	37
2	192	37
3	557	37
4	1598	29
5	4086	29
done	5000	29
0	8	10
1	17	10
2	37	10
3	69	10
4	102	6
5	124	6
6	129	6
done	129	6
0	15	31
1	42	31
2	142	31
3	410	31
4	1313	23
5	3608	23
done	5000	23
0	13	15
1	22	15
2	33	15
3	47	15
4	61	11
5	65	11
done	65	11
0	8	10
1	17	10
2	37	10
3	69	10
4	102	6
5	124	6
6	129	6
done	129	6
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	8	8
1	16	8
2	42	5
3	77	5
4	169	5
5	536	5
6	2203	5
done	5000	5
0	8	8
1	16	8
2	42	5
3	77	5
4	169	5
5	536	5
6	2203	5
done	5000	5
0	8	8
1	16	8
2	42	5
3	77	5
4	169	5
5	536	5
6	2203	5
done	5000	5
0	12	12
1	23	12
2	54	9
3	110	9
4	259	9
5	855	9
6	3882	9
done	5000	9
0	12	12
1	23	12
2	54	9
3	110	9
4	259	9
5	855	9
6	3882	9
done	5000	9
0	12	12
1	23	12
2	54	9
3	110	9
4	259	9
5	855	9
6	3882	9
done	5000	9

prune340.0ms

Filtered

136 candidates to 178 candidates (-30.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	178	0	178
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	178	3	181

Merged error: 0b

Counts

181 → 3

regimes494.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	13
1	16	13
done	16	13

end0.0ms

sample918.0ms

Algorithm

intervals

Results

431.0ms	9108×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample40.0ms

simplify283.0ms

prune4.0ms

localize10.0ms

rewrite24.0ms

series29.0ms

simplify1.1min

prune97.0ms

localize16.0ms

rewrite41.0ms

series27.0ms

simplify1.1min

prune161.0ms

localize13.0ms

rewrite46.0ms

series53.0ms

simplify1.2min

prune340.0ms

regimes494.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample918.0ms

Profiling