Details

sample65.0ms

Algorithm

intervals

Results

20.0ms	45×	body	1280	valid
11.0ms	39×	body	640	valid
10.0ms	143×	body	80	valid
4.0ms	19×	body	320	valid
2.0ms	10×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
done	11	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 4 expressions with local error:

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

rewrite17.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×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 54

Calls

4 calls:

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

series43.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sin y)
24.0ms	(+ (* x (sin y)) (* z (cos y)))
8.0ms	(* z (cos y))
9.0ms	(* x (sin y))

simplify43.6s

Counts

66 → 66

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	10	11
1	19	10
2	31	10
3	59	10
4	179	10
5	632	10
6	2841	10
done	5000	10
0	9	10
1	12	10
done	12	10
0	9	10
1	15	10
2	24	10
3	37	10
4	89	10
5	283	10
6	1039	10
done	5000	10
0	10	21
1	13	21
done	13	21
0	9	10
1	12	10
done	12	10
0	10	29
1	26	29
2	90	11
3	329	11
4	1015	11
5	2586	11
done	5000	11
0	9	10
1	12	10
done	12	10
0	9	10
1	12	10
done	12	10
0	11	13
1	33	13
2	100	13
3	256	13
4	496	13
5	1243	13
6	4731	13
done	5000	13
0	12	29
1	40	24
2	110	24
3	236	24
4	427	24
5	557	24
6	724	24
7	857	24
8	1146	24
9	1683	24
done	1683	24
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	12	9
2	19	9
done	19	9
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	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	5	5
1	7	5
done	7	5
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
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

prune123.0ms

Filtered

50 candidates to 66 candidates (-32.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	55	11	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	11	67

Merged error: 0.0b

Counts

67 → 11

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

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

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

prune128.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	1	9	10
Picked	1	0	1
Done	0	0	0
Total	85	11	96

Merged error: 0.0b

Counts

96 → 11

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

rewrite26.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))
10.0ms	(* (* z (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))
5.0ms	(* (cos y) (cos y))
2.0ms	(cbrt (cos y))

series59.0ms

Counts

4 → 12

Calls

4 calls:

28.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.9min

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

prune155.0ms

Filtered

73 candidates to 99 candidates (-35.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	99	11	110

Merged error: 0.0b

Counts

110 → 11

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

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

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

series94.0ms

Counts

4 → 12

Calls

4 calls:

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

prune82.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	85	11	96

Merged error: 0.0b

Counts

96 → 11

regimes267.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	13	18
1	17	18
done	17	18

end0.0ms

sample2.0s

Algorithm

intervals

Results

673.0ms	1470×	body	1280	valid
391.0ms	1268×	body	640	valid
317.0ms	4321×	body	80	valid
128.0ms	613×	body	320	valid
47.0ms	328×	body	160	valid

Details

sample65.0ms

simplify3.0ms

prune4.0ms

localize9.0ms

rewrite17.0ms

series43.0ms

simplify43.6s

prune123.0ms

localize13.0ms

rewrite15.0ms

series97.0ms

simplify51.6s

prune128.0ms

localize16.0ms

rewrite26.0ms

series59.0ms

simplify3.9min

prune155.0ms

localize17.0ms

rewrite17.0ms

series94.0ms

simplify51.6s

prune82.0ms

regimes267.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling