Details

sample121.0ms

Algorithm

intervals

Results

38.0ms	45×	body	1280	valid
22.0ms	40×	body	640	valid
19.0ms	144×	body	80	valid
7.0ms	18×	body	320	valid
2.0ms	9×	body	160	valid

simplify12.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

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

prune8.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

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
6×	`associate-r` `associate-l` `add-log-exp`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 55

Calls

4 calls:

8.0ms	(- (* x (cos y)) (* z (sin y)))
4.0ms	(sin y)
9.0ms	(* x (cos y))
9.0ms	(* z (sin y))

series80.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- (* x (cos y)) (* z (sin y)))
4.0ms	(sin y)
14.0ms	(* x (cos y))
18.0ms	(* z (sin y))

simplify44.2s

Counts

67 → 67

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	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	10	11
1	18	10
2	31	10
3	62	10
4	161	10
5	607	10
6	3919	10
done	5000	10
0	9	10
1	13	10
2	20	10
done	20	10
0	9	10
1	16	10
2	33	10
3	55	10
4	121	10
5	455	10
6	2440	10
done	5000	10
0	10	21
1	14	21
2	21	21
done	21	21
0	9	10
1	13	10
2	20	10
done	20	10
0	10	29
1	15	29
2	36	11
3	127	11
4	510	11
5	1914	11
done	5001	11
0	9	10
1	13	10
2	20	10
done	20	10
0	9	10
1	13	10
2	20	10
done	20	10
0	11	13
1	34	13
2	118	13
3	389	13
4	906	13
5	2381	13
done	5001	13
0	12	29
1	39	24
2	96	24
3	139	24
4	151	24
5	153	24
done	153	24
0	5	5
1	10	5
2	12	5
done	12	5
0	10	19
1	31	19
2	72	19
3	131	19
4	196	19
5	329	19
6	527	19
7	897	19
8	2705	19
done	5001	19
0	8	9
1	11	9
done	11	9
0	5	5
1	10	5
2	12	5
done	12	5
0	3	3
1	4	3
done	4	3
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	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	1	1
done	1	1
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9

prune115.0ms

Filtered

49 candidates to 67 candidates (-36.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	57	10	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	10	68

Merged error: 0.0b

Counts

68 → 10

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))

rewrite14.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)))
2.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))
2.0ms	(cbrt (cos y))

series96.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt (cos y)) (cbrt (cos y)))
20.0ms	(cbrt (cos y))
20.0ms	(cbrt (cos y))
21.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

prune117.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	84	11	95

Merged error: 0.0b

Counts

95 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.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:

6.0ms	(* x (pow (* (cos y) (cos y)) 1/3))
9.0ms	(* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))
5.0ms	(* (cos y) (cos y))
2.0ms	(cbrt (cos y))

series54.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (pow (* (cos y) (cos y)) 1/3))
8.0ms	(* (* x (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

prune166.0ms

Filtered

73 candidates to 99 candidates (-35.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	98	12	110

Merged error: 0.0b

Counts

110 → 12

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))
0.3b	(cbrt (cos y))
0.3b	(cbrt (pow (cos y) 6))
0.6b	(pow (cos y) 6)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-exp-log`
13×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`add-cbrt-cube`
7×	`pow1` `prod-exp`
6×	`unpow-prod-down` `associate-r`
5×	`cbrt-unprod`
4×	`add-log-exp`
3×	`pow-unpow`
2×	`pow-to-exp` `pow1/3` `pow-exp` `sqr-pow`
1×	`pow-pow` `unpow1/3` `associate-l` `pow-prod-down` `*-commutative`

Counts

4 → 66

Calls

4 calls:

11.0ms	(* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))
2.0ms	(cbrt (cos y))
3.0ms	(cbrt (pow (cos y) 6))
3.0ms	(pow (cos y) 6)

series39.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))
20.0ms	(cbrt (cos y))
3.0ms	(cbrt (pow (cos y) 6))
8.0ms	(pow (cos y) 6)

simplify4.0min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	6	8
1	10	8
2	17	8
3	41	8
4	98	8
5	256	8
6	882	8
7	3278	8
done	5000	8
0	5	5
1	9	5
2	14	5
3	32	5
4	72	5
5	176	5
6	549	5
7	2166	5
done	5000	5
0	4	4
1	11	2
2	18	2
3	29	2
4	51	2
5	112	2
6	321	2
7	1250	2
done	5000	2
0	6	9
1	11	9
2	22	9
3	64	9
4	221	5
5	811	4
6	4017	4
done	5001	4
0	5	5
1	10	5
2	19	5
3	40	5
4	86	5
5	203	5
6	638	5
7	2620	5
done	5000	5
0	5	5
1	10	5
2	19	5
3	40	5
4	87	4
5	205	4
6	645	4
7	2541	4
done	5000	4
0	5	5
1	10	5
2	19	5
3	40	5
4	87	4
5	205	4
6	645	4
7	2541	4
done	5000	4
0	3	3
1	10	1
done	10	1
0	4	4
1	9	4
2	18	4
3	39	4
4	82	4
5	209	4
6	641	4
7	2543	4
done	5000	4
0	5	5
1	12	5
2	24	5
3	52	5
4	135	5
5	346	5
6	1092	5
7	4173	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	51	5
4	125	5
5	355	5
6	1252	5
done	5000	5
0	6	11
1	11	11
2	20	11
3	41	11
4	83	11
5	202	4
6	633	4
7	2499	4
done	5000	4
0	5	5
1	10	5
2	19	5
3	40	5
4	82	5
5	197	5
6	651	4
7	2677	4
done	5001	4
0	6	14
1	15	9
2	38	6
3	121	6
4	499	6
5	2210	6
done	5000	6
0	5	5
1	10	5
2	20	5
3	41	5
4	83	5
5	207	5
6	638	5
7	2527	5
done	5001	5
0	5	5
1	10	5
2	20	5
3	41	5
4	83	5
5	207	5
6	638	5
7	2527	5
done	5001	5
0	6	6
1	11	4
2	20	4
3	30	4
4	53	4
5	118	4
6	326	4
7	1253	4
done	5000	4
0	6	6
1	11	4
2	20	4
3	30	4
4	53	4
5	118	4
6	326	4
7	1253	4
done	5000	4
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	635	5
7	2504	5
done	5000	5
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	635	5
7	2506	5
done	5001	5
0	7	10
1	12	10
2	23	10
3	65	10
4	228	6
5	823	5
6	4130	5
done	5000	5
0	6	6
1	11	6
2	20	6
3	41	6
4	86	6
5	215	6
6	632	5
7	2496	5
done	5001	5
0	6	6
1	11	6
2	20	6
3	41	6
4	87	5
5	211	2
6	640	2
7	2540	2
done	5000	2
0	6	6
1	11	6
2	20	6
3	41	6
4	87	5
5	211	2
6	640	2
7	2540	2
done	5000	2
0	4	4
1	11	1
done	11	1
0	5	5
1	10	5
2	19	5
3	40	5
4	82	5
5	197	5
6	651	4
7	2677	4
done	5001	4
0	7	12
1	12	12
2	21	12
3	42	12
4	87	12
5	205	5
6	643	5
7	2467	5
done	5000	5
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	633	5
7	2499	5
done	5000	5
0	6	6
1	11	6
2	21	6
3	42	6
4	87	6
5	205	6
6	646	6
7	2543	6
done	5000	6
0	6	6
1	11	6
2	21	6
3	42	6
4	87	6
5	205	6
6	646	6
7	2543	6
done	5000	6
0	2	2
1	4	1
done	4	1
0	5	5
1	10	5
2	19	5
3	40	5
4	82	5
5	197	5
6	651	4
7	2677	4
done	5001	4
0	7	7
1	12	5
2	21	2
3	31	2
4	54	2
5	110	2
6	324	2
7	1252	2
done	5000	2
0	7	7
1	12	5
2	21	2
3	31	2
4	54	2
5	110	2
6	324	2
7	1252	2
done	5000	2
0	7	13
1	12	13
2	21	13
3	42	13
4	87	13
5	205	13
6	643	11
7	2467	11
done	5000	11
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	633	5
7	2499	5
done	5000	5
0	7	17
1	13	17
2	23	7
3	46	4
4	90	4
5	218	4
6	670	4
7	2722	4
done	5001	4
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	634	3
7	2501	3
done	5000	3
0	6	6
1	11	6
2	20	6
3	41	6
4	83	6
5	202	6
6	634	3
7	2501	3
done	5000	3
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	11	13
1	25	12
2	52	12
3	109	12
4	262	12
5	754	12
6	2549	11
done	5000	11
0	14	16
1	24	16
2	39	16
3	62	16
4	104	16
5	232	16
6	683	15
7	2566	15
done	5001	15
0	14	16
1	24	16
2	39	16
3	62	16
4	104	16
5	232	16
6	683	15
7	2566	15
done	5001	15
0	14	16
1	30	15
2	54	15
3	101	15
4	221	15
5	571	15
6	1812	14
done	5000	14
0	13	15
1	28	14
2	56	14
3	117	14
4	279	14
5	762	14
6	2463	13
done	5000	13
0	12	14
1	29	13
2	63	13
3	141	13
4	340	13
5	979	13
6	3304	12
done	5000	12
0	12	14
1	28	13
2	65	13
3	151	13
4	410	13
5	1332	13
done	5001	13
0	10	14
1	22	14
2	54	12
3	109	12
4	180	12
5	349	8
6	1054	8
7	4639	6
done	5000	6
0	14	32
1	37	23
2	112	15
3	381	12
4	1723	12
done	5000	12
0	12	32
1	36	29
2	117	13
3	445	13
4	2004	12
done	5001	12
0	13	29
1	27	27
2	54	27
3	111	27
4	267	27
5	753	27
6	2550	25
done	5001	25
0	12	14
1	26	13
2	53	13
3	112	13
4	265	13
5	761	13
6	2618	12
done	5000	12
0	13	41
1	37	38
2	127	14
3	618	14
4	3451	12
done	5000	12
0	12	14
1	26	13
2	53	13
3	112	13
4	265	13
5	761	13
6	2618	12
done	5000	12
0	12	14
1	26	13
2	53	13
3	112	13
4	265	13
5	761	13
6	2618	12
done	5000	12
0	13	18
1	27	17
2	54	17
3	113	17
4	265	17
5	766	17
6	2572	16
done	5000	16
0	12	14
1	26	13
2	53	13
3	112	13
4	263	13
5	752	13
6	2602	12
done	5001	12
0	12	12
1	28	10
2	55	10
3	114	8
4	242	8
5	590	8
6	1689	7
done	5001	7
0	13	19
1	29	18
2	65	18
3	154	18
4	398	18
5	1230	18
6	4172	17
done	5000	17
0	12	14
1	26	13
2	53	13
3	112	13
4	263	13
5	752	13
6	2602	12
done	5001	12
0	11	11
1	27	8
2	60	8
3	129	8
4	253	8
5	583	8
6	1658	7
done	5000	7
0	9	11
1	20	10
2	39	10
3	78	10
4	168	10
5	443	10
6	1392	9
done	5001	9
0	11	13
1	27	13
2	73	13
3	196	13
4	553	13
5	1309	13
done	5000	13
0	4	4
1	9	4
2	18	4
3	39	4
4	82	4
5	209	4
6	641	4
7	2543	4
done	5000	4
0	4	4
1	9	4
2	18	4
3	39	4
4	82	4
5	209	4
6	641	4
7	2543	4
done	5000	4
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

prune132.0ms

Filtered

60 candidates to 78 candidates (-30.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	78	12	90

Merged error: 0.0b

Counts

90 → 12

regimes262.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	18
1	18	18
done	18	18

end0.0ms

sample1.9s

Algorithm

intervals

Results

664.0ms	1470×	body	1280	valid
372.0ms	1267×	body	640	valid
328.0ms	4318×	body	80	valid
126.0ms	616×	body	320	valid
47.0ms	329×	body	160	valid

Details

sample121.0ms

simplify12.0ms

prune8.0ms

localize20.0ms

rewrite33.0ms

series80.0ms

simplify44.2s

prune115.0ms

localize13.0ms

rewrite14.0ms

series96.0ms

simplify51.6s

prune117.0ms

localize16.0ms

rewrite25.0ms

series54.0ms

simplify3.8min

prune166.0ms

localize23.0ms

rewrite20.0ms

series39.0ms

simplify4.0min

prune132.0ms

regimes262.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.9s

Profiling