Details

sample161.0ms

Algorithm

intervals

Results

28.0ms	344×	body	80	nan
28.0ms	58×	body	1280	valid
17.0ms	30×	body	640	valid
16.0ms	21×	body	2560	valid
15.0ms	163×	body	80	valid
3.0ms	11×	body	320	valid
1.0ms	8×	body	160	valid

simplify54.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	32	19
2	54	19
3	74	19
4	87	19
5	90	19
done	90	19

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

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ a (* b 3.0))
0.2b	(/ (* z t) 3.0)
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
25.2b	(cos (- y (/ (* z t) 3.0)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-/r` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`cos-sum` `frac-2neg` `clear-num` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 72

Calls

4 calls:

5.0ms	(/ a (* b 3.0))
10.0ms	(/ (* z t) 3.0)
7.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
6.0ms	(cos (- y (/ (* z t) 3.0)))

series58.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ a (* b 3.0))
4.0ms	(/ (* z t) 3.0)
37.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
13.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.6min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	10
1	17	9
2	28	9
3	41	9
4	50	9
5	53	9
done	53	9
0	10	10
1	18	10
2	33	10
3	49	10
4	58	10
5	61	10
done	61	10
0	10	10
1	17	9
2	28	9
3	41	9
4	50	9
5	53	9
done	53	9
0	10	10
1	18	10
2	33	10
3	49	10
4	58	10
5	61	10
done	61	10
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	9
1	14	9
2	23	9
3	37	9
4	50	9
5	53	9
done	53	9
0	9	9
1	14	9
2	23	9
3	37	9
4	50	9
5	53	9
done	53	9
0	10	19
1	15	19
2	24	19
3	38	19
4	51	19
5	54	19
done	54	19
0	9	9
1	14	9
2	23	9
3	37	9
4	50	9
5	53	9
done	53	9
0	10	26
1	16	26
2	27	10
3	46	10
4	65	10
5	78	10
6	101	10
7	166	10
8	383	10
9	1322	10
done	5000	10
0	9	9
1	14	9
2	23	9
3	37	9
4	50	9
5	53	9
done	53	9
0	9	9
1	14	9
2	23	9
3	37	9
4	50	9
5	53	9
done	53	9
0	13	13
1	22	13
2	37	13
3	51	13
4	64	13
5	67	13
done	67	13
0	13	13
1	22	13
2	37	13
3	51	13
4	64	13
5	67	13
done	67	13
0	16	16
1	25	16
2	40	16
3	54	16
4	67	16
5	70	16
done	70	16
0	15	15
1	25	15
2	39	15
3	57	15
4	70	15
5	73	15
done	73	15
0	14	14
1	26	14
2	48	14
3	76	14
4	89	14
5	92	14
done	92	14
0	14	14
1	25	14
2	51	14
3	87	14
4	156	14
5	298	14
6	642	14
7	1620	14
done	5000	14
0	19	41
1	37	37
2	109	19
3	354	19
4	992	19
5	2073	17
done	5000	17
0	17	41
1	39	41
2	115	17
3	423	17
4	1225	15
5	2262	15
done	5000	15
0	15	29
1	24	29
2	39	29
3	55	29
4	68	29
5	71	29
done	71	29
0	14	14
1	23	14
2	38	14
3	52	14
4	65	14
5	68	14
done	68	14
0	15	41
1	34	41
2	113	15
3	471	15
4	1256	15
5	1776	15
6	3299	15
done	5001	15
0	14	14
1	23	14
2	38	14
3	52	14
4	65	14
5	68	14
done	68	14
0	14	14
1	23	14
2	38	14
3	52	14
4	65	14
5	68	14
done	68	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	15	24
1	26	24
2	48	24
3	72	24
4	85	24
5	88	24
done	88	24
0	14	14
1	23	14
2	38	14
3	52	14
4	65	14
5	68	14
done	68	14
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	11	11
1	17	11
2	26	11
3	40	11
4	53	11
5	56	11
done	56	11
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	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	16	7
2	37	7
3	84	7
4	189	7
5	534	7
6	1844	7
done	5000	7
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	12	15
1	35	13
2	100	13
3	224	13
4	506	11
5	1220	11
6	3754	11
done	5001	11
0	19	29
1	46	27
2	104	27
3	245	27
4	603	18
5	1672	18
done	5000	18
0	19	29
1	47	27
2	114	27
3	287	27
4	951	18
5	3550	18
done	5000	18
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

prune344.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	60	24	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	61	24	85

Merged error: 18.8b

Counts

85 → 24

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
29.6b	(sin (/ (* z t) 3.0))
29.9b	(cos (/ (* z t) 3.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

6.0ms	(/ (* z t) 3.0)
11.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(cos (/ (* z t) 3.0))

series90.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ (* z t) 3.0)
77.0ms	(* (* 2.0 (sqrt x)) (+ (* (cos y) (cos (/ (* z t) 3.0))) (* (sin y) (sin (/ (* z t) 3.0)))))
4.0ms	(sin (/ (* z t) 3.0))
4.0ms	(cos (/ (* z t) 3.0))

simplify1.1min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	12	20
2	18	8
3	26	8
4	33	8
5	43	8
6	64	8
7	122	8
8	339	8
9	1287	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	12	20
2	18	8
3	26	8
4	33	8
5	43	8
6	64	8
7	122	8
8	339	8
9	1287	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	18	24
1	34	24
2	81	24
3	148	24
4	179	24
done	179	24
0	18	24
1	34	24
2	81	24
3	148	24
4	179	24
done	179	24
0	21	27
1	31	27
2	41	27
3	44	27
4	45	27
done	45	27
0	20	26
1	31	26
2	40	26
3	47	26
4	48	26
done	48	26
0	19	25
1	38	25
2	92	25
3	173	25
4	190	25
done	190	25
0	19	25
1	37	25
2	98	25
3	226	25
4	419	25
5	1337	25
done	5001	25
0	24	74
1	55	70
2	210	30
3	1126	30
done	5000	30
0	22	74
1	57	74
2	216	28
3	1170	28
done	5000	28
0	20	51
1	36	51
2	83	51
3	146	51
4	179	51
done	179	51
0	19	25
1	35	25
2	82	25
3	149	25
4	170	25
done	170	25
0	20	74
1	46	74
2	199	26
3	1141	26
done	5000	26
0	19	25
1	35	25
2	82	25
3	149	25
4	170	25
done	170	25
0	19	25
1	35	25
2	82	25
3	149	25
4	170	25
done	170	25
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	14	14
1	24	14
2	47	14
3	73	14
4	77	14
done	77	14
0	20	46
1	32	46
2	49	46
3	62	46
4	63	46
done	63	46
0	19	25
1	29	25
2	39	25
3	42	25
4	43	25
done	43	25
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	16	22
1	29	22
2	50	22
3	57	22
4	58	22
done	58	22
0	21	44
1	43	44
2	110	42
3	286	42
4	671	42
5	1196	17
6	2180	15
done	5001	15
0	21	28
1	56	28
2	186	28
3	737	28
4	2585	28
done	5001	28
0	20	44
1	48	44
2	117	44
3	369	44
4	1184	44
5	2659	44
6	4525	44
done	5001	44
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	1	1
1	3	1
done	3	1
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	5	5
1	9	5
2	15	5
done	15	5
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	12	15
1	35	13
2	100	13
3	224	13
4	506	11
5	1220	11
6	3754	11
done	5001	11
0	32	63
1	83	61
2	248	59
3	743	47
4	2504	40
done	5000	40
0	31	63
1	86	59
2	257	57
3	785	55
4	3057	44
done	5000	44
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

prune376.0ms

Filtered

59 candidates to 70 candidates (-18.6%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	57	13	70
Fresh	9	14	23
Picked	1	0	1
Done	0	0	0
Total	67	27	94

Merged error: 18.6b

Counts

94 → 27

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (/ 3.0 (* z t)))
0.4b	(/ 3.0 (* z t))
29.6b	(sin (/ 1 (/ 3.0 (* z t))))
29.9b	(cos (/ (* z t) 3.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

8.0ms	(/ 1 (/ 3.0 (* z t)))
5.0ms	(/ 3.0 (* z t))
5.0ms	(sin (/ 1 (/ 3.0 (* z t))))
3.0ms	(cos (/ (* z t) 3.0))

series16.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (/ 3.0 (* z t)))
4.0ms	(/ 3.0 (* z t))
5.0ms	(sin (/ 1 (/ 3.0 (* z t))))
4.0ms	(cos (/ (* z t) 3.0))

simplify58.6s

Counts

103 → 103

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	12	20
2	18	8
3	26	8
4	33	8
5	43	8
6	64	8
7	122	8
8	339	8
9	1287	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	10	19
1	17	19
2	28	19
3	43	15
4	80	15
5	99	15
done	99	15
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	10	26
1	18	26
2	31	10
3	51	8
4	94	8
5	123	8
6	148	8
7	212	8
8	429	8
9	1371	8
done	5000	8
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	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	2	2
1	5	1
done	5	1
0	9	9
1	14	9
2	26	9
3	44	9
4	93	8
5	109	8
6	128	8
7	142	8
done	142	8
0	8	8
1	14	8
2	24	8
3	37	8
4	75	7
5	91	7
6	110	7
7	131	7
done	131	7
0	7	7
1	13	7
2	23	7
3	38	7
4	59	7
5	106	7
6	120	7
7	139	7
8	153	7
done	153	7
0	10	10
1	19	9
2	46	9
3	99	8
4	236	8
5	362	8
6	431	8
7	469	8
done	469	8
0	9	9
1	19	8
2	40	8
3	83	7
4	193	7
5	362	7
6	434	7
7	484	7
done	484	7
0	8	8
1	16	7
2	32	7
3	62	7
4	135	7
5	311	7
6	381	7
7	434	7
8	473	7
done	473	7
0	11	11
1	22	10
2	44	9
3	103	8
4	238	8
5	366	8
6	431	8
7	467	8
done	467	8
0	10	10
1	22	9
2	38	8
3	87	7
4	201	7
5	376	7
6	448	7
7	496	7
done	496	7
0	9	9
1	19	8
2	32	7
3	66	7
4	139	7
5	316	7
6	388	7
7	438	7
8	476	7
done	476	7
0	8	8
1	19	7
2	39	7
3	81	6
4	177	6
5	310	6
6	433	6
7	467	6
8	517	6
done	517	6
0	8	8
1	15	8
2	28	8
3	53	6
4	127	6
5	226	6
6	434	6
7	1142	6
8	4526	6
done	5000	6
0	15	23
1	37	19
2	153	13
3	838	11
4	4304	9
done	5000	9
0	13	23
1	39	19
2	167	11
3	1003	9
4	4708	9
done	5000	9
0	11	23
1	30	19
2	102	9
3	601	9
4	2615	7
done	5000	7
0	9	17
1	16	17
2	27	17
3	42	13
4	79	13
5	98	13
done	98	13
0	8	8
1	15	8
2	26	8
3	41	6
4	78	6
5	97	6
done	97	6
0	9	23
1	23	23
2	73	9
3	409	7
4	2230	7
done	5000	7
0	8	8
1	15	8
2	26	8
3	41	6
4	78	6
5	97	6
done	97	6
0	8	8
1	15	8
2	26	8
3	41	6
4	78	6
5	97	6
done	97	6
0	2	2
1	5	1
done	5	1
0	6	6
1	11	6
2	19	6
3	21	6
done	21	6
0	11	19
1	22	17
2	33	15
3	39	15
done	39	15
0	9	9
1	14	8
2	16	8
done	16	8
0	10	12
1	17	10
2	21	8
3	22	8
done	22	8
0	9	9
1	14	8
2	16	8
done	16	8
0	9	13
1	17	11
2	35	9
3	68	7
4	95	7
5	96	7
done	96	7
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	8	10
1	14	8
2	23	6
3	31	4
4	32	4
done	32	4
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	6	9
1	12	7
2	21	3
3	28	1
done	28	1
0	6	6
1	10	5
2	13	5
3	14	3
done	14	3
0	4	7
1	8	3
2	12	1
done	12	1
0	8	8
1	15	7
2	26	7
3	41	5
4	78	5
5	99	5
6	101	5
done	101	5
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	7	8
1	14	7
2	25	5
3	39	3
4	69	3
5	99	3
done	99	3
0	10	16
1	17	15
2	19	15
done	19	15
0	9	9
1	14	8
2	16	8
done	16	8
0	9	9
1	14	8
2	16	8
done	16	8
0	9	9
1	14	8
2	16	8
done	16	8
0	8	10
1	14	9
2	22	9
3	35	7
4	39	7
5	64	7
6	103	7
7	107	7
done	107	7
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	7	7
1	11	6
2	14	6
3	15	4
done	15	4
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	6	6
1	10	5
2	13	5
3	14	3
done	14	3
0	3	4
1	5	1
done	5	1
0	8	8
1	15	7
2	26	7
3	41	5
4	78	5
5	99	5
6	101	5
done	101	5
0	4	4
1	6	3
done	6	3
0	7	8
1	14	7
2	25	5
3	39	3
4	69	3
5	99	3
done	99	3
0	9	15
1	16	15
2	18	15
done	18	15
0	8	8
1	13	8
2	15	8
done	15	8
0	8	8
1	13	8
2	15	8
done	15	8
0	8	8
1	13	8
2	15	8
done	15	8
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	4	5
1	8	1
done	8	1
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	2	3
1	4	1
done	4	1
0	7	7
1	14	7
2	25	7
3	40	5
4	77	5
5	96	5
done	96	5
0	3	3
1	5	3
done	5	3
0	6	7
1	13	3
2	26	3
3	50	3
4	69	3
5	81	3
6	95	3
done	95	3
0	7	7
1	14	7
2	25	7
3	40	5
4	77	5
5	96	5
done	96	5
0	7	7
1	14	5
2	28	5
3	56	5
done	56	5
0	9	15
1	16	15
2	18	15
done	18	15
0	8	8
1	13	8
2	15	8
done	15	8
0	7	9
1	13	9
2	21	9
3	34	7
4	38	7
5	63	7
6	104	7
7	106	7
done	106	7
0	6	6
1	10	6
2	13	6
3	14	4
done	14	4
0	4	5
1	8	1
done	8	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	8	8
1	15	7
2	25	7
3	40	5
4	44	5
done	44	5
0	8	8
1	15	7
2	25	7
3	40	5
4	44	5
done	44	5
0	7	7
1	14	5
2	28	5
3	56	5
done	56	5
0	3	3
1	5	3
done	5	3
0	1	1
1	3	1
done	3	1
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	5	5
1	9	5
2	15	5
done	15	5
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	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	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

prune369.0ms

Filtered

64 candidates to 103 candidates (-60.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	3	23	26
Picked	1	0	1
Done	0	0	0
Total	101	29	130

Merged error: 18.5b

Counts

130 → 29

localize34.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 3.0 (* z t))
0.4b	(log (exp (cos (/ (* z t) 3.0))))
29.6b	(sin (/ 1 (/ 3.0 (* z t))))
29.9b	(cos (/ (* z t) 3.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 50

Calls

4 calls:

5.0ms	(/ 3.0 (* z t))
4.0ms	(log (exp (cos (/ (* z t) 3.0))))
5.0ms	(sin (/ 1 (/ 3.0 (* z t))))
3.0ms	(cos (/ (* z t) 3.0))

series17.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 3.0 (* z t))
4.0ms	(log (exp (cos (/ (* z t) 3.0))))
5.0ms	(sin (/ 1 (/ 3.0 (* z t))))
5.0ms	(cos (/ (* z t) 3.0))

simplify34.6s

Counts

62 → 62

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	12	20
2	18	8
3	26	8
4	33	8
5	43	8
6	64	8
7	122	8
8	339	8
9	1287	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	10	19
1	17	19
2	28	19
3	43	15
4	80	15
5	99	15
done	99	15
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	10	26
1	18	26
2	31	10
3	51	8
4	94	8
5	123	8
6	148	8
7	212	8
8	429	8
9	1371	8
done	5000	8
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	9	9
1	16	9
2	27	9
3	42	7
4	79	7
5	98	7
done	98	7
0	10	18
1	15	18
2	21	11
3	25	11
4	26	11
done	26	11
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	9	9
1	12	9
2	16	9
3	19	9
4	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	11	6
2	15	6
3	18	6
4	19	6
done	19	6
0	8	8
1	11	6
2	15	6
3	18	6
4	19	6
done	19	6
0	10	17
1	15	15
2	25	15
3	36	15
4	62	15
5	135	15
6	390	15
7	1363	15
done	5000	15
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	7
0	3	3
1	6	1
done	6	1
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	7
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	7
0	10	19
1	13	15
2	17	15
3	20	15
4	21	15
done	21	15
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	7
0	10	26
1	14	20
2	20	8
3	28	8
4	35	8
5	45	8
6	68	8
7	133	8
8	350	8
9	1283	8
done	5001	8
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	7
0	9	9
1	12	7
2	16	7
3	19	7
4	20	7
done	20	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	1	1
1	3	1
done	3	1
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	5	5
1	9	5
2	15	5
done	15	5
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	1	1
1	3	1
done	3	1
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	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5

prune161.0ms

Filtered

50 candidates to 62 candidates (-24.0%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	59	3	62
Fresh	1	27	28
Picked	1	0	1
Done	0	0	0
Total	61	30	91

Merged error: 18.5b

Counts

91 → 30

regimes4.9s

Accuracy

60% (1.5b remaining)

Error of 18.4b against oracle of 16.9b and baseline of 20.7b

bsearch2.0ms

simplify5.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	44	101
1	58	84
done	58	84

end0.0ms

sample4.3s

Algorithm

intervals

Results

798.0ms	9022×	body	80	nan
783.0ms	1566×	body	1280	valid
510.0ms	5538×	body	80	valid
346.0ms	968×	body	640	valid
309.0ms	408×	body	2560	valid
118.0ms	426×	body	320	valid
37.0ms	194×	body	160	valid

Details

sample161.0ms

simplify54.0ms

prune5.0ms

localize18.0ms

rewrite31.0ms

series58.0ms

simplify1.6min

prune344.0ms

localize27.0ms

rewrite24.0ms

series90.0ms

simplify1.1min

prune376.0ms

localize36.0ms

rewrite24.0ms

series16.0ms

simplify58.6s

prune369.0ms

localize34.0ms

rewrite19.0ms

series17.0ms

simplify34.6s

prune161.0ms

regimes4.9s

bsearch2.0ms

simplify5.0ms

end0.0ms

sample4.3s

Profiling