Details

sample54.0ms

Algorithm

intervals

Results

13.0ms	29×	body	1280	valid
12.0ms	179×	body	80	valid
8.0ms	27×	body	640	valid
3.0ms	15×	body	320	valid
1.0ms	1×	body	2560	valid
1.0ms	5×	body	160	valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	13	9
2	19	9
done	19	9

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.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ x (sin y)) (* z (cos y)))
0.0b	(sin y)
0.1b	(* z (cos y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-log-exp`
7×	`add-sqr-sqrt`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`associate-r` `associate-l` `sum-log`
1×	`+-commutative` `associate-+l+` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 38

Calls

3 calls:

15.0ms	(+ (+ x (sin y)) (* z (cos y)))
2.0ms	(sin y)
5.0ms	(* z (cos y))

series23.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(+ (+ x (sin y)) (* z (cos y)))
2.0ms	(sin y)
9.0ms	(* z (cos y))

simplify39.7s

Counts

47 → 47

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	11	12
1	20	11
2	39	10
3	68	10
4	137	10
5	325	10
6	900	10
7	2914	10
done	5000	10
0	10	11
1	20	10
2	36	10
3	64	10
4	127	10
5	305	10
6	848	10
7	2745	10
done	5000	10
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	10
1	17	10
2	34	10
3	53	10
4	87	10
5	189	10
6	462	10
7	1319	10
8	4509	10
done	5000	10
0	10	21
1	15	21
2	21	21
done	21	21
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	10	29
1	28	29
2	118	11
3	586	11
4	3036	11
done	5001	11
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	11	13
1	30	13
2	84	13
3	209	13
4	452	13
5	1216	13
6	4753	13
done	5000	13
0	12	29
1	37	24
2	110	24
3	289	24
4	940	24
5	2598	24
done	5000	24
0	10	19
1	30	19
2	85	19
3	211	19
4	548	19
5	1583	19
done	5000	19
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	87	9
9	101	9
10	122	9
11	136	9
done	136	9
0	6	7
1	8	7
done	8	7
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	11	13
1	30	13
2	72	13
3	158	13
4	346	13
5	880	13
6	3259	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2
0	5	5
1	9	5
2	15	5
done	15	5
0	8	9
1	13	9
2	19	9
done	19	9
0	8	9
1	13	9
2	19	9
done	19	9

prune83.0ms

Filtered

36 candidates to 47 candidates (-30.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	40	7	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	8	48

Merged error: 0.0b

Counts

48 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (cos y)) (cbrt (cos y)))
0.3b	(cbrt (cos y))
0.3b	(cbrt (cos y))
0.3b	(cbrt (cos y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

7.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
7.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))

series91.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
20.0ms	(cbrt (cos y))
20.0ms	(cbrt (cos y))
20.0ms	(cbrt (cos y))

simplify51.6s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
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	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
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	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	4	7
done	4	7
0	2	3
1	6	1
done	6	1
0	5	9
1	7	6
2	8	6
done	8	6
0	5	8
1	7	8
2	9	6
3	10	6
done	10	6
0	5	8
1	7	8
2	11	8
3	16	8
4	34	8
5	74	8
6	183	8
7	561	8
8	2246	8
done	5000	8
0	3	5
done	3	5
0	6	17
done	6	17
0	5	8
done	5	8
0	6	23
1	14	23
2	21	9
3	35	5
4	69	5
5	154	5
6	392	5
7	1360	5
done	5001	5
0	5	8
1	6	4
done	6	4
0	5	8
1	6	4
done	6	4
0	6	17
done	6	17
0	5	9
done	5	9
0	5	9
done	5	9
0	5	9
done	5	9
0	3	5
1	5	3
done	5	1
0	4	7
done	4	7
0	6	19
1	10	19
2	12	11
3	21	6
4	36	6
5	64	6
6	135	6
7	352	6
8	1262	6
done	5000	6
0	5	9
done	5	9
0	5	9
done	5	3
0	5	9
done	5	3
0	2	3
1	4	1
done	4	1
0	4	7
done	4	7
0	5	9
done	5	9
0	5	9
done	5	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	5	9
done	5	3
0	5	9
done	5	3
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	6	12
1	7	12
done	7	12
0	6	8
1	7	8
done	7	8
0	6	6
1	9	5
done	9	5
0	6	13
1	9	13
2	11	13
done	11	13
0	5	8
1	6	8
done	6	8
0	5	5
1	8	3
2	11	3
done	11	3
0	5	8
1	6	8
done	6	8
0	6	8
1	7	8
done	7	8
0	4	7
done	4	7
0	5	8
1	6	8
done	6	8
0	5	8
1	6	8
done	6	8
0	4	7
done	4	7
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	13	15
1	35	13
2	74	13
3	192	13
4	760	13
5	3249	13
done	5000	13
0	6	6
1	16	5
2	30	5
3	51	5
4	99	5
5	226	5
6	649	5
7	2582	5
done	5001	5
0	6	6
1	16	5
2	30	5
3	51	5
4	99	5
5	226	5
6	649	5
7	2582	5
done	5001	5

prune109.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	85	8	93

Merged error: 0.0b

Counts

93 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (pow (* (cos y) (cos y)) 1/3))
0.2b	(* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))
0.2b	(* (cos y) (cos y))
0.3b	(cbrt (cos y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log`
19×	`add-sqr-sqrt`
16×	`prod-exp`
14×	`associate-r`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
8×	`cbrt-unprod`
7×	`associate-l`
6×	`cbrt-prod`
4×	`pow-exp` `add-log-exp` `unswap-sqr`
3×	`swap-sqr` `*-commutative`
2×	`pow-to-exp` `unpow-prod-down` `unpow1/3` `pow-prod-down` `sqr-pow`
1×	`pow2` `sqr-cos` `pow-plus` `pow1/3` `pow-sqr` `cos-mult` `pow-prod-up`

Counts

4 → 87

Calls

4 calls:

7.0ms	(* z (pow (* (cos y) (cos y)) 1/3))
13.0ms	(* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))
5.0ms	(* (cos y) (cos y))
2.0ms	(cbrt (cos y))

series55.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* z (pow (* (cos y) (cos y)) 1/3))
8.0ms	(* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))
4.0ms	(* (cos y) (cos y))
20.0ms	(cbrt (cos y))

simplify3.8min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	6	6
1	8	6
done	8	6
0	6	9
1	13	6
2	15	6
done	15	6
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	9	13
1	19	12
2	37	12
3	75	12
4	183	12
5	570	12
6	1962	12
done	5000	12
0	12	17
1	19	15
2	34	13
3	52	13
4	62	13
done	62	13
0	12	16
1	19	16
2	31	15
3	50	13
4	62	13
done	62	13
0	12	16
1	19	16
2	31	15
3	50	13
4	62	13
done	62	13
0	12	16
1	24	15
2	41	15
3	72	15
4	172	13
5	458	13
6	1388	13
7	4914	13
done	5000	13
0	11	15
1	22	14
2	41	14
3	81	14
4	201	14
5	628	13
6	1984	13
done	5001	13
0	10	14
1	23	13
2	48	13
3	105	13
4	274	13
5	828	13
6	2837	12
done	5001	12
0	10	14
1	22	13
2	50	13
3	115	13
4	335	13
5	1139	13
6	4953	13
done	5000	13
0	8	14
1	17	14
2	46	12
3	87	8
4	117	6
5	193	6
6	438	6
7	1401	6
done	5000	6
0	12	32
1	31	23
2	98	15
3	348	12
4	1645	8
done	5000	8
0	10	32
1	30	29
2	103	13
3	429	13
4	2005	12
done	5001	12
0	11	29
1	21	27
2	39	27
3	75	27
4	187	27
5	566	27
6	2024	27
done	5000	27
0	10	14
1	20	13
2	38	13
3	74	13
4	187	13
5	562	13
6	2013	13
done	5001	13
0	11	41
1	31	38
2	113	14
3	588	14
4	3434	12
done	5000	12
0	10	14
1	20	13
2	38	13
3	74	13
4	187	13
5	562	13
6	2013	13
done	5001	13
0	10	14
1	20	13
2	38	13
3	74	13
4	187	13
5	562	13
6	2013	13
done	5001	13
0	11	18
1	21	17
2	39	17
3	75	17
4	181	17
5	548	17
6	1943	17
done	5001	17
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	10	12
1	22	10
2	40	10
3	78	8
4	170	8
5	409	8
6	1105	8
7	3792	8
done	5000	8
0	11	19
1	23	18
2	50	18
3	118	18
4	316	18
5	986	18
6	3504	18
done	5000	18
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	9	11
1	21	8
2	45	8
3	95	8
4	176	8
5	397	8
6	1097	8
7	3821	8
done	5001	8
0	7	11
1	14	10
2	24	10
3	42	10
4	87	10
5	230	10
6	753	10
7	3060	10
done	5000	10
0	9	12
1	13	10
2	22	8
3	32	8
done	32	8
0	9	11
1	13	11
2	19	10
3	30	8
4	34	8
done	34	8
0	9	11
1	13	11
2	19	10
3	30	8
4	34	8
done	34	8
0	9	11
1	18	10
2	29	10
3	52	10
4	118	8
5	299	8
6	878	8
7	3029	8
done	5000	8
0	8	10
1	18	9
2	33	9
3	65	9
4	158	9
5	462	8
6	1423	8
done	5000	8
0	8	10
1	17	9
2	32	9
3	65	9
4	168	9
5	557	9
6	2391	9
done	5001	9
0	7	11
1	13	11
2	30	9
3	50	9
4	67	9
5	99	9
6	184	9
7	462	9
8	1493	9
done	5000	9
0	11	29
1	27	20
2	73	12
3	220	9
4	864	9
5	4119	9
done	5000	9
0	9	21
1	16	19
2	26	19
3	44	19
4	90	19
5	237	19
6	767	19
7	3060	19
done	5001	19
0	8	10
1	15	9
2	25	9
3	43	9
4	92	9
5	243	9
6	783	9
7	3094	9
done	5000	9
0	9	29
1	26	26
2	78	10
3	255	10
4	971	9
5	4017	9
done	5000	9
0	8	10
1	15	9
2	25	9
3	43	9
4	92	9
5	243	9
6	783	9
7	3094	9
done	5000	9
0	8	10
1	15	9
2	25	9
3	43	9
4	92	9
5	243	9
6	783	9
7	3094	9
done	5000	9
0	7	7
1	14	6
2	24	6
3	42	6
4	87	6
5	238	6
6	770	6
7	3081	6
done	5000	6
0	7	7
1	14	6
2	24	6
3	42	6
4	87	6
5	238	6
6	770	6
7	3081	6
done	5000	6
0	9	11
1	16	10
2	23	10
3	33	10
4	55	10
5	115	10
6	337	10
7	1266	10
done	5001	10
0	9	11
1	16	10
2	23	10
3	33	10
4	55	10
5	115	10
6	337	10
7	1266	10
done	5001	10
0	10	12
1	16	10
2	26	10
3	46	10
4	94	10
5	241	10
6	772	10
7	3097	10
done	5001	10
0	10	12
1	16	10
2	26	10
3	46	10
4	94	10
5	241	10
6	772	10
7	3097	10
done	5001	10
0	6	6
1	13	5
2	23	5
3	41	5
4	91	5
5	234	5
6	770	5
7	3065	5
done	5000	5
0	9	19
1	18	17
2	26	17
3	36	17
4	58	17
5	118	17
6	329	17
7	1260	17
done	5001	17
0	8	10
1	15	9
2	22	9
3	32	9
4	54	9
5	119	9
6	332	9
7	1255	9
done	5000	9
0	3	3
1	6	1
done	6	1
0	9	11
1	15	9
2	25	9
3	45	9
4	95	9
5	245	9
6	772	9
7	3071	9
done	5001	9
0	8	10
1	15	9
2	25	9
3	43	9
4	91	9
5	239	9
6	764	9
7	3053	9
done	5001	9
0	8	10
1	15	9
2	25	9
3	43	9
4	91	9
5	239	9
6	764	9
7	3053	9
done	5001	9
0	7	9
1	14	8
2	24	8
3	42	8
4	87	8
5	238	8
6	768	8
7	3075	8
done	5001	8
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	10	11
1	25	11
2	62	11
3	145	11
4	414	11
5	967	11
6	4256	11
done	5001	11
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	1	1
done	1	1
0	8	8
1	19	7
2	37	7
3	66	7
4	135	7
5	346	7
6	1089	7
7	4387	7
done	5000	7
0	8	8
1	19	7
2	37	7
3	66	7
4	135	7
5	346	7
6	1089	7
7	4387	7
done	5000	7

prune134.0ms

Filtered

73 candidates to 99 candidates (-35.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	99	8	107

Merged error: 0.0b

Counts

107 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))
0.2b	(log (exp (cbrt (cos y))))
0.2b	(* (cos y) (cos y))
0.3b	(cbrt (cos y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-exp-log`
19×	`add-sqr-sqrt`
17×	`add-cube-cbrt` `*-un-lft-identity`
15×	`pow1`
14×	`log-pow`
13×	`associate-r` `add-cbrt-cube`
12×	`exp-prod`
11×	`prod-exp`
9×	`cbrt-prod` `log-prod`
6×	`cbrt-unprod`
4×	`associate-l` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `swap-sqr`
2×	`pow-prod-down` `pow-exp` `*-commutative`
1×	`pow2` `pow-to-exp` `sqr-cos` `pow-plus` `unpow1/3` `pow1/3` `rem-log-exp` `pow-sqr` `cos-mult` `pow-prod-up` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

11.0ms	(* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))
3.0ms	(log (exp (cbrt (cos y))))
5.0ms	(* (cos y) (cos y))
2.0ms	(cbrt (cos y))

series56.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (* z (pow (* (cos y) (cos y)) 1/3)) (log (exp (cbrt (cos y)))))
20.0ms	(log (exp (cbrt (cos y))))
4.0ms	(* (cos y) (cos y))
20.0ms	(cbrt (cos y))

simplify3.4min

Counts

102 → 102

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
done	4	4
0	4	4
done	4	4
0	5	8
done	5	8
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	3	3
done	3	3
0	5	9
done	5	9
0	4	4
done	4	4
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	4	4
done	4	4
0	4	4
done	4	4
0	6	6
1	8	6
done	8	6
0	6	9
1	13	6
2	15	6
done	15	6
0	2	3
1	6	1
done	6	1
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	5	17
1	12	17
2	21	9
3	34	4
4	67	4
5	147	4
6	370	4
7	1337	4
done	5000	4
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	4
4	68	4
5	153	4
6	379	4
7	1358	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	6	1
done	6	1
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	7	12
1	9	12
2	11	8
3	12	8
done	12	8
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	2	2
1	4	1
done	4	1
0	5	5
done	5	3
0	5	5
done	5	3
0	7	10
done	7	8
0	6	6
done	6	4
0	4	4
1	6	1
done	6	1
0	7	11
1	9	9
2	15	9
3	23	9
4	48	9
5	121	9
6	365	9
7	1334	9
done	5001	9
0	6	6
done	6	4
0	3	3
1	6	1
done	6	1
0	6	6
done	6	4
0	6	6
done	6	4
0	7	13
done	7	9
0	6	6
done	6	4
0	7	17
1	8	11
2	10	5
3	15	2
4	21	2
5	31	2
6	52	2
7	110	2
8	318	2
9	1248	2
done	5000	2
0	6	6
done	6	4
0	6	6
done	6	4
0	11	15
1	21	12
2	39	12
3	75	12
4	181	12
5	548	12
6	1943	12
done	5000	12
0	14	19
1	21	15
2	36	13
3	56	13
4	66	13
done	66	13
0	14	18
1	21	16
2	33	15
3	54	13
4	68	13
done	68	13
0	14	18
1	21	16
2	33	15
3	54	13
4	68	13
done	68	13
0	14	18
1	26	15
2	43	15
3	76	15
4	176	13
5	457	13
6	1391	13
7	4913	13
done	5000	13
0	13	17
1	24	14
2	43	14
3	83	14
4	202	14
5	632	13
6	1984	13
done	5000	13
0	12	16
1	25	13
2	50	13
3	107	13
4	266	13
5	781	13
6	2772	12
done	5000	12
0	12	16
1	24	13
2	51	13
3	114	13
4	326	13
5	1133	13
6	4882	13
done	5000	13
0	13	29
1	25	23
2	80	15
3	254	12
4	681	12
5	2376	6
done	5000	6
0	17	47
1	39	32
2	125	18
3	541	12
4	3115	8
done	5001	8
0	15	47
1	38	38
2	128	16
3	624	13
4	3682	12
done	5000	12
0	13	33
1	23	27
2	41	27
3	77	27
4	183	27
5	553	27
6	1990	27
done	5001	27
0	12	16
1	22	13
2	40	13
3	76	13
4	184	13
5	548	13
6	1963	13
done	5000	13
0	13	47
1	33	38
2	115	14
3	583	14
4	3311	12
done	5000	12
0	12	16
1	22	13
2	40	13
3	76	13
4	184	13
5	548	13
6	1963	13
done	5000	13
0	12	16
1	22	13
2	40	13
3	76	13
4	184	13
5	548	13
6	1963	13
done	5000	13
0	13	22
1	25	21
2	52	17
3	126	17
4	367	17
5	1342	17
6	4970	17
done	5000	17
0	12	16
1	22	15
2	40	15
3	76	15
4	184	15
5	548	15
6	1921	15
done	5001	15
0	12	16
1	22	15
2	40	15
3	76	15
4	184	15
5	548	15
6	1921	15
done	5001	15
0	12	16
1	22	15
2	40	15
3	76	15
4	184	15
5	548	15
6	1921	15
done	5001	15
0	10	12
1	22	10
2	40	1
3	61	1
4	112	1
5	267	1
6	801	1
7	3103	1
done	5000	1
0	11	15
1	21	12
2	39	12
3	75	12
4	181	12
5	548	12
6	1943	12
done	5000	12
0	13	22
1	25	21
2	48	17
3	116	17
4	332	17
5	1232	17
6	4774	17
done	5000	17
0	12	16
1	22	15
2	40	15
3	74	15
4	175	15
5	515	15
6	1823	15
done	5001	15
0	12	16
1	22	15
2	40	15
3	74	15
4	175	15
5	515	15
6	1823	15
done	5001	15
0	12	16
1	22	15
2	40	15
3	74	15
4	175	15
5	515	15
6	1823	15
done	5001	15
0	10	12
1	22	10
2	40	1
3	61	1
4	114	1
5	271	1
6	805	1
7	3117	1
done	5000	1
0	11	15
1	21	12
2	39	12
3	75	12
4	175	12
5	522	12
6	1819	12
done	5000	12
0	9	11
1	21	8
2	45	8
3	95	8
4	176	8
5	397	8
6	1097	8
7	3821	8
done	5001	8
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	9	13
1	19	12
2	37	12
3	75	12
4	183	12
5	570	12
6	1962	12
done	5000	12
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	10	14
1	20	13
2	38	13
3	74	13
4	193	13
5	592	13
6	2038	13
done	5000	13
0	9	13
1	19	12
2	37	12
3	75	12
4	183	12
5	570	12
6	1962	12
done	5000	12
0	13	23
1	25	18
2	52	18
3	120	18
4	309	18
5	1001	18
6	3561	18
done	5000	18
0	12	16
1	22	13
2	40	13
3	76	13
4	184	13
5	548	13
6	1921	13
done	5000	13
0	9	11
1	21	8
2	45	8
3	95	8
4	176	8
5	397	8
6	1097	8
7	3821	8
done	5001	8
0	9	13
1	16	10
2	26	10
3	44	10
4	93	10
5	242	10
6	770	10
7	3065	10
done	5000	10
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	10	11
1	25	11
2	62	11
3	145	11
4	414	11
5	967	11
6	4256	11
done	5001	11
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	4	4
1	9	4
2	17	4
3	28	4
4	53	4
5	117	4
6	333	4
7	1365	4
done	5001	4
0	14	15
1	34	13
2	79	13
3	207	13
4	706	13
5	1987	13
done	5000	13
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	4	4
1	10	3
2	16	3
3	26	3
4	50	3
5	111	3
6	324	3
7	1251	3
done	5000	3
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune248.0ms

Filtered

74 candidates to 102 candidates (-37.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	1	4	5
Picked	1	0	1
Done	0	2	2
Total	103	7	110

Merged error: 0.0b

Counts

110 → 7

regimes571.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
done	11	9

end0.0ms

sample3.0s

Algorithm

intervals

Results

839.0ms	942×	body	1280	valid
721.0ms	5603×	body	80	valid
472.0ms	842×	body	640	valid
150.0ms	394×	body	320	valid
60.0ms	218×	body	160	valid
2.0ms	1×	body	2560	valid

Details

sample54.0ms

simplify6.0ms

prune4.0ms

localize9.0ms

rewrite23.0ms

series23.0ms

simplify39.7s

prune83.0ms

localize13.0ms

rewrite19.0ms

series91.0ms

simplify51.6s

prune109.0ms

localize15.0ms

rewrite31.0ms

series55.0ms

simplify3.8min

prune134.0ms

localize20.0ms

rewrite24.0ms

series56.0ms

simplify3.4min

prune248.0ms

regimes571.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling