Details

sample135.0ms

Algorithm

intervals

Results

55.0ms

630×

body

valid

simplify4.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	29
1	43	29
2	96	29
3	248	29
4	625	29
5	1579	29
6	3737	29
done	5000	29

prune6.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: 12.3b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (* c z) (* t i))
4.9b	(* j (- (* c a) (* y i)))
5.0b	(* x (- (* y z) (* t a)))
5.6b	(* b (- (* c z) (* t i)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

4.0ms	(- (* c z) (* t i))
7.0ms	(* j (- (* c a) (* y i)))
7.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* b (- (* c z) (* t i)))

series81.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* c z) (* t i))
26.0ms	(* j (- (* c a) (* y i)))
22.0ms	(* x (- (* y z) (* t a)))
21.0ms	(* b (- (* c z) (* t i)))

simplify57.2s

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
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	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
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

prune291.0ms

Filtered

71 candidates to 96 candidates (-35.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	74	22	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	22	97

Merged error: 8.2b

Counts

97 → 22

localize24.0ms

Local error

Found 4 expressions with local error:

4.6b	(* j (neg (* y i)))
5.0b	(* x (- (* y z) (* t a)))
5.6b	(* b (- (* c z) (* t i)))
5.9b	(* j (* c a))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
2×	`flip3--` `flip--`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 88

Calls

4 calls:

5.0ms	(* j (neg (* y i)))
14.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* b (- (* c z) (* t i)))
5.0ms	(* j (* c a))

series58.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* j (neg (* y i)))
22.0ms	(* x (- (* y z) (* t a)))
23.0ms	(* b (- (* c z) (* t i)))
7.0ms	(* j (* c a))

simplify1.1min

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	8	8
1	14	8
2	22	8
3	32	8
4	40	8
done	40	8
0	7	7
1	18	7
2	41	7
3	78	7
4	97	7
5	105	7
done	105	7
0	7	7
1	17	7
2	42	7
3	101	7
4	206	7
5	459	7
6	1116	7
7	3256	7
done	5000	7
0	10	20
1	29	18
2	130	10
3	845	10
4	3616	8
done	5000	8
0	8	15
1	16	15
2	32	15
3	48	15
4	52	15
done	52	15
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	8	20
1	26	20
2	121	8
3	723	8
4	4298	8
done	5000	8
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	8	8
1	14	8
2	16	8
done	16	8
0	8	8
1	14	8
2	16	8
done	16	8
0	5	5
1	9	5
2	15	5
done	15	5
0	8	13
1	16	13
2	20	13
done	20	13
0	7	7
1	13	7
2	15	7
done	15	7
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
2	5	2
done	5	2
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	7	7
1	15	7
2	31	7
3	47	7
4	51	7
done	51	7
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	1	1
done	1	1
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	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	1	1
done	1	1
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6

prune257.0ms

Filtered

75 candidates to 100 candidates (-33.3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	96	4	100
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	100	22	122

Merged error: 5.9b

Counts

122 → 22

localize29.0ms

Local error

Found 4 expressions with local error:

5.9b	(* j (* c a))
16.1b	(cbrt (* j (neg (* y i))))
16.1b	(cbrt (* j (neg (* y i))))
16.1b	(cbrt (* j (neg (* y i))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`associate-r` `*-commutative`

Counts

4 → 45

Calls

4 calls:

6.0ms	(* j (* c a))
4.0ms	(cbrt (* j (neg (* y i))))
4.0ms	(cbrt (* j (neg (* y i))))
4.0ms	(cbrt (* j (neg (* y i))))

series93.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* j (* c a))
27.0ms	(cbrt (* j (neg (* y i))))
28.0ms	(cbrt (* j (neg (* y i))))
30.0ms	(cbrt (* j (neg (* y i))))

simplify1.0min

Counts

57 → 57

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	9	17
1	17	17
2	33	17
3	49	17
4	53	17
done	53	17
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	9	23
1	18	23
2	36	9
3	57	6
4	67	6
5	77	6
6	98	6
7	163	6
8	379	6
9	1299	6
done	5000	6
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	9	17
1	17	17
2	33	17
3	49	17
4	53	17
done	53	17
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	9	23
1	18	23
2	36	9
3	57	6
4	67	6
5	77	6
6	98	6
7	163	6
8	379	6
9	1299	6
done	5000	6
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	9	17
1	17	17
2	33	17
3	49	17
4	53	17
done	53	17
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	9	23
1	18	23
2	36	9
3	57	6
4	67	6
5	77	6
6	98	6
7	163	6
8	379	6
9	1299	6
done	5000	6
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
0	8	8
1	16	8
2	32	8
3	48	8
4	52	8
done	52	8
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	17	17
1	36	16
2	84	14
3	187	13
4	341	9
5	684	9
6	2074	9
done	5000	9
0	20	23
1	43	19
2	113	16
3	380	13
4	800	11
5	1552	9
6	2821	9
done	5000	9
0	18	20
1	38	19
2	100	18
3	382	17
4	1613	14
done	5001	14
0	17	17
1	36	16
2	84	14
3	187	13
4	341	9
5	684	9
6	2074	9
done	5000	9
0	20	23
1	43	19
2	113	16
3	380	13
4	800	11
5	1552	9
6	2821	9
done	5000	9
0	18	20
1	38	19
2	100	18
3	382	17
4	1613	14
done	5001	14
0	17	17
1	36	16
2	84	14
3	187	13
4	341	9
5	684	9
6	2074	9
done	5000	9
0	20	23
1	43	19
2	113	16
3	380	13
4	800	11
5	1552	9
6	2821	9
done	5000	9
0	18	20
1	38	19
2	100	18
3	382	17
4	1613	14
done	5001	14
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune213.0ms

Filtered

49 candidates to 57 candidates (-16.3%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	21	21
Picked	0	1	1
Done	0	0	0
Total	57	22	79

Merged error: 5.9b

Counts

79 → 22

localize31.0ms

Local error

Found 4 expressions with local error:

4.4b	(* (* j (neg y)) i)
5.0b	(* x (- (* y z) (* t a)))
5.6b	(* b (- (* c z) (* t i)))
5.9b	(* j (* c a))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`distribute-lft-neg-out` `distribute-rgt-neg-out`

Counts

4 → 85

Calls

4 calls:

6.0ms	(* (* j (neg y)) i)
8.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* b (- (* c z) (* t i)))
7.0ms	(* j (* c a))

series58.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (* j (neg y)) i)
22.0ms	(* x (- (* y z) (* t a)))
22.0ms	(* b (- (* c z) (* t i)))
7.0ms	(* j (* c a))

simplify1.2min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	6	6
1	12	6
2	27	6
3	40	6
4	50	6
5	51	6
done	51	6
0	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	15	8
2	23	8
3	31	8
4	36	8
5	40	8
done	40	8
0	7	7
1	16	7
2	38	7
3	68	7
4	92	7
5	104	7
6	106	7
done	106	7
0	7	7
1	15	7
2	44	7
3	91	7
4	192	7
5	412	7
6	965	7
7	2461	7
done	5000	7
0	12	20
1	32	18
2	122	12
3	572	12
4	2302	10
done	5001	10
0	10	20
1	29	20
2	125	10
3	651	10
4	3204	8
done	5000	8
0	8	15
1	14	15
2	29	15
3	44	15
4	54	15
5	55	15
done	55	15
0	7	7
1	13	7
2	28	7
3	43	7
4	53	7
done	53	7
0	8	20
1	24	20
2	114	8
3	685	8
4	3582	8
done	5000	8
0	7	7
1	13	7
2	28	7
3	43	7
4	53	7
done	53	7
0	7	7
1	13	7
2	28	7
3	43	7
4	53	7
done	53	7
0	5	5
1	9	5
2	15	5
done	15	5
0	8	10
1	16	10
2	40	10
3	76	10
4	109	10
5	125	10
done	125	10
0	7	7
1	13	7
2	28	7
3	41	7
4	51	7
done	51	7
0	6	6
1	14	4
2	35	4
3	69	4
4	86	4
5	91	4
done	91	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	1	1
done	1	1
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	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	1	1
done	1	1
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6
0	7	7
1	15	6
2	45	6
3	84	6
4	87	6
done	87	6

prune111.0ms

Filtered

72 candidates to 97 candidates (-34.7%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	2	18	20
Picked	1	0	1
Done	0	1	1
Total	97	22	119

Merged error: 5.9b

Counts

119 → 22

regimes2.1s

Accuracy

23.5% (4.9b remaining)

Error of 11.1b against oracle of 6.2b and baseline of 12.7b

bsearch160.0ms

Steps

Iters	Range		Point
9	7.371195937515648e+86	2.989849813778348e+95	2.294989209654481e+93
7	-2.177868784910134e+69	-1.499091660719757e+67	-7.44548950383016e+68

simplify10.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	40	136
1	66	89
2	71	89
3	72	89
done	72	89

end0.0ms

sample3.8s

Algorithm

intervals

Results

1.7s

18953×

body

valid

Details

sample135.0ms

simplify4.2s

prune6.0ms

localize27.0ms

rewrite28.0ms

series81.0ms

simplify57.2s

prune291.0ms

localize24.0ms

rewrite34.0ms

series58.0ms

simplify1.1min

prune257.0ms

localize29.0ms

rewrite19.0ms

series93.0ms

simplify1.0min

prune213.0ms

localize31.0ms

rewrite30.0ms

series58.0ms

simplify1.2min

prune111.0ms

regimes2.1s

bsearch160.0ms

simplify10.0ms

end0.0ms

sample3.8s

Profiling