Details

sample59.0ms

Algorithm

intervals

Results

26.0ms

350×

body

valid

simplify1.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	17
1	34	17
2	80	17
3	208	17
4	382	17
5	469	17
6	478	17
7	501	17
8	584	17
9	924	17
done	924	17

prune5.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: 4.6b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.2b	(* (* y 9.0) z)
0.3b	(* (* a 27.0) b)
7.6b	(* (* (* y 9.0) z) t)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-r` `add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`associate-l` `*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

7.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
6.0ms	(* (* y 9.0) z)
6.0ms	(* (* a 27.0) b)
8.0ms	(* (* (* y 9.0) z) t)

series64.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
4.0ms	(* (* y 9.0) z)
4.0ms	(* (* a 27.0) b)
7.0ms	(* (* (* y 9.0) z) t)

simplify1.4min

Counts

84 → 84

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
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	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	20	20
1	43	19
2	108	18
3	277	18
4	1004	18
done	5001	18
0	19	19
1	41	18
2	110	18
3	312	18
4	899	18
done	5000	18
0	18	18
1	35	18
2	81	18
3	206	18
4	381	18
5	468	18
6	477	18
7	500	18
8	583	18
9	923	18
done	923	18
0	18	18
1	38	18
2	98	18
3	291	18
4	704	18
5	2615	18
done	5000	18
0	19	37
1	36	37
2	82	37
3	208	37
4	365	37
5	446	37
6	455	37
7	478	37
8	561	37
9	901	37
done	901	37
0	18	18
1	35	18
2	81	18
3	206	18
4	381	18
5	468	18
6	477	18
7	500	18
8	583	18
9	923	18
done	923	18
0	19	53
1	49	53
2	163	19
3	885	19
done	5001	19
0	18	18
1	35	18
2	81	18
3	206	18
4	381	18
5	468	18
6	477	18
7	500	18
8	583	18
9	923	18
done	923	18
0	18	18
1	35	18
2	81	18
3	206	18
4	381	18
5	468	18
6	477	18
7	500	18
8	583	18
9	923	18
done	923	18
0	20	21
1	51	21
2	155	21
3	626	21
4	3129	21
done	5000	21
0	21	53
1	52	47
2	183	47
3	757	41
4	3698	41
done	5001	41
0	19	35
1	45	35
2	154	35
3	614	35
4	2245	35
done	5000	35
0	17	17
1	35	17
2	92	17
3	231	17
4	380	17
5	466	17
6	487	17
7	577	17
8	918	17
done	918	17
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	13	13
1	26	13
2	63	13
3	111	13
4	116	13
done	116	13
0	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	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	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	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17
0	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17

prune184.0ms

Filtered

62 candidates to 84 candidates (-35.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	75	9	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	9	85

Merged error: 0.0b

Counts

85 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* 27.0 (* a b)))
0.2b	(* (* y 9.0) z)
0.3b	(* 27.0 (* a b))
7.6b	(* (* (* y 9.0) z) t)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
5×	`associate-l`
3×	`*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

8.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* 27.0 (* a b)))
6.0ms	(* (* y 9.0) z)
5.0ms	(* 27.0 (* a b))
11.0ms	(* (* (* y 9.0) z) t)

series58.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* 27.0 (* a b)))
4.0ms	(* (* y 9.0) z)
4.0ms	(* 27.0 (* a b))
8.0ms	(* (* (* y 9.0) z) t)

simplify1.4min

Counts

84 → 84

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
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	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	20	20
1	43	19
2	105	18
3	277	18
4	1007	18
done	5001	18
0	19	19
1	41	18
2	107	18
3	312	18
4	899	18
done	5001	18
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	18	18
1	38	18
2	98	18
3	293	18
4	705	18
5	2613	18
done	5000	18
0	19	37
1	36	37
2	82	37
3	208	37
4	365	37
5	446	37
6	455	37
7	478	37
8	561	37
9	901	37
done	901	37
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	19	53
1	49	53
2	163	19
3	884	19
done	5001	19
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	20	21
1	51	21
2	155	21
3	629	21
4	3073	21
done	5001	21
0	21	53
1	52	47
2	184	47
3	763	41
4	3683	41
done	5000	41
0	19	35
1	45	35
2	154	35
3	619	35
4	2232	35
done	5001	35
0	17	17
1	35	17
2	92	17
3	231	17
4	380	17
5	470	17
6	491	17
7	581	17
8	922	17
done	922	17
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	13	13
1	26	13
2	63	13
3	111	13
4	116	13
done	116	13
0	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	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	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	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17
0	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17

prune162.0ms

Filtered

61 candidates to 84 candidates (-37.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	84	9	93

Merged error: 0.0b

Counts

93 → 9

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b)))
0.2b	(* a (* 27.0 b))
0.2b	(* (* y 9.0) z)
7.6b	(* (* (* y 9.0) z) t)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
5×	`associate-l`
3×	`*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

7.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b)))
6.0ms	(* a (* 27.0 b))
6.0ms	(* (* y 9.0) z)
8.0ms	(* (* (* y 9.0) z) t)

series62.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* a (* 27.0 b)))
4.0ms	(* a (* 27.0 b))
4.0ms	(* (* y 9.0) z)
7.0ms	(* (* (* y 9.0) z) t)

simplify1.4min

Counts

84 → 84

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
0	3	3
1	4	3
done	4	3
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	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	20	20
1	43	19
2	105	18
3	277	18
4	1007	18
done	5001	18
0	19	19
1	41	18
2	107	18
3	312	18
4	899	18
done	5001	18
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	18	18
1	38	18
2	98	18
3	293	18
4	705	18
5	2613	18
done	5000	18
0	19	37
1	36	37
2	82	37
3	208	37
4	365	37
5	446	37
6	455	37
7	478	37
8	561	37
9	901	37
done	901	37
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	19	53
1	49	53
2	163	19
3	884	19
done	5001	19
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	18	18
1	35	18
2	81	18
3	206	18
4	379	18
5	466	18
6	475	18
7	498	18
8	581	18
9	921	18
done	921	18
0	20	21
1	51	21
2	155	21
3	629	21
4	3073	21
done	5001	21
0	21	53
1	52	47
2	184	47
3	763	41
4	3683	41
done	5000	41
0	19	35
1	45	35
2	154	35
3	619	35
4	2232	35
done	5001	35
0	17	17
1	35	17
2	92	17
3	231	17
4	380	17
5	470	17
6	491	17
7	581	17
8	922	17
done	922	17
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	14	14
1	30	14
2	78	13
3	180	13
4	262	13
5	267	13
done	267	13
0	13	13
1	26	13
2	63	13
3	111	13
4	116	13
done	116	13
0	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	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	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	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17
0	17	17
1	34	17
2	77	17
3	177	17
4	298	17
5	322	17
6	361	17
7	437	17
8	525	17
9	532	17
10	605	17
11	929	17
done	929	17

prune156.0ms

Filtered

62 candidates to 84 candidates (-35.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	84	9	93

Merged error: 0.0b

Counts

93 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* y 9.0) z)
0.2b	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
0.3b	(* (sqrt 27.0) (* a b))
7.6b	(* (* (* y 9.0) z) t)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log` `add-cbrt-cube`
18×	`pow-prod-down` `prod-exp` `cbrt-unprod`
14×	`associate-l`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r`
6×	`sqrt-prod`
4×	`*-commutative` `add-log-exp`

Counts

4 → 84

Calls

4 calls:

6.0ms	(* (* y 9.0) z)
12.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
7.0ms	(* (sqrt 27.0) (* a b))
12.0ms	(* (* (* y 9.0) z) t)

series27.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* y 9.0) z)
9.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* a b)))
6.0ms	(* (sqrt 27.0) (* a b))
7.0ms	(* (* (* y 9.0) z) t)

simplify1.8min

Counts

96 → 96

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	7	7
1	14	7
2	34	7
3	57	7
4	58	7
done	58	7
0	11	11
1	18	11
2	38	11
3	61	11
4	62	11
done	62	11
0	10	10
1	18	10
2	31	10
3	58	10
4	70	10
done	70	10
0	9	9
1	17	9
2	34	9
3	61	9
4	90	9
5	92	9
done	92	9
0	8	8
1	18	8
2	48	8
3	104	8
4	157	8
5	164	8
done	164	8
0	8	8
1	17	8
2	50	8
3	110	8
4	223	8
5	524	8
6	1270	8
7	3270	8
done	5000	8
0	15	23
1	34	23
2	143	15
3	786	15
4	4310	13
done	5000	13
0	13	23
1	36	23
2	145	13
3	840	13
4	4455	11
done	5000	11
0	11	23
1	31	23
2	141	11
3	882	11
done	5000	9
0	9	17
1	16	17
2	36	17
3	59	17
4	62	17
done	62	17
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	23
1	26	23
2	123	9
3	857	9
done	5001	9
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	8	8
1	15	8
2	35	8
3	60	8
4	61	8
done	61	8
0	9	11
1	18	11
2	47	11
3	110	11
4	151	11
done	151	11
0	8	8
1	15	8
2	35	8
3	61	8
4	63	8
done	63	8
0	7	7
1	16	5
2	42	5
3	67	5
4	79	5
done	79	5
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	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	13	8
2	18	8
3	22	8
done	22	8
0	7	7
1	14	7
2	27	7
3	41	7
done	41	7
0	7	7
1	13	7
2	27	7
3	54	7
4	111	7
5	250	7
6	613	7
7	1805	7
done	5000	7
0	12	20
1	25	16
2	88	12
3	311	12
4	927	10
5	2066	10
6	4991	10
done	5000	10
0	10	20
1	27	16
2	92	10
3	368	10
4	959	10
5	1328	10
6	2295	10
done	5000	10
0	8	15
1	12	15
2	18	15
3	20	15
done	20	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	22	20
2	93	8
3	405	8
4	1141	8
5	1608	8
6	3069	8
done	5001	8
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	4	4
1	5	4
done	5	4
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	10	13
1	17	13
2	33	11
3	45	11
4	46	11
done	46	11
0	9	12
1	17	12
2	27	10
3	42	10
4	48	10
done	48	10
0	9	11
1	16	11
2	31	11
3	53	10
4	70	10
done	70	10
0	8	10
1	18	10
2	41	6
3	77	6
4	110	6
5	114	6
done	114	6
0	8	10
1	17	10
2	39	6
3	93	6
4	205	6
5	496	6
6	1227	6
7	3747	6
done	5001	6
0	13	29
1	31	21
2	130	13
3	578	11
4	2325	9
done	5000	9
0	11	29
1	33	21
2	132	11
3	619	9
4	2405	9
5	4737	7
done	5001	7
0	11	29
1	30	21
2	135	13
3	719	13
4	3027	7
done	5000	7
0	9	21
1	16	21
2	30	13
3	44	13
done	44	13
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	9	29
1	25	29
2	106	7
3	535	7
4	2530	7
done	5001	7
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	3	5
done	3	1
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	9	10
1	16	10
2	36	10
3	58	10
4	61	10
done	61	10
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	7	9
1	14	9
2	28	5
3	42	5
done	42	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	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	1	1
done	1	1
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
0	7	7
1	14	7
2	34	7
3	56	7
4	57	7
done	57	7
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	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	5
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	5
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	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

prune167.0ms

Filtered

71 candidates to 96 candidates (-35.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	95	1	96
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	96	9	105

Merged error: 0.0b

Counts

105 → 9

regimes2.0s

Accuracy

88.7% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 3.9b

bsearch1.0ms

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	71
1	48	71
done	48	71

end0.0ms

sample1.5s

Algorithm

intervals

Results

652.0ms

11042×

body

valid

Details

sample59.0ms

simplify1.4s

prune5.0ms

localize14.0ms

rewrite29.0ms

series64.0ms

simplify1.4min

prune184.0ms

localize14.0ms

rewrite33.0ms

series58.0ms

simplify1.4min

prune162.0ms

localize14.0ms

rewrite29.0ms

series62.0ms

simplify1.4min

prune156.0ms

localize16.0ms

rewrite41.0ms

series27.0ms

simplify1.8min

prune167.0ms

regimes2.0s

bsearch1.0ms

simplify4.0ms

end0.0ms

sample1.5s

Profiling