Details

sample96.0ms

Algorithm

intervals

Results

28.0ms	33×	body	640	valid
25.0ms	52×	body	1280	valid
13.0ms	143×	body	80	valid
6.0ms	256×	pre	80	true
4.0ms	19×	body	320	valid
1.0ms	9×	body	160	valid

simplify20.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	9	11
1	14	11
2	18	11
3	21	11
4	22	11
done	22	11

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

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
0.1b	(* e (cos v))
0.1b	(* e (sin v))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
12×	`add-exp-log` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`associate-r` `associate-l`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `associate-/r/` `*-commutative` `unswap-sqr`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `associate-/l*`

Counts

3 → 59

Calls

3 calls:

7.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
5.0ms	(* e (cos v))
7.0ms	(* e (sin v))

series56.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(/ (* e (sin v)) (+ 1.0 (* e (cos v))))
8.0ms	(* e (cos v))
18.0ms	(* e (sin v))

simplify53.5s

Counts

68 → 68

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	12	14
1	19	14
2	26	14
3	32	14
4	38	14
5	47	14
6	60	14
7	78	14
8	94	14
9	101	14
10	118	14
11	120	14
done	120	14
0	11	13
1	19	13
2	25	13
3	34	13
4	37	13
5	43	13
6	52	13
7	65	13
8	83	13
9	99	13
10	106	13
11	123	13
12	125	13
done	125	13
0	10	12
1	18	12
2	30	12
3	49	12
4	65	12
5	73	12
6	85	12
7	103	12
8	119	12
9	126	12
10	143	12
11	145	12
done	145	12
0	10	12
1	15	12
2	19	12
3	24	12
4	33	12
5	46	12
6	79	12
7	172	12
8	403	12
9	1081	12
10	4757	12
done	5000	12
0	15	35
1	44	35
2	186	17
3	767	17
4	2935	15
done	5000	15
0	13	35
1	46	35
2	193	15
3	897	13
4	3313	13
done	5000	13
0	11	25
1	16	25
2	20	25
3	23	25
4	24	25
done	24	25
0	10	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	11	35
1	23	35
2	64	13
3	245	13
4	1012	13
5	3155	13
done	5000	13
0	10	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	10	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	5	5
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	20	7
3	21	7
done	21	7
0	9	17
1	13	17
done	13	17
0	9	10
1	11	10
done	11	10
0	8	9
1	10	9
done	10	9
0	9	10
1	11	10
done	11	10
0	3	3
1	5	1
done	5	1
0	8	9
1	10	9
done	10	9
0	8	8
1	12	8
done	12	8
0	9	11
1	14	11
2	16	11
done	16	11
0	11	20
1	21	20
2	35	20
3	48	20
4	52	20
done	52	20
0	10	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	6	6
1	11	4
2	19	4
3	28	4
4	33	4
done	33	4
0	8	9
1	10	9
done	10	9
0	12	15
1	33	15
2	75	15
3	163	15
4	293	15
5	738	15
6	2681	15
done	5000	15
0	11	18
1	27	18
2	73	18
3	178	18
4	327	18
5	690	18
6	1230	16
7	3116	16
done	5000	16
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	15	21
1	45	19
2	131	15
3	299	13
4	685	13
5	1457	13
6	4487	13
done	5000	13
0	19	31
1	49	31
2	169	31
3	520	29
4	2049	26
done	5000	26
0	19	31
1	49	31
2	169	31
3	520	29
4	2049	26
done	5000	26

prune117.0ms

Filtered

53 candidates to 68 candidates (-28.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	61	7	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	7	69

Merged error: 0.0b

Counts

69 → 7

localize10.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (+ 1.0 (* e (cos v))) (sin v))
0.1b	(* e (cos v))
0.2b	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
57×	`add-sqr-sqrt`
55×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
12×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv` `div-exp`
3×	`associate-r` `associate-l` `add-log-exp`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`flip3-+` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 117

Calls

3 calls:

7.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
5.0ms	(* e (cos v))
9.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

series51.0ms

Counts

3 → 9

Calls

3 calls:

18.0ms	(/ (+ 1.0 (* e (cos v))) (sin v))
8.0ms	(* e (cos v))
26.0ms	(/ e (/ (+ 1.0 (* e (cos v))) (sin v)))

simplify49.4s

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	20	14
2	28	14
3	41	14
4	45	14
5	53	14
6	68	14
7	94	14
8	103	14
done	103	14
0	11	13
1	18	13
2	23	13
3	30	13
4	43	13
5	47	13
6	55	13
7	70	13
8	96	13
9	105	13
done	105	13
0	10	12
1	17	12
2	27	12
3	36	12
4	48	12
5	67	12
6	76	12
7	87	12
8	105	12
9	125	12
10	131	12
done	131	12
0	10	12
1	14	12
2	19	12
3	26	12
4	36	12
5	63	12
6	139	12
7	324	12
8	886	12
9	3604	12
done	5001	12
0	15	35
1	43	35
2	169	17
3	707	15
4	2611	13
done	5001	13
0	13	35
1	30	35
2	104	15
3	390	13
4	1531	13
5	4308	13
done	5001	13
0	11	25
1	15	25
2	18	25
3	19	25
4	21	25
5	23	25
6	24	25
done	24	25
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	11	35
1	22	35
2	60	13
3	233	13
4	950	13
5	2879	13
done	5001	13
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	2	2
done	2	2
0	9	10
1	13	10
2	17	10
3	25	10
4	31	10
5	45	10
6	59	10
7	67	10
done	67	10
0	13	27
1	21	27
2	30	27
3	36	27
done	36	27
0	11	13
1	13	13
done	13	13
0	12	16
1	16	16
2	18	16
3	19	16
done	19	16
0	11	13
1	13	13
done	13	13
0	15	29
1	27	29
2	63	29
3	154	29
4	281	29
5	376	29
6	413	29
7	423	29
8	425	29
done	425	29
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	14	25
1	22	25
2	40	25
3	84	25
4	128	25
5	148	25
6	153	25
7	154	25
done	154	25
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	13	23
1	23	21
2	46	21
3	121	21
4	149	21
5	171	21
6	173	21
done	173	21
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	14	21
1	22	21
2	37	21
3	65	21
4	101	21
5	123	21
6	133	21
7	142	21
8	143	21
done	143	21
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	13	17
1	19	17
2	28	17
3	38	17
4	48	17
5	52	17
6	54	17
7	55	17
done	55	17
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	12	15
1	20	13
2	31	13
3	53	13
4	58	13
5	62	13
6	68	13
done	68	13
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	10	15
1	18	15
2	33	13
3	80	13
4	192	13
5	254	13
6	298	13
done	298	13
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	9	11
1	15	11
2	24	9
3	50	9
4	97	9
5	106	9
done	106	9
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	9	12
1	13	12
2	15	12
3	16	12
done	16	12
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	12	24
1	16	24
done	16	24
0	11	13
1	13	13
done	13	13
0	11	13
1	13	13
done	13	13
0	11	13
1	13	13
done	13	13
0	14	26
1	24	26
2	45	26
3	76	26
4	102	26
5	136	26
6	160	26
7	170	26
8	171	26
done	171	26
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	13	22
1	19	22
2	27	22
3	40	22
4	48	22
5	54	22
6	57	22
done	57	22
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	12	20
1	20	18
2	33	18
3	60	18
4	72	18
5	84	18
6	89	18
done	89	18
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	13	18
1	19	18
2	26	18
3	34	18
4	38	18
5	47	18
6	53	18
7	58	18
8	59	18
done	59	18
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	12	14
1	16	14
2	19	14
3	20	14
4	22	14
5	24	14
6	25	14
done	25	14
0	11	12
1	17	10
2	23	10
3	28	10
4	30	10
5	33	10
6	37	10
done	37	10
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	9	12
1	15	12
2	22	10
3	38	10
4	65	10
5	88	10
6	108	10
done	108	10
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	8	8
1	12	8
2	15	6
3	24	6
4	33	6
5	35	6
done	35	6
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	8	9
1	10	9
done	10	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	12	23
1	18	23
done	18	23
0	10	12
1	12	12
done	12	12
0	11	12
1	15	12
done	15	12
0	10	12
1	12	12
done	12	12
0	14	25
1	26	25
2	47	25
3	78	23
4	138	23
5	201	23
done	201	23
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	13	21
1	21	21
2	29	21
3	42	19
4	69	19
5	102	19
done	102	19
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	11	19
1	19	17
2	30	17
3	39	17
done	39	17
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	13	17
1	21	17
2	28	17
3	36	15
4	60	15
5	75	15
done	75	15
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	12	13
1	18	13
2	21	13
3	22	11
4	35	11
5	40	11
done	40	11
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	10	11
1	16	9
2	21	9
done	21	9
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	7	11
1	13	7
2	22	7
3	35	7
4	47	7
5	48	7
done	48	7
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	6	7
1	10	3
2	15	3
3	17	3
4	18	3
done	18	3
0	10	12
1	14	12
2	17	12
3	18	12
4	20	12
5	22	12
6	23	12
done	23	12
0	3	5
1	6	1
done	6	1
0	9	11
1	13	11
2	16	11
3	17	11
4	19	11
5	21	11
6	22	11
done	22	11
0	2	3
1	4	1
done	4	1
0	9	11
1	13	11
2	16	11
3	17	11
4	19	11
5	21	11
6	22	11
done	22	11
0	8	8
1	12	8
done	12	8
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	10	11
1	16	11
2	19	11
3	20	9
4	33	9
5	40	9
done	40	9
0	9	11
1	13	11
2	16	11
done	16	11
0	11	23
1	15	23
done	15	23
0	10	12
1	12	12
done	12	12
0	13	25
1	23	25
2	44	25
3	75	25
4	101	25
5	135	25
6	158	25
7	168	25
done	168	25
0	12	21
1	18	21
2	26	21
3	39	21
4	47	21
5	53	21
6	56	21
done	56	21
0	11	19
1	19	17
2	32	17
3	59	17
4	65	17
5	74	17
6	89	17
7	92	17
done	92	17
0	12	17
1	18	17
2	25	17
3	33	17
4	37	17
5	46	17
6	52	17
7	57	17
done	57	17
0	11	13
1	15	13
2	18	13
3	19	13
4	21	13
5	23	13
6	24	13
done	24	13
0	10	11
1	16	9
2	22	9
3	27	9
done	27	9
0	8	11
1	14	11
2	21	9
3	31	9
4	51	9
5	85	9
6	97	9
done	97	9
0	7	7
1	11	7
2	14	5
3	20	5
4	27	5
5	32	5
done	32	5
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	7	8
1	9	8
done	9	8
0	10	12
1	14	12
2	17	12
done	17	12
0	10	12
1	14	12
2	17	12
done	17	12
0	9	11
1	13	11
2	16	11
done	16	11
0	7	8
1	9	8
done	9	8
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	14	11
2	15	11
done	15	11
0	9	10
1	14	10
2	16	10
3	17	10
done	17	10
0	9	10
1	11	10
done	11	10
0	12	29
1	35	29
2	113	13
3	344	11
4	949	11
5	2702	11
done	5001	11
0	10	21
1	12	21
done	12	21
0	9	10
1	11	10
done	11	10
0	10	29
1	19	29
2	51	11
3	139	11
4	378	11
5	974	11
6	2418	11
done	5001	11
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	7	7
1	12	7
2	20	7
3	21	7
done	21	7
0	3	3
done	3	3
0	12	23
1	20	23
2	29	23
3	35	23
done	35	23
0	10	11
1	12	11
done	12	11
0	11	19
1	15	19
2	17	19
3	18	19
done	18	19
0	10	11
1	12	11
done	12	11
0	10	17
1	16	15
2	22	15
3	27	15
done	27	15
0	9	10
1	11	10
done	11	10
0	11	15
1	15	15
done	15	15
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	9	9
1	13	7
2	15	7
done	15	7
0	9	10
1	11	10
done	11	10
0	6	9
1	10	9
done	10	9
0	9	10
1	11	10
done	11	10
0	5	5
1	7	5
done	7	5
0	9	10
1	11	10
done	11	10
0	2	3
1	4	1
done	4	1
0	8	9
1	10	9
done	10	9
0	4	4
1	6	4
done	6	4
0	8	9
1	10	9
done	10	9
0	10	14
1	14	14
done	14	14
0	9	10
1	11	10
done	11	10
0	8	8
1	12	6
2	14	6
done	14	6
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	8	9
1	10	9
done	10	9
0	12	23
1	37	18
2	94	18
3	228	18
4	452	18
5	551	18
6	623	18
7	723	18
8	1035	18
9	1933	18
10	2461	18
11	2462	18
done	2462	18
0	8	9
1	12	9
2	25	9
3	46	9
4	60	9
5	68	9
done	68	9
0	15	21
1	45	19
2	131	15
3	299	13
4	685	13
5	1457	13
6	4487	13
done	5000	13
0	19	31
1	49	31
2	169	31
3	520	29
4	2049	26
done	5000	26
0	19	31
1	49	31
2	169	31
3	520	29
4	2049	26
done	5000	26
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	21	13
2	30	11
3	31	11
4	36	11
5	38	11
done	38	11
0	11	14
1	20	14
2	27	12
3	31	12
4	44	12
5	65	12
6	74	12
7	79	12
8	89	12
9	96	11
10	103	11
11	112	9
12	113	9
done	113	9
0	11	14
1	20	14
2	27	12
3	31	12
4	44	12
5	65	12
6	74	12
7	79	12
8	89	12
9	96	11
10	103	11
11	112	9
12	113	9
done	113	9

prune201.0ms

Filtered

105 candidates to 126 candidates (-20.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	122	4	126
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	124	9	133

Merged error: 0.0b

Counts

133 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(* e (cos v))
0.1b	(* (* (cos v) (cos v)) e)
0.2b	(* (cos v) (cos v))
0.2b	(/ (sin v) (- (/ (* 1.0 1.0) e) (* (* (cos v) (cos v)) e)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
19×	`add-cube-cbrt` `*-un-lft-identity`
18×	`pow1`
15×	`add-exp-log` `add-cbrt-cube`
9×	`times-frac` `associate-r`
7×	`associate-l`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`swap-sqr` `associate-/r` `associate-/r/` `cos-mult` `-commutative` `associate-/l*` `unswap-sqr`
2×	`associate-*l/`
1×	`cbrt-undiv` `pow2` `sqr-cos` `flip3--` `frac-2neg` `pow-plus` `div-exp` `clear-num` `pow-sqr` `pow-prod-up` `frac-sub` `flip--` `div-inv`

Counts

4 → 95

Calls

4 calls:

5.0ms	(* e (cos v))
7.0ms	(* (* (cos v) (cos v)) e)
5.0ms	(* (cos v) (cos v))
12.0ms	(/ (sin v) (- (/ (* 1.0 1.0) e) (* (* (cos v) (cos v)) e)))

series58.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* e (cos v))
12.0ms	(* (* (cos v) (cos v)) e)
3.0ms	(* (cos v) (cos v))
35.0ms	(/ (sin v) (- (/ (* 1.0 1.0) e) (* (* (cos v) (cos v)) e)))

simplify1.5min

Counts

107 → 107

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	18
1	22	18
2	38	18
3	51	18
done	51	18
0	12	17
1	22	17
2	39	17
3	53	17
done	53	17
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	15	50
1	31	50
2	90	20
3	281	18
4	1047	18
5	4783	18
done	5000	18
0	13	35
1	20	35
2	35	35
3	48	35
done	48	35
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	13	50
1	27	50
2	58	18
3	115	18
4	245	18
5	744	18
6	3189	18
done	5000	18
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	3	3
done	3	3
0	10	14
1	17	14
2	35	14
3	70	14
4	114	13
5	116	13
done	116	13
0	15	37
1	28	37
2	52	37
3	71	37
done	71	37
0	13	18
1	20	18
2	35	18
3	48	18
done	48	18
0	14	22
1	23	22
2	40	22
3	54	22
done	54	22
0	13	18
1	20	18
2	35	18
3	48	18
done	48	18
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	14	33
1	23	33
2	38	33
3	51	33
done	51	33
0	13	18
1	20	18
2	35	18
3	48	18
done	48	18
0	13	18
1	20	18
2	35	18
3	48	18
done	48	18
0	13	18
1	20	18
2	35	18
3	48	18
done	48	18
0	5	5
1	7	3
2	9	3
done	9	3
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	13	31
1	24	31
2	39	31
3	52	31
done	52	31
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	12	16
1	21	16
2	36	16
3	49	16
done	49	16
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	2	3
1	4	1
done	4	1
0	11	16
1	18	16
2	33	16
3	46	16
done	46	16
0	11	15
1	20	15
2	35	15
3	48	15
done	48	15
0	11	16
1	21	16
2	48	16
3	89	16
4	152	16
5	209	16
6	224	16
done	224	16
0	13	32
1	22	32
2	37	32
3	50	32
done	50	32
0	12	17
1	19	17
2	34	17
3	47	17
done	47	17
0	4	4
1	6	2
2	8	2
done	8	2
0	12	17
1	22	17
2	49	17
3	90	17
4	153	17
5	210	17
6	225	17
done	225	17
0	12	17
1	22	17
2	49	17
3	90	17
4	153	17
5	210	17
6	225	17
done	225	17
0	11	16
1	21	16
2	48	16
3	89	16
4	152	16
5	209	16
6	224	16
done	224	16
0	16	22
1	29	19
2	51	19
3	95	19
4	153	19
5	199	19
6	312	19
7	390	19
8	495	19
9	798	19
10	870	19
done	870	19
0	14	20
1	39	20
2	137	20
3	586	19
4	2213	19
done	5000	19
0	13	30
1	34	30
2	100	30
3	285	24
4	594	19
5	957	19
6	1758	19
7	4083	19
done	5001	19
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	5	7
1	8	7
2	10	7
done	10	7
0	5	7
1	8	7
2	10	7
done	10	7
0	7	10
1	12	8
2	15	8
done	15	8
0	7	9
1	10	9
2	16	8
3	17	8
done	17	8
0	6	8
1	12	8
2	19	8
3	26	8
4	27	8
done	27	8
0	6	8
1	11	8
2	22	8
3	38	8
4	80	8
5	185	8
6	447	8
7	1208	8
8	4687	8
done	5001	8
0	9	23
1	22	23
2	71	13
3	213	8
4	445	8
5	1207	8
6	4157	8
done	5000	8
0	9	23
1	23	23
2	72	11
3	214	8
4	448	8
5	1278	8
6	4331	8
done	5000	8
0	7	17
1	10	17
2	12	17
done	12	17
0	6	8
1	9	8
2	11	8
done	11	8
0	7	23
1	20	23
2	71	9
3	235	9
4	360	9
5	526	8
6	1418	8
7	4790	8
done	5000	8
0	6	8
1	9	8
2	11	8
done	11	8
0	6	8
1	9	8
2	11	8
done	11	8
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	11
1	14	11
2	25	11
done	25	11
0	6	8
1	9	8
2	11	8
done	11	8
0	5	7
1	10	5
2	18	5
done	18	5
0	4	4
1	5	4
done	5	4
0	8	11
1	16	8
2	26	8
done	26	8
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	15	21
1	47	19
2	128	17
3	375	17
4	998	17
5	2499	17
done	5001	17
0	18	24
1	46	24
2	146	24
3	549	24
4	3508	24
done	5000	24
0	18	24
1	46	24
2	146	24
3	549	24
4	3508	24
done	5000	24
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	6	7
1	14	7
2	37	7
3	56	7
4	70	7
5	87	7
6	112	7
7	178	7
8	381	7
9	1317	7
done	5001	7
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	1	1
done	1	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune156.0ms

Filtered

76 candidates to 107 candidates (-40.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	107	9	116

Merged error: 0.0b

Counts

116 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (sqrt e) (* (sqrt e) (sin v))) (+ 1.0 (* e (cos v))))
0.1b	(* e (cos v))
0.2b	(* (sqrt e) (* (sqrt e) (sin v)))
0.3b	(* (sqrt e) (sin v))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt`
15×	`associate-l`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`prod-exp` `cbrt-unprod`
7×	`associate-r` `sqrt-prod`
5×	`pow-prod-down`
4×	`add-log-exp`
3×	`cbrt-undiv` `times-frac` `div-exp` `associate-/r` `-commutative` `unswap-sqr`
2×	`associate-/r/`
1×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `div-inv` `associate-/l*`

Counts

4 → 86

Calls

4 calls:

11.0ms	(/ (* (sqrt e) (* (sqrt e) (sin v))) (+ 1.0 (* e (cos v))))
5.0ms	(* e (cos v))
8.0ms	(* (sqrt e) (* (sqrt e) (sin v)))
7.0ms	(* (sqrt e) (sin v))

series71.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ (* (sqrt e) (* (sqrt e) (sin v))) (+ 1.0 (* e (cos v))))
7.0ms	(* e (cos v))
11.0ms	(* (sqrt e) (* (sqrt e) (sin v)))
16.0ms	(* (sqrt e) (sin v))

simplify1.4min

Counts

98 → 98

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5000	6
0	9	17
1	16	13
2	38	9
3	69	9
4	94	9
5	138	9
6	255	9
7	649	9
8	2097	9
done	5001	9
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	88	7
4	104	7
5	148	7
6	281	7
7	746	7
8	2767	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	10
1	10	10
2	12	10
done	12	10
0	6	6
1	7	6
done	7	6
0	4	4
1	7	2
2	10	2
done	10	2
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	6	8
1	10	8
2	11	4
done	11	4
0	6	8
1	10	8
2	11	4
done	11	4
0	8	11
1	12	11
2	15	9
3	16	9
done	16	9
0	8	10
1	12	10
2	15	10
3	18	9
4	19	9
done	19	9
0	7	9
1	14	9
2	21	5
3	25	5
4	27	5
5	28	5
done	28	5
0	7	9
1	13	9
2	22	5
3	41	5
4	86	5
5	195	5
6	485	5
7	1503	5
done	5001	5
0	10	26
1	22	18
2	76	10
3	205	8
4	368	8
5	589	6
6	1091	6
7	2963	6
done	5000	6
0	10	26
1	26	18
2	87	12
3	253	12
4	373	6
5	553	6
6	1402	6
7	4778	6
done	5000	6
0	8	19
1	12	19
2	13	11
done	13	11
0	7	9
1	11	9
2	12	5
done	12	5
0	8	26
1	21	26
2	76	6
3	196	6
4	353	6
5	538	6
6	1334	6
7	4404	6
done	5000	6
0	7	9
1	11	9
2	12	5
done	12	5
0	7	9
1	11	9
2	12	5
done	12	5
0	3	5
done	3	1
0	7	9
1	11	9
2	17	9
done	17	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	7	9
1	11	9
2	17	9
done	17	9
0	6	8
1	10	8
2	11	4
done	11	4
0	7	9
1	11	9
2	17	9
done	17	9
0	6	8
1	10	8
2	11	4
done	11	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	14	19
1	24	19
2	40	17
3	62	17
4	81	17
5	106	17
6	170	17
7	230	17
8	268	17
9	298	17
10	354	17
11	355	17
done	355	17
0	14	18
1	24	18
2	36	18
3	53	17
4	73	17
5	96	17
6	149	17
7	205	17
8	273	17
9	305	17
10	361	17
11	362	17
done	362	17
0	13	17
1	24	17
2	36	13
3	59	13
4	90	13
5	109	13
6	139	13
7	210	13
8	283	13
9	341	13
10	378	13
11	440	13
12	443	13
done	443	13
0	12	16
1	23	16
2	43	12
3	87	12
4	154	12
5	205	12
6	277	12
7	329	12
8	411	12
9	481	12
10	484	12
done	484	12
0	12	16
1	20	16
2	29	12
3	48	12
4	70	12
5	102	12
6	172	12
7	353	12
8	827	12
9	2355	12
done	5000	12
0	17	47
1	51	39
2	237	19
3	1201	17
done	5000	17
0	17	47
1	55	39
2	242	21
3	1277	21
done	5001	21
0	15	47
1	50	47
2	229	15
3	1420	13
done	5001	13
0	13	33
1	21	33
2	30	25
3	47	25
4	59	25
5	61	25
6	62	25
done	62	25
0	12	16
1	20	16
2	29	12
3	46	12
4	58	12
5	60	12
6	61	12
done	61	12
0	13	47
1	28	47
2	80	13
3	373	13
4	2072	13
done	5000	13
0	12	16
1	20	16
2	29	12
3	46	12
4	58	12
5	60	12
6	61	12
done	61	12
0	12	16
1	20	16
2	29	12
3	46	12
4	58	12
5	60	12
6	61	12
done	61	12
0	7	9
1	15	9
2	29	5
3	33	5
done	33	5
0	7	7
1	12	7
2	20	7
3	21	7
done	21	7
0	10	18
1	14	18
done	14	18
0	11	13
1	16	13
2	20	13
3	23	13
4	24	13
done	24	13
0	9	10
1	11	10
done	11	10
0	11	13
1	16	13
2	20	13
3	23	13
4	24	13
done	24	13
0	4	4
1	6	2
2	8	2
done	8	2
0	10	12
1	15	12
2	19	12
3	22	12
4	23	12
done	23	12
0	8	8
1	12	8
done	12	8
0	11	15
1	19	15
2	28	11
3	31	11
done	31	11
0	13	24
1	26	24
2	54	20
3	113	20
4	153	20
5	162	20
6	163	20
done	163	20
0	12	16
1	20	16
2	29	12
3	46	12
4	58	12
5	60	12
6	61	12
done	61	12
0	8	10
1	16	8
2	29	4
3	56	4
4	86	4
5	96	4
6	100	4
done	100	4
0	10	12
1	15	12
2	17	12
done	17	12
0	14	19
1	38	19
2	85	15
3	180	15
4	314	15
5	741	15
6	2691	15
done	5000	15
0	13	22
1	32	22
2	92	18
3	280	18
4	728	18
5	1777	18
6	3206	18
done	5000	18
0	18	25
1	56	23
2	172	23
3	450	19
4	1314	19
5	4860	17
done	5000	17
0	17	24
1	44	24
2	114	24
3	245	21
4	622	18
5	1909	18
done	5000	18
0	17	24
1	45	24
2	120	24
3	287	21
4	836	18
5	2716	18
done	5000	18
0	3	3
1	4	3
done	4	3
0	4	4
1	5	4
done	5	4
0	21	30
1	53	30
2	168	30
3	483	30
4	2645	27
done	5000	27
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	15	21
1	45	19
2	131	15
3	299	13
4	685	13
5	1457	13
6	4487	13
done	5000	13
0	19	31
1	49	31
2	169	31
3	520	29
4	2049	26
done	5000	26
0	43	97
1	146	97
2	746	97
3	4662	97
done	5000	97

prune128.0ms

Filtered

82 candidates to 98 candidates (-19.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

regimes128.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample2.1s

Algorithm

intervals

Results

713.0ms	1512×	body	1280	valid
402.0ms	1265×	body	640	valid
334.0ms	4299×	body	80	valid
150.0ms	8000×	pre	80	true
135.0ms	596×	body	320	valid
61.0ms	328×	body	160	valid

Details

sample96.0ms

simplify20.0ms

prune5.0ms

localize12.0ms

rewrite21.0ms

series56.0ms

simplify53.5s

prune117.0ms

localize10.0ms

rewrite25.0ms

series51.0ms

simplify49.4s

prune201.0ms

localize17.0ms

rewrite32.0ms

series58.0ms

simplify1.5min

prune156.0ms

localize13.0ms

rewrite33.0ms

series71.0ms

simplify1.4min

prune128.0ms

regimes128.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling