Details

sample303.0ms

Algorithm

intervals

Results

187.0ms	110×	body	1280	valid
52.0ms	47×	body	640	valid
17.0ms	23×	body	320	valid
15.0ms	65×	body	80	valid
6.0ms	11×	body	160	valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	33
1	35	33
2	54	33
3	57	33
done	57	33

prune7.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.2b

Counts

2 → 1

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos phi1) (sin delta))
0.2b	(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.3b	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.5b	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite20.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` `asin-acos` `flip3--` `diff-log` `flip--` `sin-mult`

Counts

4 → 57

Calls

4 calls:

7.0ms	(* (cos phi1) (sin delta))
6.0ms	(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
2.0ms	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
4.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series117.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (cos phi1) (sin delta))
40.0ms	(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
14.0ms	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
51.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify55.2s

Counts

69 → 69

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	18	24
1	29	23
2	43	23
3	62	23
4	100	23
5	202	23
6	523	23
7	1837	23
done	5000	23
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	29	23
2	48	23
3	64	23
4	100	23
5	204	23
6	572	23
7	2184	23
done	5000	23
0	18	47
1	27	47
2	40	47
done	40	47
0	17	23
1	26	23
2	39	23
done	39	23
0	18	68
1	28	68
2	55	24
3	130	24
4	421	24
5	1399	24
6	4128	24
done	5001	24
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	26	23
2	39	23
done	39	23
0	19	26
1	44	26
2	105	26
3	304	26
4	760	26
5	1905	26
done	5000	26
0	20	68
1	42	48
2	81	48
3	94	48
4	95	48
done	95	48
0	16	20
1	27	20
2	35	20
done	35	20
0	18	45
1	37	45
2	73	45
3	131	45
4	181	45
5	274	45
6	374	45
7	616	45
8	2056	45
done	5001	45
0	16	22
1	24	22
2	30	22
done	30	22
0	16	20
1	27	20
2	35	20
done	35	20
0	3	3
done	3	3
0	13	15
1	19	15
2	25	15
done	25	15
0	14	16
1	20	16
2	26	16
done	26	16
0	14	16
1	20	16
2	26	16
done	26	16
0	15	33
1	21	33
2	27	33
done	27	33
0	14	16
1	20	16
2	26	16
done	26	16
0	15	47
1	22	47
2	30	17
3	35	17
4	41	17
5	51	17
6	72	17
7	138	17
8	355	17
9	1282	17
done	5001	17
0	14	16
1	20	16
2	26	16
done	26	16
0	14	16
1	20	16
2	26	16
done	26	16
0	18	37
1	29	37
2	37	37
done	37	37
0	15	19
1	22	19
2	28	19
done	28	19
0	17	21
1	24	21
2	30	21
done	30	21
0	16	20
1	26	20
2	33	20
done	33	20
0	16	20
1	25	20
2	37	20
3	45	20
4	68	20
5	124	20
6	263	20
7	723	20
8	2751	20
done	5001	20
0	19	59
1	32	59
2	63	23
3	101	23
4	161	21
5	281	21
6	686	21
7	2510	21
done	5000	21
0	17	41
1	24	41
2	30	41
done	30	41
0	16	20
1	23	20
2	29	20
done	29	20
0	17	59
1	34	59
2	69	21
3	114	21
4	130	21
5	176	21
6	316	21
7	760	21
8	2765	21
done	5000	21
0	16	20
1	23	20
2	29	20
done	29	20
0	16	20
1	23	20
2	29	20
done	29	20
0	17	21
1	24	21
2	30	21
done	30	21
0	17	21
1	24	21
2	30	21
done	30	21
0	17	38
1	26	38
2	34	38
done	34	38
0	16	20
1	23	20
2	29	20
done	29	20
0	4	4
1	7	2
2	10	2
done	10	2
0	16	20
1	23	20
2	29	20
done	29	20
0	16	20
1	23	20
2	29	20
done	29	20
0	15	19
1	22	19
2	28	19
done	28	19
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	17
2	41	9
3	80	9
4	138	7
5	265	7
6	663	7
7	2444	7
done	5000	7
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	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2738	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	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	5	5
1	6	5
done	6	5
0	10	11
1	23	11
2	45	11
3	104	9
4	240	9
5	627	9
6	2147	9
done	5001	9
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	13	15
1	19	15
2	25	15
done	25	15
0	13	15
1	19	15
2	25	15
done	25	15
0	13	15
1	19	15
2	25	15
done	25	15
0	6	7
1	13	7
2	25	5
3	32	5
4	38	5
5	48	5
6	72	5
7	129	5
8	347	5
9	1285	5
done	5001	5
0	13	17
1	26	17
2	48	17
3	78	17
4	86	17
done	86	17
0	13	17
1	26	17
2	48	17
3	78	17
4	86	17
done	86	17
0	13	15
1	35	15
2	87	15
3	187	15
4	428	15
5	895	15
6	2617	15
done	5000	15
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune191.0ms

Filtered

53 candidates to 69 candidates (-30.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	61	8	69
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	62	8	70

Merged error: 0.1b

Counts

70 → 8

localize39.0ms

Local error

Found 4 expressions with local error:

0.3b	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.3b	(/ (* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
0.3b	(* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
0.5b	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
8×	`frac-times` `add-cube-cbrt` `*-un-lft-identity` `associate-/l/`
7×	`flip3--` `flip3-+` `flip--` `flip-+`
6×	`pow1` `add-log-exp`
4×	`associate-r/` `associate-l/`
3×	`times-frac` `associate-r` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod`
1×	`distribute-rgt-in` `sub-neg` `asin-acos` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `unswap-sqr`

Counts

4 → 79

Calls

4 calls:

2.0ms	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
16.0ms	(/ (* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
9.0ms	(* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
5.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series236.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
57.0ms	(/ (* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
121.0ms	(* (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
51.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify3.6min

Counts

91 → 91

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	18	24
1	29	23
2	43	23
3	62	23
4	100	23
5	202	23
6	523	23
7	1837	23
done	5000	23
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	29	23
2	48	23
3	64	23
4	100	23
5	204	23
6	572	23
7	2184	23
done	5000	23
0	18	47
1	27	47
2	40	47
done	40	47
0	17	23
1	26	23
2	39	23
done	39	23
0	18	68
1	28	68
2	55	24
3	130	24
4	421	24
5	1399	24
6	4128	24
done	5001	24
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	26	23
2	39	23
done	39	23
0	19	26
1	44	26
2	105	26
3	304	26
4	760	26
5	1905	26
done	5000	26
0	20	68
1	42	48
2	81	48
3	94	48
4	95	48
done	95	48
0	16	20
1	27	20
2	35	20
done	35	20
0	18	45
1	37	45
2	73	45
3	131	45
4	181	45
5	274	45
6	374	45
7	616	45
8	2056	45
done	5001	45
0	16	22
1	24	22
2	30	22
done	30	22
0	16	20
1	27	20
2	35	20
done	35	20
0	18	45
1	35	45
2	74	45
3	166	45
4	281	45
5	395	45
6	559	45
7	866	45
8	2861	45
done	5000	45
0	20	47
1	31	47
2	44	47
done	44	47
0	19	46
1	39	46
2	79	46
3	169	46
4	278	46
5	392	46
6	556	46
7	863	46
8	2856	46
done	5000	46
0	19	46
1	38	46
2	91	46
3	224	46
4	494	46
5	1160	46
done	5001	46
0	22	137
1	51	137
2	173	49
3	719	49
4	3842	47
done	5000	47
0	20	93
1	37	93
2	76	93
3	166	93
4	279	93
5	393	93
6	557	93
7	864	93
8	2855	93
done	5000	93
0	19	46
1	36	46
2	75	46
3	165	46
4	288	46
5	402	46
6	566	46
7	873	46
8	2865	46
done	5000	46
0	20	137
1	47	137
2	171	47
3	824	47
4	4923	47
done	5000	47
0	19	46
1	36	46
2	75	46
3	165	46
4	288	46
5	402	46
6	566	46
7	873	46
8	2865	46
done	5000	46
0	19	46
1	36	46
2	75	46
3	165	46
4	288	46
5	402	46
6	566	46
7	873	46
8	2865	46
done	5000	46
0	21	53
1	54	53
2	161	53
3	783	53
done	5000	53
0	23	137
1	58	97
2	177	97
3	733	97
4	3252	97
done	5000	97
0	23	72
1	59	72
2	161	72
3	556	72
4	3002	72
done	5001	72
0	22	91
1	47	71
2	113	71
3	267	71
4	797	71
5	1974	71
6	4386	71
done	5001	71
0	23	72
1	64	72
2	194	72
3	891	72
4	4955	72
done	5000	72
0	22	91
1	53	71
2	140	71
3	392	71
4	1155	71
5	2613	71
done	5000	71
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	18	45
1	29	45
2	56	45
3	108	45
4	225	45
5	344	45
6	477	45
7	649	45
8	1414	45
9	4942	45
done	5000	45
0	20	47
1	31	47
2	44	47
done	44	47
0	20	47
1	31	47
2	44	47
done	44	47
0	17	25
1	27	25
2	45	25
3	64	25
4	78	25
5	86	25
done	86	25
0	17	42
1	29	42
2	54	42
3	97	42
4	140	42
5	148	42
done	148	42
0	17	25
1	27	25
2	45	25
3	64	25
4	78	25
5	86	25
done	86	25
0	17	42
1	29	42
2	60	42
3	105	42
4	141	42
5	145	42
done	145	42
0	20	70
1	33	70
2	54	70
3	87	70
4	135	70
5	179	70
6	203	70
done	203	70
0	19	46
1	30	46
2	49	46
3	70	46
4	80	46
5	88	46
done	88	46
0	18	24
1	30	22
2	52	22
3	79	22
4	122	22
5	136	22
done	136	22
0	19	46
1	36	46
2	58	46
3	60	46
done	60	46
0	19	46
1	36	46
2	58	46
3	60	46
done	60	46
0	18	45
1	35	45
2	74	45
3	166	45
4	281	45
5	395	45
6	559	45
7	866	45
8	2861	45
done	5000	45
0	21	49
1	54	49
2	152	49
3	549	49
4	2175	49
done	5001	49
0	20	68
1	41	68
2	100	68
3	289	68
4	982	68
5	2692	68
done	5000	68
0	21	49
1	54	49
2	142	49
3	531	49
4	2511	49
done	5000	49
0	20	68
1	46	68
2	118	68
3	363	68
4	1079	68
5	2206	68
done	5000	68
0	21	71
1	36	71
2	57	25
3	62	23
4	111	23
5	460	23
6	959	23
7	2606	23
done	5000	23
0	21	70
1	42	70
2	87	70
3	189	25
4	296	23
5	459	23
6	978	23
7	1848	23
done	5001	23
0	20	69
1	42	69
2	97	25
3	222	23
4	658	23
5	3196	23
done	5001	23
0	20	69
1	39	69
2	86	25
3	202	23
4	548	23
5	2639	23
done	5000	23
0	23	206
1	59	206
2	248	26
3	1127	24
done	5001	24
0	23	206
1	69	206
2	304	72
3	1667	26
done	5001	26
0	21	139
1	40	139
2	87	51
3	200	47
4	525	47
5	2578	47
done	5000	47
0	20	69
1	39	69
2	86	25
3	197	23
4	521	23
5	2570	23
done	5001	23
0	21	206
1	47	206
2	143	26
3	651	24
4	3782	24
done	5000	24
0	20	69
1	39	69
2	86	25
3	197	23
4	521	23
5	2570	23
done	5001	23
0	20	69
1	39	69
2	86	25
3	197	23
4	521	23
5	2570	23
done	5001	23
0	19	46
1	40	46
2	97	46
3	263	46
4	679	45
5	1075	45
6	1586	45
7	2164	45
8	4684	45
done	5000	45
0	17	23
1	28	23
2	42	23
3	43	23
done	43	23
0	20	70
1	35	70
2	63	70
3	94	70
4	137	70
5	161	70
6	169	70
done	169	70
0	18	46
1	26	46
2	32	46
done	32	46
0	19	46
1	32	46
2	51	46
3	59	46
4	75	46
5	81	46
done	81	46
0	18	46
1	26	46
2	32	46
done	32	46
0	18	24
1	32	22
2	53	22
3	65	22
4	94	22
5	110	22
6	118	22
done	118	22
0	17	45
1	26	1
2	34	1
done	34	1
0	18	24
1	28	24
2	34	24
done	34	24
0	19	68
1	38	68
2	79	68
3	168	24
4	278	24
5	392	24
6	555	24
7	862	24
8	2855	24
done	5001	24
0	21	93
1	45	93
2	104	93
3	247	93
4	505	93
5	1060	93
6	2378	93
7	4152	93
done	5000	93
0	20	69
1	39	69
2	85	69
3	197	69
4	362	69
5	625	69
6	1170	69
7	2005	69
done	5001	69
0	20	47
1	41	45
2	91	45
3	212	45
4	397	45
5	668	45
6	1191	45
7	2090	45
8	4689	45
done	5000	45
0	17	45
1	26	1
2	34	1
done	34	1
0	23	72
1	59	72
2	142	72
3	338	72
4	634	72
5	1345	72
6	3856	72
done	5000	72
0	22	91
1	50	91
2	135	91
3	369	1
4	921	1
5	4270	1
done	5001	1
0	25	160
1	63	120
2	223	120
3	1102	120
done	5000	120
0	24	114
1	52	94
2	151	94
3	555	94
4	2333	94
done	5000	94
0	23	114
1	57	94
2	172	94
3	571	94
4	2300	94
done	5001	94
0	19	68
1	33	68
2	81	68
3	222	68
4	723	68
5	2102	68
done	5000	68
0	22	91
1	53	71
2	140	71
3	392	71
4	1155	71
5	2613	71
done	5000	71
0	18	45
1	29	45
2	56	45
3	108	45
4	225	45
5	344	45
6	477	45
7	649	45
8	1414	45
9	4942	45
done	5000	45
0	22	91
1	51	71
2	132	71
3	312	71
4	661	71
5	1157	71
6	1794	71
7	2496	71
8	2768	71
9	3437	71
done	5001	71
0	17	45
1	31	45
2	58	45
3	100	45
4	142	45
5	178	45
6	217	45
7	227	45
done	227	45
0	3	3
done	3	3
0	13	15
1	19	15
2	25	15
done	25	15
0	14	16
1	20	16
2	26	16
done	26	16
0	14	16
1	20	16
2	26	16
done	26	16
0	15	33
1	21	33
2	27	33
done	27	33
0	14	16
1	20	16
2	26	16
done	26	16
0	15	47
1	22	47
2	30	17
3	35	17
4	41	17
5	51	17
6	72	17
7	138	17
8	355	17
9	1282	17
done	5001	17
0	14	16
1	20	16
2	26	16
done	26	16
0	14	16
1	20	16
2	26	16
done	26	16
0	10	11
1	23	11
2	45	11
3	104	9
4	240	9
5	627	9
6	2147	9
done	5001	9
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	5	5
1	13	5
2	26	5
3	44	5
4	90	5
5	230	5
6	753	5
7	3202	5
done	5000	5
0	20	45
1	41	45
2	114	44
3	392	44
4	2156	41
done	5000	41
0	20	45
1	41	45
2	114	44
3	392	44
4	2156	41
done	5000	41
0	10	11
1	23	11
2	45	11
3	104	9
4	240	9
5	627	9
6	2147	9
done	5001	9
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	13	15
1	19	15
2	25	15
done	25	15
0	13	15
1	19	15
2	25	15
done	25	15
0	13	15
1	19	15
2	25	15
done	25	15

prune229.0ms

Filtered

74 candidates to 91 candidates (-23.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	90	9	99

Merged error: 0.1b

Counts

99 → 9

localize56.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
0.4b	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
0.4b	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
0.5b	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

192×	`sin-mult`
160×	`cos-mult`
138×	`frac-times`
96×	`frac-sub`
82×	`associate-r/` `associate-l/`
64×	`sub-div`
63×	`associate-/l/`
39×	`flip3--` `flip--`
20×	`add-exp-log` `add-cbrt-cube`
14×	`add-sqr-sqrt`
13×	`pow1`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-/r/`
7×	`associate-r` `associate-l`
6×	`flip3-+` `prod-exp` `cbrt-unprod` `flip-+` `add-log-exp`
5×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
4×	`cbrt-undiv` `swap-sqr` `div-exp` `difference-of-squares`
2×	`sqr-cos` `pow-prod-down` `associate--l+` `*-commutative` `unswap-sqr`
1×	`pow2` `frac-2neg` `times-frac` `pow-plus` `diff-log` `clear-num` `associate-/r` `pow-sqr` `pow-prod-up` `div-inv` `associate-/l`

Counts

4 → 231

Calls

4 calls:

9.0ms	(* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
24.0ms	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
33.0ms	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
5.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series1.1s

Counts

4 → 12

Calls

4 calls:

121.0ms	(* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
324.0ms	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
636.0ms	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
51.0ms	(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify13.1min

Counts

243 → 243

Iterations

Useful iterations: 3 (46.0ms)

Iter	Nodes	Cost
0	18	24
1	29	23
2	43	23
3	62	23
4	100	23
5	202	23
6	523	23
7	1837	23
done	5000	23
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	29	23
2	48	23
3	64	23
4	100	23
5	204	23
6	572	23
7	2184	23
done	5000	23
0	18	47
1	27	47
2	40	47
done	40	47
0	17	23
1	26	23
2	39	23
done	39	23
0	18	68
1	28	68
2	55	24
3	130	24
4	421	24
5	1399	24
6	4128	24
done	5001	24
0	17	23
1	26	23
2	39	23
done	39	23
0	17	23
1	26	23
2	39	23
done	39	23
0	19	26
1	44	26
2	105	26
3	304	26
4	760	26
5	1905	26
done	5000	26
0	20	68
1	42	48
2	81	48
3	94	48
4	95	48
done	95	48
0	16	20
1	27	20
2	35	20
done	35	20
0	18	45
1	37	45
2	73	45
3	131	45
4	181	45
5	274	45
6	374	45
7	616	45
8	2056	45
done	5001	45
0	16	22
1	24	22
2	30	22
done	30	22
0	16	20
1	27	20
2	35	20
done	35	20
0	26	141
1	55	96
2	116	95
3	261	95
4	578	48
5	1900	46
done	5000	46
0	25	140
1	54	95
2	131	95
3	289	95
4	574	48
5	1545	46
done	5000	46
0	26	140
1	53	140
2	127	95
3	406	95
4	1871	48
done	5000	48
0	25	139
1	51	139
2	137	95
3	485	48
4	2186	46
done	5001	46
0	24	138
1	54	138
2	179	138
3	922	48
4	4727	46
done	5000	46
0	24	138
1	51	138
2	164	138
3	857	48
4	4599	46
done	5000	46
0	29	413
1	82	413
2	389	145
3	3259	95
done	5001	95
0	27	413
1	71	413
2	434	143
done	5000	49
0	29	413
1	83	413
2	394	143
3	3359	95
done	5001	95
0	27	413
1	72	413
2	455	143
done	5001	49
0	25	277
1	52	277
2	163	277
3	842	97
4	4433	93
done	5001	93
0	24	138
1	51	138
2	162	138
3	841	48
4	4464	46
done	5000	46
0	25	413
1	59	413
2	247	139
3	2087	49
done	5000	49
0	24	138
1	51	138
2	162	138
3	841	48
4	4464	46
done	5000	46
0	24	138
1	51	138
2	162	138
3	841	48
4	4464	46
done	5000	46
0	20	92
1	42	92
2	108	92
3	414	92
4	2448	91
done	5001	91
0	19	46
1	34	46
2	74	46
3	201	46
4	586	45
5	994	45
6	1462	45
7	1731	45
8	2376	45
done	5000	45
0	20	68
1	42	68
2	91	68
3	188	68
4	363	24
5	650	22
6	1502	22
done	5001	22
0	20	68
1	43	68
2	102	68
3	242	24
4	529	22
5	1362	22
done	5000	22
0	20	47
1	35	47
2	64	47
3	116	47
4	233	47
5	360	47
6	493	47
7	662	47
8	1425	47
9	4965	47
done	5000	47
0	23	137
1	50	137
2	160	137
3	823	47
4	4550	47
done	5001	47
0	21	114
1	42	114
2	99	114
3	317	70
4	1552	68
done	5000	68
0	22	91
1	44	91
2	117	91
3	321	1
4	824	1
5	3606	1
done	5000	1
0	26	145
1	70	145
2	217	145
3	1017	145
done	5002	145
0	25	164
1	67	164
2	210	74
3	958	72
done	5001	72
0	25	164
1	68	164
2	224	74
3	1161	72
done	5000	72
0	20	183
1	45	1
2	110	1
3	377	1
4	3263	1
done	5000	1
0	26	141
1	69	141
2	215	141
3	953	97
done	5002	97
0	22	160
1	49	160
2	150	70
3	685	24
done	5000	24
0	26	141
1	69	141
2	210	141
3	872	97
4	4513	95
done	5000	95
0	22	160
1	50	160
2	159	70
3	777	24
done	5000	24
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	23	53
1	47	47
2	86	47
3	214	47
4	658	47
5	1713	47
6	3307	47
done	5000	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	28	185
1	79	145
2	294	123
3	1264	120
done	5000	120
0	24	93
1	55	93
2	153	93
3	551	93
4	2547	93
done	5000	93
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	23	53
1	47	47
2	86	47
3	214	47
4	658	47
5	1713	47
6	3307	47
done	5000	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	28	185
1	79	145
2	294	123
3	1264	120
done	5000	120
0	24	93
1	55	93
2	153	93
3	551	93
4	2547	93
done	5000	93
0	23	53
1	45	49
2	92	47
3	236	47
4	751	47
5	2024	47
6	3712	47
done	5001	47
0	23	53
1	45	49
2	92	47
3	236	47
4	751	47
5	2024	47
6	3712	47
done	5001	47
0	23	57
1	51	49
2	113	47
3	312	47
4	1115	47
5	3367	47
done	5000	47
0	23	55
1	50	49
2	109	47
3	303	47
4	1062	47
5	3123	47
done	5000	47
0	23	55
1	50	49
2	109	47
3	303	47
4	1062	47
5	3123	47
done	5000	47
0	30	189
1	88	145
2	328	123
3	1498	120
done	5001	120
0	26	97
1	64	93
2	178	93
3	690	93
4	3447	93
done	5000	93
0	22	51
1	41	47
2	80	47
3	208	47
4	644	47
5	1679	47
6	3234	47
done	5000	47
0	22	51
1	41	47
2	80	47
3	208	47
4	644	47
5	1679	47
6	3234	47
done	5000	47
0	23	55
1	48	49
2	102	47
3	272	47
4	956	47
5	2810	47
done	5000	47
0	22	53
1	45	47
2	84	47
3	204	47
4	596	47
5	1455	47
6	2535	47
7	3500	47
done	5000	47
0	22	53
1	45	47
2	84	47
3	204	47
4	596	47
5	1455	47
6	2535	47
7	3500	47
done	5000	47
0	29	187
1	83	145
2	322	123
3	1480	120
done	5000	120
0	25	95
1	59	93
2	173	93
3	675	93
4	3237	93
done	5000	93
0	22	51
1	41	47
2	80	47
3	208	47
4	644	47
5	1679	47
6	3234	47
done	5000	47
0	22	51
1	41	47
2	80	47
3	208	47
4	644	47
5	1679	47
6	3234	47
done	5000	47
0	23	55
1	48	49
2	102	47
3	272	47
4	956	47
5	2810	47
done	5000	47
0	22	53
1	45	47
2	84	47
3	204	47
4	596	47
5	1455	47
6	2535	47
7	3500	47
done	5000	47
0	22	53
1	45	47
2	84	47
3	204	47
4	596	47
5	1455	47
6	2535	47
7	3500	47
done	5000	47
0	29	187
1	83	145
2	322	123
3	1480	120
done	5000	120
0	25	95
1	59	93
2	173	93
3	675	93
4	3237	93
done	5000	93
0	28	185
1	73	145
2	261	123
3	1147	120
done	5000	120
0	28	185
1	73	145
2	261	123
3	1147	120
done	5000	120
0	30	189
1	82	145
2	277	123
3	1226	120
done	5000	120
0	29	187
1	77	145
2	273	123
3	1233	120
done	5000	120
0	29	187
1	77	145
2	273	123
3	1233	120
done	5000	120
0	27	321
1	77	241
2	324	197
3	1983	191
done	5000	191
0	28	229
1	79	189
2	335	167
3	1869	164
done	5001	164
0	24	93
1	49	93
2	122	93
3	434	93
4	2004	93
done	5001	93
0	24	93
1	49	93
2	122	93
3	434	93
4	2004	93
done	5001	93
0	26	97
1	58	93
2	139	93
3	506	93
4	2521	93
done	5001	93
0	25	95
1	53	93
2	134	93
3	499	93
4	2399	93
done	5000	93
0	25	95
1	53	93
2	134	93
3	499	93
4	2399	93
done	5000	93
0	28	229
1	79	189
2	323	167
3	1621	164
done	5000	164
0	23	137
1	53	137
2	165	137
3	744	137
4	3972	137
done	5000	137
0	20	47
1	34	47
2	67	47
3	163	47
4	438	47
5	926	47
6	1414	47
7	1863	47
8	3123	47
done	5000	47
0	20	47
1	34	47
2	67	47
3	163	47
4	438	47
5	926	47
6	1414	47
7	1863	47
8	3123	47
done	5000	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	26	183
1	74	143
2	276	121
3	1226	118
done	5000	118
0	22	91
1	50	91
2	135	91
3	502	91
4	1959	91
done	5000	91
0	20	47
1	34	47
2	67	47
3	163	47
4	438	47
5	926	47
6	1414	47
7	1863	47
8	3123	47
done	5000	47
0	20	47
1	34	47
2	67	47
3	163	47
4	438	47
5	926	47
6	1414	47
7	1863	47
8	3123	47
done	5000	47
0	22	51
1	43	47
2	82	47
3	208	47
4	648	47
5	1696	47
6	3248	47
done	5001	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	21	49
1	38	47
2	77	47
3	197	47
4	583	47
5	1439	47
6	2496	47
7	3469	47
done	5000	47
0	26	183
1	74	143
2	276	121
3	1226	118
done	5000	118
0	22	91
1	50	91
2	135	91
3	502	91
4	1959	91
done	5000	91
0	2	3
1	6	1
done	6	1
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	2	3
1	6	1
done	6	1
0	20	93
1	41	48
2	81	48
3	151	48
4	213	48
5	309	48
6	401	48
7	643	48
8	2134	48
done	5000	48
0	20	92
1	41	92
2	95	48
3	277	48
4	1179	48
done	5002	48
0	20	92
1	41	92
2	101	92
3	322	92
4	1430	92
done	5000	92
0	21	275
1	47	275
2	128	95
3	611	47
done	5000	47
0	21	185
1	40	185
2	89	185
3	251	185
4	1134	185
5	4928	185
done	5000	185
0	20	92
1	39	92
2	88	92
3	250	92
4	1123	92
done	5000	92
0	21	275
1	48	275
2	141	93
3	778	47
done	5000	47
0	20	92
1	40	46
2	89	46
3	252	46
4	1141	46
done	5001	46
0	20	92
1	40	46
2	89	46
3	252	46
4	1141	46
done	5001	46
0	28	135
1	54	129
2	111	129
3	314	129
4	1373	129
done	5001	129
0	2	3
1	3	1
done	3	1
0	30	135
1	58	129
2	117	129
3	325	129
4	1341	129
done	5000	129
0	2	3
1	3	1
done	3	1
0	34	159
1	69	151
2	175	151
3	542	151
4	2511	151
done	5000	151
0	4	7
1	11	3
2	12	1
done	12	1
0	32	139
1	64	133
2	165	131
3	558	131
4	3003	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	33	139
1	66	133
2	174	131
3	563	131
4	3066	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	34	117
1	86	114
2	264	91
3	1139	91
done	5000	91
0	24	139
1	66	99
2	215	77
3	681	74
4	1749	74
5	2482	55
6	4438	55
done	5000	55
0	33	159
1	80	156
2	220	114
3	801	91
4	4865	91
done	5000	91
0	20	47
1	42	47
2	80	47
3	126	47
4	137	47
done	137	47
0	30	135
1	58	129
2	117	129
3	325	129
4	1343	129
done	5000	129
0	2	3
1	3	1
done	3	1
0	28	135
1	54	129
2	105	129
3	304	129
4	1363	129
done	5001	129
0	2	3
1	3	1
done	3	1
0	34	159
1	69	151
2	169	151
3	530	151
4	2483	151
done	5000	151
0	4	7
1	11	3
2	12	1
done	12	1
0	33	139
1	66	133
2	173	131
3	578	131
4	3162	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	32	139
1	64	133
2	160	131
3	523	131
4	2844	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	34	117
1	86	114
2	258	91
3	1139	91
done	5001	91
0	24	139
1	66	99
2	215	77
3	681	74
4	1749	74
5	2482	55
6	4438	55
done	5000	55
0	33	159
1	80	156
2	212	114
3	794	91
4	4934	91
done	5000	91
0	20	47
1	42	47
2	80	47
3	126	47
4	137	47
done	137	47
0	34	159
1	69	151
2	175	151
3	540	151
4	2525	151
done	5001	151
0	4	7
1	10	3
2	11	1
done	11	1
0	34	159
1	69	151
2	169	151
3	528	151
4	2485	151
done	5000	151
0	4	7
1	10	3
2	11	1
done	11	1
0	30	183
1	56	173
2	116	173
3	304	171
4	1317	171
done	5002	171
0	4	11
1	15	3
2	24	1
done	24	1
0	36	163
1	72	155
2	191	153
3	630	153
4	3177	151
done	5000	151
0	4	9
1	14	3
2	19	1
done	19	1
0	36	163
1	71	155
2	180	153
3	600	153
4	3076	151
done	5001	151
0	4	9
1	14	3
2	19	1
done	19	1
0	38	141
1	91	136
2	272	113
3	1129	113
done	5000	113
0	26	143
1	75	99
2	241	77
3	826	74
4	2516	74
done	5000	74
0	37	183
1	85	178
2	229	136
3	793	113
4	4560	113
done	5000	113
0	22	51
1	51	47
2	99	47
3	184	47
4	327	47
5	438	47
done	438	47
0	32	139
1	64	133
2	165	131
3	559	131
4	3004	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	33	139
1	66	133
2	173	131
3	576	131
4	3136	131
done	5001	131
0	3	5
1	6	1
done	6	1
0	36	163
1	72	155
2	191	153
3	628	153
4	3167	151
done	5000	151
0	4	9
1	12	3
2	16	1
done	16	1
0	31	143
1	58	137
2	133	133
3	404	131
4	2089	131
done	5000	131
0	3	7
1	9	1
2	10	1
done	10	1
0	34	143
1	64	137
2	153	133
3	437	131
4	2204	131
done	5001	131
0	3	7
1	9	1
2	10	1
done	10	1
0	37	121
1	90	118
2	286	93
3	1218	93
done	5000	93
0	25	141
1	70	99
2	237	77
3	820	74
4	2477	74
done	5000	74
0	36	163
1	84	160
2	243	116
3	882	93
done	5000	93
0	21	49
1	46	47
2	94	47
3	180	47
4	260	47
5	310	47
done	310	47
0	33	139
1	66	133
2	174	131
3	562	131
4	3030	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	32	139
1	64	133
2	160	131
3	526	131
4	2862	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	36	163
1	71	155
2	180	153
3	598	153
4	3082	151
done	5000	151
0	4	9
1	12	3
2	16	1
done	16	1
0	34	143
1	64	137
2	153	133
3	437	131
4	2208	131
done	5000	131
0	3	7
1	9	1
2	10	1
done	10	1
0	31	143
1	58	137
2	128	133
3	376	131
4	1909	131
done	5001	131
0	3	7
1	9	1
2	10	1
done	10	1
0	37	121
1	90	118
2	281	93
3	1200	93
done	5001	93
0	25	141
1	70	99
2	237	77
3	820	74
4	2477	74
done	5000	74
0	36	163
1	84	160
2	237	116
3	860	93
done	5000	93
0	21	49
1	46	47
2	94	47
3	180	47
4	260	47
5	310	47
done	310	47
0	34	117
1	86	114
2	264	91
3	1142	91
done	5000	91
0	24	139
1	60	99
2	194	77
3	590	74
4	1327	74
5	2472	55
6	4414	55
done	5001	55
0	34	117
1	86	114
2	258	91
3	1141	91
done	5001	91
0	24	139
1	60	99
2	194	77
3	590	74
4	1327	74
5	2472	55
6	4414	55
done	5001	55
0	38	141
1	91	136
2	272	113
3	1140	113
done	5000	113
0	26	143
1	69	99
2	204	77
3	638	74
4	1736	74
5	4879	55
done	5000	55
0	37	121
1	90	118
2	286	93
3	1235	93
done	5000	93
0	25	141
1	64	99
2	200	77
3	632	74
4	1662	74
5	4612	55
done	5000	55
0	37	121
1	90	118
2	281	93
3	1207	93
done	5000	93
0	25	141
1	64	99
2	200	77
3	632	74
4	1662	74
5	4612	55
done	5000	55
0	22	99
1	55	99
2	182	53
3	873	53
done	5001	53
0	23	275
1	64	195
2	237	151
3	1141	145
done	5000	145
0	25	141
1	70	141
2	242	76
3	1271	53
done	5000	53
0	24	183
1	66	143
2	250	121
3	1060	118
4	3683	118
done	5000	118
0	33	159
1	80	156
2	218	114
3	795	91
4	4868	91
done	5000	91
0	20	47
1	36	47
2	61	47
3	94	47
4	134	47
done	134	47
0	33	159
1	80	156
2	212	114
3	791	91
4	4869	91
done	5000	91
0	20	47
1	36	47
2	61	47
3	94	47
4	134	47
done	134	47
0	37	183
1	85	178
2	227	136
3	791	113
4	4579	113
done	5000	113
0	22	51
1	45	47
2	72	47
3	117	47
4	202	47
5	337	47
6	469	47
done	469	47
0	36	163
1	84	160
2	241	116
3	899	93
done	5000	93
0	21	49
1	40	47
2	67	47
3	108	47
4	203	47
5	282	47
6	334	47
done	334	47
0	36	163
1	84	160
2	235	116
3	860	93
done	5000	93
0	21	49
1	40	47
2	67	47
3	108	47
4	203	47
5	282	47
6	334	47
done	334	47
0	25	141
1	70	141
2	242	76
3	1266	53
done	5001	53
0	24	183
1	66	143
2	238	121
3	868	118
4	2774	118
done	5001	118
0	21	183
1	48	183
2	139	99
3	550	53
4	3404	53
done	5000	53
0	19	91
1	40	91
2	90	91
3	252	91
4	530	91
5	813	74
6	1249	74
7	1833	53
8	2711	53
done	5000	53
0	21	187
1	44	187
2	84	95
3	151	48
4	245	48
5	513	48
6	1096	48
7	1819	48
8	4797	48
done	5000	48
0	20	93
1	39	93
2	75	93
3	134	93
4	187	93
5	278	93
6	374	93
7	616	93
8	2094	93
done	5001	93
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	2	3
1	4	1
done	4	1
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	17	45
1	31	45
2	58	45
3	100	45
4	142	45
5	178	45
6	217	45
7	227	45
done	227	45
0	17	45
1	26	45
2	45	45
3	78	45
4	175	45
5	321	45
6	532	45
7	1027	45
8	1436	45
9	1789	45
10	1795	45
done	1795	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	3	3
1	6	1
done	6	1
0	19	51
1	41	51
2	90	51
3	218	51
4	572	51
5	1219	50
6	1942	50
7	3027	49
done	5000	49
0	20	86
1	44	86
2	118	86
3	533	86
4	2414	85
done	5001	85
0	20	47
1	40	47
2	86	47
3	199	47
4	457	47
5	750	47
6	1048	47
7	1616	47
8	4628	47
done	5000	47
0	25	92
1	48	92
2	101	92
3	303	92
4	1424	92
done	5000	92
0	19	51
1	41	51
2	90	51
3	218	51
4	572	51
5	1219	50
6	1942	50
7	3027	49
done	5000	49
0	20	86
1	44	86
2	118	86
3	533	86
4	2414	85
done	5001	85
0	19	51
1	41	51
2	96	51
3	262	51
4	721	50
5	1359	50
6	2051	49
7	4149	49
done	5001	49
0	20	86
1	44	86
2	124	86
3	639	86
4	2875	68
done	5001	67
0	20	47
1	40	47
2	86	47
3	199	47
4	448	47
5	738	47
6	1041	47
7	1609	47
8	4683	47
done	5000	47
0	25	92
1	48	92
2	101	92
3	303	92
4	1421	92
done	5000	92
0	19	51
1	41	51
2	96	51
3	262	51
4	721	50
5	1359	50
6	2051	49
7	4149	49
done	5001	49
0	20	86
1	44	86
2	124	86
3	639	86
4	2875	68
done	5001	67
0	21	139
1	43	139
2	93	139
3	232	139
4	628	139
5	1348	139
6	2168	139
7	3243	139
done	5000	139
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	20	47
1	42	45
2	91	45
3	215	45
4	475	45
5	640	45
6	820	45
7	1159	45
8	2861	45
done	5000	45
0	20	68
1	46	68
2	118	68
3	363	68
4	1079	68
5	2206	68
done	5000	68
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	20	68
1	41	68
2	100	68
3	289	68
4	982	68
5	2692	68
done	5000	68
0	31	113
1	70	110
2	165	110
3	507	110
4	2367	110
done	5000	110
0	31	113
1	70	110
2	159	110
3	495	110
4	2345	110
done	5000	110
0	35	137
1	75	132
2	175	132
3	510	132
4	2436	132
done	5000	132
0	34	117
1	74	114
2	189	112
3	602	112
4	3208	112
done	5000	112
0	34	117
1	74	114
2	183	112
3	569	112
4	3014	112
done	5001	112
0	23	95
1	62	95
2	217	72
3	1051	72
done	5001	72
0	22	137
1	54	137
2	171	95
3	748	72
4	4576	72
done	5000	72
0	31	113
1	70	110
2	165	110
3	510	110
4	2363	110
done	5000	110
0	31	113
1	70	110
2	159	110
3	497	110
4	2332	110
done	5000	110
0	35	137
1	75	132
2	175	132
3	511	132
4	2434	132
done	5000	132
0	34	117
1	74	114
2	189	112
3	604	112
4	3205	112
done	5000	112
0	34	117
1	74	114
2	183	112
3	572	112
4	2982	112
done	5001	112
0	23	95
1	62	95
2	217	72
3	1053	72
done	5001	72
0	22	137
1	54	137
2	171	95
3	746	72
4	4553	72
done	5000	72
0	18	45
1	29	45
2	56	45
3	108	45
4	225	45
5	344	45
6	477	45
7	649	45
8	1414	45
9	4942	45
done	5000	45
0	20	47
1	31	47
2	44	47
done	44	47
0	19	46
1	33	46
2	61	46
3	113	46
4	232	46
5	359	46
6	492	46
7	664	46
8	1428	46
9	4937	46
done	5000	46
0	19	46
1	32	46
2	69	46
3	147	46
4	351	46
5	772	46
6	2005	46
done	5001	46
0	22	137
1	51	137
2	159	49
3	622	49
4	3471	47
done	5000	47
0	20	93
1	31	93
2	58	93
3	110	93
4	231	93
5	354	93
6	487	93
7	657	93
8	1420	93
9	4979	93
done	5000	93
0	19	46
1	30	46
2	57	46
3	109	46
4	232	46
5	351	46
6	484	46
7	656	46
8	1419	46
9	4969	46
done	5000	46
0	20	137
1	41	137
2	135	47
3	618	47
4	3210	47
done	5000	47
0	19	46
1	30	46
2	57	46
3	109	46
4	232	46
5	351	46
6	484	46
7	656	46
8	1419	46
9	4969	46
done	5000	46
0	19	46
1	30	46
2	57	46
3	109	46
4	232	46
5	351	46
6	484	46
7	656	46
8	1419	46
9	4969	46
done	5000	46
0	21	53
1	48	53
2	123	53
3	445	53
4	2378	53
done	5000	53
0	23	137
1	58	97
2	165	97
3	591	97
4	2776	97
done	5000	97
0	23	72
1	58	72
2	147	72
3	438	72
4	2053	72
done	5000	72
0	22	91
1	53	71
2	134	71
3	354	71
4	1050	71
5	2363	71
6	4685	48
done	5000	48
0	23	72
1	59	72
2	161	72
3	555	72
4	3019	72
done	5001	72
0	22	91
1	53	71
2	138	71
3	399	71
4	1151	71
5	2557	71
done	5000	71
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	18	45
1	35	45
2	74	45
3	166	45
4	281	45
5	395	45
6	559	45
7	866	45
8	2861	45
done	5000	45
0	20	47
1	31	47
2	44	47
done	44	47
0	20	47
1	31	47
2	44	47
done	44	47
0	17	25
1	26	25
2	39	25
3	45	25
4	47	25
done	47	25
0	18	43
1	33	43
2	63	43
3	138	43
4	214	43
5	240	43
done	240	43
0	17	25
1	26	25
2	39	25
3	45	25
4	47	25
done	47	25
0	18	43
1	33	43
2	63	43
3	138	43
4	214	43
5	240	43
done	240	43
0	17	25
1	31	25
2	44	25
done	44	25
0	18	43
1	39	43
2	95	43
3	181	43
4	217	43
done	217	43
0	17	25
1	31	25
2	44	25
done	44	25
0	18	43
1	39	43
2	95	43
3	181	43
4	217	43
done	217	43
0	20	70
1	33	70
2	56	70
3	76	70
4	94	70
5	98	70
done	98	70
0	19	46
1	30	46
2	51	46
3	59	46
4	61	46
done	61	46
0	18	24
1	29	22
2	46	22
3	62	22
4	78	22
done	78	22
0	19	46
1	30	46
2	49	46
3	70	46
4	80	46
5	88	46
done	88	46
0	19	46
1	30	46
2	49	46
3	70	46
4	80	46
5	88	46
done	88	46
0	18	45
1	29	45
2	56	45
3	108	45
4	225	45
5	344	45
6	477	45
7	649	45
8	1414	45
9	4942	45
done	5000	45
0	21	49
1	48	49
2	123	49
3	403	49
4	1706	49
done	5000	49
0	20	68
1	40	68
2	91	68
3	237	68
4	705	68
5	1532	68
6	3571	68
done	5000	68
0	21	49
1	48	49
2	113	49
3	287	49
4	1036	49
5	4162	49
done	5000	49
0	20	68
1	41	68
2	100	68
3	289	68
4	986	68
5	2619	68
done	5000	68
0	10	11
1	23	11
2	45	11
3	104	9
4	240	9
5	627	9
6	2147	9
done	5001	9
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	16	22
1	34	22
2	79	22
3	191	22
4	597	20
5	2009	20
done	5000	20
0	5	5
1	13	5
2	26	5
3	44	5
4	90	5
5	230	5
6	753	5
7	3202	5
done	5000	5
0	45	116
1	129	116
2	507	112
3	2172	100
done	5000	100
0	45	116
1	129	116
2	509	112
3	2205	100
done	5000	100
0	6	7
1	15	7
2	37	7
3	82	7
4	187	7
5	511	7
6	1770	7
done	5000	7
0	34	70
1	101	70
2	405	67
3	1712	55
done	5001	55
0	35	70
1	102	70
2	410	70
3	1669	70
done	5001	70
0	5	5
1	13	5
2	26	5
3	44	5
4	90	5
5	230	5
6	753	5
7	3202	5
done	5000	5
0	20	45
1	41	45
2	114	44
3	392	44
4	2156	41
done	5000	41
0	20	45
1	41	45
2	114	44
3	392	44
4	2156	41
done	5000	41

prune619.0ms

Filtered

209 candidates to 243 candidates (-16.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	239	4	243
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	243	9	252

Merged error: 0.0b

Counts

252 → 9

localize58.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ (/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
0.4b	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
0.4b	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
0.6b	(+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))

rewrite132.0ms

Algorithm

rewrite-expression-head

Rules

228×	`sin-mult`
162×	`associate-*l/`
160×	`cos-mult`
154×	`frac-times`
96×	`frac-sub`
90×	`associate-*r/`
80×	`times-frac`
64×	`associate-/l/` `sub-div`
62×	`associate-/r/`
61×	`flip3-+` `flip-+`
60×	`frac-add`
41×	`add-sqr-sqrt`
39×	`add-cube-cbrt` `*-un-lft-identity`
36×	`distribute-neg-frac`
32×	`flip3--` `flip--`
21×	`associate-/l*`
20×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
7×	`cbrt-undiv` `div-exp` `associate-/r*` `distribute-lft-out`
6×	`div-inv` `add-log-exp`
4×	`swap-sqr` `associate-r` `associate-l` `difference-of-squares`
3×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `cbrt-unprod`
2×	`sub-neg` `sqr-cos` `frac-2neg` `associate--l+` `clear-num` `distribute-rgt-neg-out`
1×	`+-commutative` `pow2` `pow-plus` `unsub-neg` `pow-prod-down` `sum-log` `pow-sqr` `*-commutative` `pow-prod-up` `unswap-sqr`

Counts

4 → 321

Calls

4 calls:

26.0ms	(/ (/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
28.0ms	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
36.0ms	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
12.0ms	(+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))

series2.0s

Counts

4 → 12

Calls

4 calls:

741.0ms	(/ (/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))
307.0ms	(* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))
748.0ms	(/ (* (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))
214.0ms	(+ (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (cos delta)) (* (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (neg (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))

simplify19.9min

Counts

333 → 333

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	22	71
1	44	70
2	102	47
3	276	46
4	738	46
5	2628	46
done	5000	46
0	21	70
1	40	47
2	84	46
3	187	46
4	325	46
5	485	46
6	902	46
7	3540	46
done	5000	46
0	21	70
1	43	47
2	96	46
3	255	46
4	631	46
5	2028	46
done	5000	46
0	22	141
1	41	95
2	82	93
3	184	93
4	328	93
5	484	93
6	903	93
7	3478	93
done	5000	93
0	21	70
1	40	47
2	81	46
3	183	46
4	319	46
5	482	46
6	899	46
7	3425	46
done	5001	46
0	22	209
1	54	140
2	180	47
3	1076	47
done	5000	47
0	21	70
1	40	47
2	81	46
3	183	46
4	319	46
5	482	46
6	899	46
7	3425	46
done	5001	46
0	21	70
1	40	47
2	81	46
3	183	46
4	319	46
5	482	46
6	899	46
7	3425	46
done	5001	46
0	37	235
1	93	195
2	268	195
3	1148	146
done	5000	145
0	23	139
1	50	99
2	123	99
3	353	99
4	1788	99
done	5000	99
0	39	208
1	101	188
2	302	188
3	1254	187
done	5000	187
0	24	93
1	53	73
2	132	73
3	385	73
4	1607	73
5	4993	73
done	5000	73
0	37	162
1	91	142
2	238	142
3	779	141
4	3745	141
done	5001	141
0	22	70
1	46	50
2	102	50
3	196	50
4	352	50
5	490	50
6	574	50
7	712	50
8	1137	50
9	2151	50
10	2305	50
done	2305	50
0	30	215
1	89	175
2	279	126
3	1220	99
done	5001	98
0	21	137
1	50	97
2	125	97
3	419	97
4	2152	97
done	5000	97
0	32	188
1	90	168
2	274	168
3	1148	167
done	5000	153
0	22	91
1	48	71
2	115	71
3	271	71
4	909	71
5	2243	71
done	5000	71
0	39	208
1	101	188
2	302	188
3	1225	186
done	5000	186
0	24	93
1	53	73
2	134	73
3	374	73
4	1382	73
5	4561	73
done	5000	73
0	32	181
1	71	181
2	205	181
3	951	135
done	5001	111
0	19	47
1	32	47
2	64	47
3	159	47
4	443	47
5	957	47
6	1682	47
7	3395	47
done	5000	47
0	32	135
1	68	135
2	174	135
3	624	89
4	2489	88
done	5000	88
0	18	24
1	28	24
2	47	24
3	68	24
4	79	24
5	87	24
done	87	24
0	32	188
1	96	168
2	305	167
3	1305	166
done	5000	166
0	22	91
1	54	71
2	140	71
3	420	71
4	1310	71
5	2957	71
done	5000	71
0	25	161
1	59	161
2	180	138
3	796	91
4	4184	91
done	5000	91
0	17	45
1	26	45
2	45	45
3	78	45
4	175	45
5	321	45
6	532	45
7	1027	45
8	1436	45
9	1789	45
10	1795	45
done	1795	45
0	23	73
1	58	73
2	179	52
3	885	51
done	5000	51
0	24	209
1	64	165
2	232	142
3	1169	117
done	5000	94
0	22	139
1	56	139
2	194	91
3	949	91
4	4555	91
done	5000	91
0	20	69
1	40	46
2	85	46
3	236	45
4	614	45
5	954	45
6	1253	45
7	1425	45
8	1461	45
done	1461	45
0	17	23
1	30	22
2	38	22
done	38	22
0	27	164
1	63	96
2	132	95
3	278	95
4	483	48
5	930	46
6	3875	46
done	5000	46
0	27	163
1	61	140
2	146	95
3	436	48
4	2284	46
done	5000	46
0	26	162
1	61	139
2	160	138
3	609	48
4	3424	46
done	5000	46
0	26	162
1	58	139
2	149	138
3	564	48
4	3319	46
done	5001	46
0	29	485
1	86	416
2	330	143
3	2736	49
done	5001	49
0	29	485
1	87	416
2	341	141
3	2912	49
done	5000	49
0	27	325
1	59	279
2	150	277
3	559	97
4	3273	93
done	5000	93
0	26	162
1	58	139
2	149	138
3	557	48
4	3256	46
done	5001	46
0	27	485
1	66	416
2	200	139
3	1207	49
done	5001	49
0	26	162
1	58	139
2	149	138
3	557	48
4	3256	46
done	5001	46
0	26	162
1	58	139
2	149	138
3	557	48
4	3256	46
done	5001	46
0	20	92
1	42	92
2	108	92
3	414	92
4	2448	91
done	5001	91
0	21	70
1	43	47
2	99	46
3	281	46
4	816	45
5	1531	45
6	2197	45
7	4647	45
done	5000	45
0	26	187
1	61	141
2	160	139
3	413	139
4	947	139
5	1920	139
6	4093	139
done	5000	139
0	25	116
1	58	93
2	134	92
3	294	92
4	549	92
5	1031	92
6	2641	92
done	5001	92
0	25	116
1	58	93
2	134	92
3	294	92
4	549	92
5	1031	92
6	2641	92
done	5001	92
0	25	116
1	58	93
2	134	92
3	294	92
4	549	92
5	1031	92
6	2641	92
done	5001	92
0	20	47
1	44	45
2	96	45
3	204	45
4	435	45
5	836	45
6	1221	45
7	1621	45
8	3259	45
done	5001	45
0	24	115
1	57	92
2	157	91
3	483	1
4	1549	1
5	4757	1
done	5000	1
0	20	68
1	42	68
2	91	68
3	188	68
4	363	24
5	650	22
6	1502	22
done	5001	22
0	21	69
1	48	68
2	104	68
3	242	24
4	523	22
5	1358	22
done	5000	22
0	22	71
1	43	48
2	86	47
3	190	47
4	326	47
5	486	47
6	904	47
7	3511	47
done	5000	47
0	25	161
1	57	138
2	146	137
3	489	47
4	2843	47
done	5000	47
0	27	233
1	63	187
2	161	185
3	609	185
4	3756	185
done	5000	185
0	26	162
1	58	139
2	142	138
3	464	138
4	2756	138
done	5001	138
0	21	93
1	44	91
2	106	91
3	345	91
4	1666	91
done	5000	91
0	21	114
1	42	114
2	99	114
3	317	70
4	1552	68
done	5000	68
0	24	115
1	54	92
2	123	91
3	280	1
4	556	1
5	2032	1
done	5000	1
0	40	327
1	103	287
2	317	287
3	1411	238
done	5001	237
0	41	300
1	105	280
2	328	280
3	1466	279
done	5001	279
0	40	254
1	100	234
2	285	234
3	1035	233
done	5000	233
0	33	307
1	99	267
2	327	218
3	1500	190
done	5000	190
0	34	280
1	94	260
2	300	260
3	1343	259
done	5001	245
0	41	300
1	105	280
2	328	280
3	1425	278
done	5001	278
0	34	273
1	75	273
2	230	273
3	1135	227
done	5000	203
0	34	227
1	72	227
2	200	227
3	876	181
4	4567	180
done	5000	180
0	34	280
1	100	260
2	329	259
3	1482	258
done	5001	258
0	27	253
1	63	253
2	205	230
3	989	183
done	5000	183
0	28	165
1	76	165
2	241	144
3	1151	143
done	5000	143
0	27	231
1	73	231
2	263	183
3	1594	93
done	5000	93
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	25	77
1	55	48
2	112	47
3	297	47
4	891	47
5	2042	47
6	4181	47
done	5001	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	30	209
1	87	146
2	308	123
3	1233	120
done	5000	120
0	26	117
1	63	94
2	169	93
3	550	93
4	2835	93
done	5000	93
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	25	77
1	55	48
2	112	47
3	297	47
4	891	47
5	2042	47
6	4181	47
done	5001	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	30	209
1	87	146
2	308	123
3	1233	120
done	5000	120
0	26	117
1	63	94
2	169	93
3	550	93
4	2835	93
done	5000	93
0	25	77
1	53	50
2	115	47
3	313	47
4	983	47
5	2287	47
6	4216	47
done	5000	47
0	25	77
1	53	50
2	115	47
3	313	47
4	983	47
5	2287	47
6	4216	47
done	5000	47
0	25	81
1	59	50
2	132	47
3	368	47
4	1401	47
5	3784	47
done	5000	47
0	25	79
1	59	48
2	116	47
3	301	47
4	904	47
5	2104	47
6	4235	47
done	5001	47
0	25	79
1	59	48
2	116	47
3	301	47
4	904	47
5	2104	47
6	4235	47
done	5001	47
0	32	213
1	96	146
2	336	123
3	1430	120
done	5000	120
0	28	121
1	72	94
2	192	93
3	675	93
4	3738	93
done	5000	93
0	24	75
1	49	48
2	106	47
3	291	47
4	881	47
5	2074	47
6	4198	47
done	5000	47
0	24	75
1	49	48
2	106	47
3	291	47
4	881	47
5	2074	47
6	4198	47
done	5000	47
0	25	79
1	55	50
2	124	47
3	342	47
4	1220	47
5	3192	47
done	5000	47
0	24	77
1	53	48
2	110	47
3	290	47
4	821	47
5	1756	47
6	3188	47
done	5000	47
0	24	77
1	53	48
2	110	47
3	290	47
4	821	47
5	1756	47
6	3188	47
done	5000	47
0	31	211
1	91	146
2	332	123
3	1426	120
done	5000	120
0	27	119
1	67	94
2	187	93
3	664	93
4	3520	93
done	5001	93
0	24	75
1	49	48
2	106	47
3	291	47
4	881	47
5	2074	47
6	4198	47
done	5000	47
0	24	75
1	49	48
2	106	47
3	291	47
4	881	47
5	2074	47
6	4198	47
done	5000	47
0	25	79
1	55	50
2	124	47
3	342	47
4	1220	47
5	3192	47
done	5000	47
0	24	77
1	53	48
2	110	47
3	290	47
4	821	47
5	1756	47
6	3188	47
done	5000	47
0	24	77
1	53	48
2	110	47
3	290	47
4	821	47
5	1756	47
6	3188	47
done	5000	47
0	31	211
1	91	146
2	332	123
3	1426	120
done	5000	120
0	27	119
1	67	94
2	187	93
3	664	93
4	3520	93
done	5001	93
0	30	209
1	81	146
2	279	123
3	1165	120
done	5000	120
0	30	209
1	81	146
2	279	123
3	1165	120
done	5000	120
0	32	213
1	90	146
2	293	123
3	1242	120
done	5000	120
0	31	211
1	85	146
2	291	123
3	1244	120
done	5001	120
0	31	211
1	85	146
2	291	123
3	1244	120
done	5001	120
0	29	345
1	85	242
2	338	197
3	1895	191
done	5000	191
0	30	253
1	87	190
2	349	167
3	1814	164
done	5001	164
0	26	117
1	57	94
2	144	93
3	494	93
4	2675	93
done	5000	93
0	26	117
1	57	94
2	144	93
3	494	93
4	2675	93
done	5000	93
0	28	121
1	66	94
2	159	93
3	568	93
4	3355	93
done	5000	93
0	27	119
1	61	94
2	154	93
3	557	93
4	3188	93
done	5000	93
0	27	119
1	61	94
2	154	93
3	557	93
4	3188	93
done	5000	93
0	30	253
1	87	190
2	339	167
3	1574	164
done	5000	164
0	25	161
1	61	138
2	183	137
3	731	137
4	4368	137
done	5000	137
0	22	71
1	42	48
2	95	47
3	258	47
4	637	47
5	1184	47
6	1911	47
done	5000	47
0	22	71
1	42	48
2	95	47
3	258	47
4	637	47
5	1184	47
6	1911	47
done	5000	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	28	207
1	82	144
2	297	121
3	1304	118
done	5001	118
0	24	115
1	58	92
2	166	91
3	647	91
4	2911	91
done	5000	91
0	22	71
1	42	48
2	95	47
3	258	47
4	637	47
5	1184	47
6	1911	47
done	5000	47
0	22	71
1	42	48
2	95	47
3	258	47
4	637	47
5	1184	47
6	1911	47
done	5000	47
0	24	75
1	51	48
2	108	47
3	293	47
4	879	47
5	2041	47
6	4188	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	23	73
1	46	48
2	103	47
3	283	47
4	808	47
5	1744	47
6	3106	47
done	5000	47
0	28	207
1	82	144
2	297	121
3	1304	118
done	5001	118
0	24	115
1	58	92
2	166	91
3	647	91
4	2911	91
done	5000	91
0	2	3
1	6	1
done	6	1
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	2	3
1	6	1
done	6	1
0	20	93
1	41	48
2	81	48
3	151	48
4	213	48
5	309	48
6	401	48
7	643	48
8	2134	48
done	5000	48
0	20	92
1	41	92
2	95	48
3	277	48
4	1179	48
done	5002	48
0	20	92
1	41	92
2	101	92
3	322	92
4	1430	92
done	5000	92
0	21	275
1	47	275
2	128	95
3	611	47
done	5000	47
0	21	185
1	40	185
2	89	185
3	251	185
4	1134	185
5	4928	185
done	5000	185
0	20	92
1	39	92
2	88	92
3	250	92
4	1123	92
done	5000	92
0	21	275
1	48	275
2	141	93
3	778	47
done	5000	47
0	20	92
1	40	46
2	89	46
3	252	46
4	1141	46
done	5001	46
0	20	92
1	40	46
2	89	46
3	252	46
4	1141	46
done	5001	46
0	28	135
1	54	129
2	111	129
3	314	129
4	1373	129
done	5001	129
0	2	3
1	3	1
done	3	1
0	30	135
1	58	129
2	117	129
3	325	129
4	1341	129
done	5000	129
0	2	3
1	3	1
done	3	1
0	34	159
1	69	151
2	175	151
3	542	151
4	2511	151
done	5000	151
0	4	7
1	11	3
2	12	1
done	12	1
0	32	139
1	64	133
2	165	131
3	558	131
4	3003	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	33	139
1	66	133
2	174	131
3	563	131
4	3066	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	34	117
1	86	114
2	264	91
3	1139	91
done	5000	91
0	24	139
1	66	99
2	215	77
3	681	74
4	1749	74
5	2482	55
6	4438	55
done	5000	55
0	33	159
1	80	156
2	220	114
3	801	91
4	4865	91
done	5000	91
0	20	47
1	42	47
2	80	47
3	126	47
4	137	47
done	137	47
0	30	135
1	58	129
2	117	129
3	325	129
4	1343	129
done	5000	129
0	2	3
1	3	1
done	3	1
0	28	135
1	54	129
2	105	129
3	304	129
4	1363	129
done	5001	129
0	2	3
1	3	1
done	3	1
0	34	159
1	69	151
2	169	151
3	530	151
4	2483	151
done	5000	151
0	4	7
1	11	3
2	12	1
done	12	1
0	33	139
1	66	133
2	173	131
3	578	131
4	3162	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	32	139
1	64	133
2	160	131
3	523	131
4	2844	131
done	5000	131
0	3	5
1	8	1
done	8	1
0	34	117
1	86	114
2	258	91
3	1139	91
done	5001	91
0	24	139
1	66	99
2	215	77
3	681	74
4	1749	74
5	2482	55
6	4438	55
done	5000	55
0	33	159
1	80	156
2	212	114
3	794	91
4	4934	91
done	5000	91
0	20	47
1	42	47
2	80	47
3	126	47
4	137	47
done	137	47
0	34	159
1	69	151
2	175	151
3	540	151
4	2525	151
done	5001	151
0	4	7
1	10	3
2	11	1
done	11	1
0	34	159
1	69	151
2	169	151
3	528	151
4	2485	151
done	5000	151
0	4	7
1	10	3
2	11	1
done	11	1
0	30	183
1	56	173
2	116	173
3	304	171
4	1317	171
done	5002	171
0	4	11
1	15	3
2	24	1
done	24	1
0	36	163
1	72	155
2	191	153
3	630	153
4	3177	151
done	5000	151
0	4	9
1	14	3
2	19	1
done	19	1
0	36	163
1	71	155
2	180	153
3	600	153
4	3076	151
done	5001	151
0	4	9
1	14	3
2	19	1
done	19	1
0	38	141
1	91	136
2	272	113
3	1129	113
done	5000	113
0	26	143
1	75	99
2	241	77
3	826	74
4	2516	74
done	5000	74
0	37	183
1	85	178
2	229	136
3	793	113
4	4560	113
done	5000	113
0	22	51
1	51	47
2	99	47
3	184	47
4	327	47
5	438	47
done	438	47
0	32	139
1	64	133
2	165	131
3	559	131
4	3004	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	33	139
1	66	133
2	173	131
3	576	131
4	3136	131
done	5001	131
0	3	5
1	6	1
done	6	1
0	36	163
1	72	155
2	191	153
3	628	153
4	3167	151
done	5000	151
0	4	9
1	12	3
2	16	1
done	16	1
0	31	143
1	58	137
2	133	133
3	404	131
4	2089	131
done	5000	131
0	3	7
1	9	1
2	10	1
done	10	1
0	34	143
1	64	137
2	153	133
3	437	131
4	2204	131
done	5001	131
0	3	7
1	9	1
2	10	1
done	10	1
0	37	121
1	90	118
2	286	93
3	1218	93
done	5000	93
0	25	141
1	70	99
2	237	77
3	820	74
4	2477	74
done	5000	74
0	36	163
1	84	160
2	243	116
3	882	93
done	5000	93
0	21	49
1	46	47
2	94	47
3	180	47
4	260	47
5	310	47
done	310	47
0	33	139
1	66	133
2	174	131
3	562	131
4	3030	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	32	139
1	64	133
2	160	131
3	526	131
4	2862	131
done	5000	131
0	3	5
1	6	1
done	6	1
0	36	163
1	71	155
2	180	153
3	598	153
4	3082	151
done	5000	151
0	4	9
1	12	3
2	16	1
done	16	1
0	34	143
1	64	137
2	153	133
3	437	131
4	2208	131
done	5000	131
0	3	7
1	9	1
2	10	1
done	10	1
0	31	143
1	58	137
2	128	133
3	376	131
4	1909	131
done	5001	131
0	3	7
1	9	1
2	10	1
done	10	1
0	37	121
1	90	118
2	281	93
3	1200	93
done	5001	93
0	25	141
1	70	99
2	237	77
3	820	74
4	2477	74
done	5000	74
0	36	163
1	84	160
2	237	116
3	860	93
done	5000	93
0	21	49
1	46	47
2	94	47
3	180	47
4	260	47
5	310	47
done	310	47
0	34	117
1	86	114
2	264	91
3	1142	91
done	5000	91
0	24	139
1	60	99
2	194	77
3	590	74
4	1327	74
5	2472	55
6	4414	55
done	5001	55
0	34	117
1	86	114
2	258	91
3	1141	91
done	5001	91
0	24	139
1	60	99
2	194	77
3	590	74
4	1327	74
5	2472	55
6	4414	55
done	5001	55
0	38	141
1	91	136
2	272	113
3	1140	113
done	5000	113
0	26	143
1	69	99
2	204	77
3	638	74
4	1736	74
5	4879	55
done	5000	55
0	37	121
1	90	118
2	286	93
3	1235	93
done	5000	93
0	25	141
1	64	99
2	200	77
3	632	74
4	1662	74
5	4612	55
done	5000	55
0	37	121
1	90	118
2	281	93
3	1207	93
done	5000	93
0	25	141
1	64	99
2	200	77
3	632	74
4	1662	74
5	4612	55
done	5000	55
0	22	99
1	55	99
2	182	53
3	873	53
done	5001	53
0	23	275
1	64	195
2	237	151
3	1141	145
done	5000	145
0	25	141
1	70	141
2	242	76
3	1271	53
done	5000	53
0	24	183
1	66	143
2	250	121
3	1060	118
4	3683	118
done	5000	118
0	33	159
1	80	156
2	218	114
3	795	91
4	4868	91
done	5000	91
0	20	47
1	36	47
2	61	47
3	94	47
4	134	47
done	134	47
0	33	159
1	80	156
2	212	114
3	791	91
4	4869	91
done	5000	91
0	20	47
1	36	47
2	61	47
3	94	47
4	134	47
done	134	47
0	37	183
1	85	178
2	227	136
3	791	113
4	4579	113
done	5000	113
0	22	51
1	45	47
2	72	47
3	117	47
4	202	47
5	337	47
6	469	47
done	469	47
0	36	163
1	84	160
2	241	116
3	899	93
done	5000	93
0	21	49
1	40	47
2	67	47
3	108	47
4	203	47
5	282	47
6	334	47
done	334	47
0	36	163
1	84	160
2	235	116
3	860	93
done	5000	93
0	21	49
1	40	47
2	67	47
3	108	47
4	203	47
5	282	47
6	334	47
done	334	47
0	25	141
1	70	141
2	242	76
3	1266	53
done	5001	53
0	24	183
1	66	143
2	238	121
3	868	118
4	2774	118
done	5001	118
0	21	183
1	48	183
2	139	99
3	550	53
4	3404	53
done	5000	53
0	19	91
1	40	91
2	90	91
3	252	91
4	530	91
5	813	74
6	1249	74
7	1833	53
8	2711	53
done	5000	53
0	21	187
1	44	187
2	84	95
3	151	48
4	245	48
5	513	48
6	1096	48
7	1819	48
8	4797	48
done	5000	48
0	20	93
1	39	93
2	75	93
3	134	93
4	187	93
5	278	93
6	374	93
7	616	93
8	2094	93
done	5001	93
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	2	3
1	4	1
done	4	1
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	17	45
1	31	45
2	58	45
3	100	45
4	142	45
5	178	45
6	217	45
7	227	45
done	227	45
0	17	45
1	26	45
2	45	45
3	78	45
4	175	45
5	321	45
6	532	45
7	1027	45
8	1436	45
9	1789	45
10	1795	45
done	1795	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	20	93
1	39	45
2	76	45
3	135	45
4	188	45
5	279	45
6	373	45
7	615	45
8	2042	45
done	5000	45
0	3	3
1	6	1
done	6	1
0	19	51
1	41	51
2	90	51
3	218	51
4	572	51
5	1219	50
6	1942	50
7	3027	49
done	5000	49
0	20	86
1	44	86
2	118	86
3	533	86
4	2414	85
done	5001	85
0	20	47
1	40	47
2	86	47
3	199	47
4	457	47
5	750	47
6	1048	47
7	1616	47
8	4628	47
done	5000	47
0	25	92
1	48	92
2	101	92
3	303	92
4	1424	92
done	5000	92
0	19	51
1	41	51
2	90	51
3	218	51
4	572	51
5	1219	50
6	1942	50
7	3027	49
done	5000	49
0	20	86
1	44	86
2	118	86
3	533	86
4	2414	85
done	5001	85
0	19	51
1	41	51
2	96	51
3	262	51
4	721	50
5	1359	50
6	2051	49
7	4149	49
done	5001	49
0	20	86
1	44	86
2	124	86
3	639	86
4	2875	68
done	5001	67
0	20	47
1	40	47
2	86	47
3	199	47
4	448	47
5	738	47
6	1041	47
7	1609	47
8	4683	47
done	5000	47
0	25	92
1	48	92
2	101	92
3	303	92
4	1421	92
done	5000	92
0	19	51
1	41	51
2	96	51
3	262	51
4	721	50
5	1359	50
6	2051	49
7	4149	49
done	5001	49
0	20	86
1	44	86
2	124	86
3	639	86
4	2875	68
done	5001	67
0	21	139
1	43	139
2	93	139
3	232	139
4	628	139
5	1348	139
6	2168	139
7	3243	139
done	5000	139
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	20	47
1	42	45
2	91	45
3	215	45
4	475	45
5	640	45
6	820	45
7	1159	45
8	2861	45
done	5000	45
0	20	68
1	46	68
2	118	68
3	363	68
4	1079	68
5	2206	68
done	5000	68
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	20	92
1	40	92
2	86	92
3	199	92
4	456	92
5	749	92
6	1045	92
7	1614	92
8	4701	92
done	5000	92
0	19	91
1	38	91
2	87	91
3	248	91
4	1134	91
5	4976	91
done	5000	91
0	20	68
1	41	68
2	100	68
3	289	68
4	982	68
5	2692	68
done	5000	68
0	31	113
1	70	110
2	165	110
3	507	110
4	2367	110
done	5000	110
0	31	113
1	70	110
2	159	110
3	495	110
4	2345	110
done	5000	110
0	35	137
1	75	132
2	175	132
3	510	132
4	2436	132
done	5000	132
0	34	117
1	74	114
2	189	112
3	602	112
4	3208	112
done	5000	112
0	34	117
1	74	114
2	183	112
3	569	112
4	3014	112
done	5001	112
0	23	95
1	62	95
2	217	72
3	1051	72
done	5001	72
0	22	137
1	54	137
2	171	95
3	748	72
4	4576	72
done	5000	72
0	31	113
1	70	110
2	165	110
3	510	110
4	2363	110
done	5000	110
0	31	113
1	70	110
2	159	110
3	497	110
4	2332	110
done	5000	110
0	35	137
1	75	132
2	175	132
3	511	132
4	2434	132
done	5000	132
0	34	117
1	74	114
2	189	112
3	604	112
4	3205	112
done	5000	112
0	34	117
1	74	114
2	183	112
3	572	112
4	2982	112
done	5001	112
0	23	95
1	62	95
2	217	72
3	1053	72
done	5001	72
0	22	137
1	54	137
2	171	95
3	746	72
4	4553	72
done	5000	72
0	29	188
1	69	120
2	153	119
3	333	119
4	682	72
5	1513	23
done	5000	23
0	29	187
1	67	164
2	163	119
3	486	72
4	2508	70
done	5001	70
0	28	186
1	65	163
2	168	162
3	642	72
4	3603	23
done	5000	23
0	27	185
1	64	162
2	179	161
3	755	25
done	5002	23
0	27	185
1	61	162
2	167	161
3	701	25
4	4825	23
done	5000	23
0	32	554
1	103	485
2	435	168
3	3925	74
done	5001	74
0	32	554
1	104	485
2	445	166
3	4084	74
done	5000	74
0	30	554
1	86	485
2	294	164
3	1982	26
done	5001	26
0	28	371
1	62	325
2	168	323
3	700	51
4	4802	47
done	5000	47
0	27	185
1	61	162
2	167	161
3	699	25
4	4798	23
done	5000	23
0	28	554
1	69	485
2	212	162
3	1202	26
done	5000	26
0	27	185
1	61	162
2	167	161
3	699	25
4	4798	23
done	5000	23
0	27	185
1	61	162
2	167	161
3	699	25
4	4798	23
done	5000	23
0	26	162
1	60	139
2	157	138
3	645	47
4	4273	45
done	5000	45
0	17	23
1	28	23
2	42	23
3	43	23
done	43	23
0	30	373
1	68	327
2	168	325
3	582	145
4	3293	141
done	5000	141
0	28	186
1	60	163
2	151	162
3	559	72
4	3266	70
done	5000	70
0	29	349
1	63	303
2	156	301
3	566	121
4	3238	117
done	5000	117
0	28	186
1	60	163
2	151	162
3	559	72
4	3266	70
done	5000	70
0	29	327
1	65	279
2	162	277
3	575	97
4	3256	93
done	5000	93
0	27	185
1	59	162
2	150	161
3	559	71
4	3273	69
done	5000	69
0	29	210
1	63	187
2	154	186
3	562	96
4	3255	94
done	5001	94
0	28	186
1	60	163
2	151	162
3	559	72
4	3266	70
done	5000	70
0	28	186
1	60	163
2	151	162
3	559	72
4	3266	70
done	5000	70
0	28	186
1	60	163
2	151	162
3	559	72
4	3266	70
done	5000	70
0	28	164
1	62	139
2	155	138
3	565	48
4	3246	46
done	5000	46
0	27	185
1	59	162
2	150	161
3	559	71
4	3273	69
done	5000	69
0	29	235
1	68	189
2	193	187
3	726	187
4	2850	187
done	5000	187
0	27	140
1	62	117
2	152	116
3	402	116
4	983	116
5	2328	116
done	5000	116
0	28	211
1	65	165
2	181	163
3	573	163
4	1805	163
5	4875	163
done	5000	163
0	27	140
1	62	117
2	152	116
3	402	116
4	983	116
5	2328	116
done	5000	116
0	28	189
1	67	141
2	184	139
3	576	139
4	1775	139
5	4210	139
done	5000	139
0	26	139
1	61	116
2	151	115
3	408	71
4	997	69
5	2811	69
done	5000	69
0	28	164
1	65	141
2	161	140
3	481	140
4	1495	140
5	4433	140
done	5001	140
0	27	140
1	62	117
2	152	116
3	402	116
4	983	116
5	2328	116
done	5000	116
0	27	140
1	62	117
2	152	116
3	402	116
4	983	116
5	2328	116
done	5000	116
0	27	140
1	62	117
2	152	116
3	402	116
4	983	116
5	2328	116
done	5000	116
0	27	118
1	64	93
2	155	92
3	411	92
4	1138	92
5	2592	92
done	5000	92
0	26	139
1	61	116
2	151	115
3	408	71
4	997	69
5	2811	69
done	5000	69
0	24	95
1	52	93
2	128	93
3	396	93
4	1315	93
5	2967	93
6	4995	93
done	5000	93
0	26	139
1	61	116
2	185	115
3	715	25
4	2874	25
done	5000	25
0	23	71
1	49	69
2	114	69
3	299	69
4	857	69
5	1722	69
6	2600	69
7	3383	69
done	5000	69
0	26	139
1	61	116
2	185	115
3	715	25
4	2874	25
done	5000	25
0	21	49
1	47	45
2	97	45
3	206	45
4	439	45
5	809	45
6	1207	45
7	1598	45
8	3197	45
done	5001	45
0	25	138
1	60	115
2	182	114
3	682	24
4	2874	24
done	5000	24
0	23	116
1	49	116
2	126	116
3	393	116
4	1240	72
5	3513	70
done	5001	70
0	24	93
1	53	92
2	129	92
3	369	48
4	951	46
5	3597	46
done	5000	46
0	22	92
1	46	92
2	117	92
3	304	92
4	760	48
5	1775	46
done	5001	46
0	24	93
1	53	92
2	129	92
3	369	48
4	951	46
5	3597	46
done	5000	46
0	22	70
1	48	68
2	120	68
3	345	68
4	1292	22
5	3323	22
done	5000	22
0	23	92
1	51	91
2	117	91
3	329	1
4	886	1
5	3559	1
done	5000	1
0	20	49
1	32	49
2	38	49
done	38	49
0	27	185
1	61	162
2	171	161
3	758	71
4	4650	69
done	5000	69
0	19	25
1	29	25
2	35	25
3	37	25
done	37	25
0	27	185
1	61	162
2	171	161
3	758	71
4	4650	69
done	5000	69
0	2	3
1	4	1
done	4	1
0	26	184
1	60	161
2	166	160
3	699	24
4	4786	22
done	5000	22
0	23	139
1	48	139
2	119	139
3	446	139
4	2354	139
done	5000	139
0	24	95
1	47	72
2	103	71
3	277	71
4	657	71
5	1209	71
6	1936	71
done	5000	71
0	22	115
1	43	115
2	100	115
3	318	115
4	1558	115
done	5000	115
0	24	95
1	47	72
2	103	71
3	277	71
4	657	71
5	1209	71
6	1936	71
done	5000	71
0	21	93
1	44	91
2	106	91
3	345	91
4	1666	91
done	5000	91
0	23	94
1	46	71
2	101	70
3	273	70
4	816	70
5	2155	70
done	5001	70
0	44	375
1	111	335
2	346	335
3	1673	286
done	5001	285
0	26	163
1	56	123
2	140	123
3	428	123
4	2264	123
done	5000	123
0	43	351
1	108	311
2	338	311
3	1579	262
done	5001	261
0	26	163
1	56	123
2	140	123
3	428	123
4	2264	123
done	5000	123
0	42	329
1	109	287
2	344	287
3	1584	238
done	5001	237
0	25	162
1	55	122
2	139	122
3	426	122
4	2255	122
done	5000	122
0	45	348
1	113	328
2	357	328
3	1726	327
done	5000	327
0	27	117
1	59	97
2	150	97
3	466	97
4	1996	97
done	5000	97
0	44	324
1	110	304
2	349	304
3	1635	303
done	5000	303
0	27	117
1	59	97
2	150	97
3	466	97
4	1996	97
done	5000	97
0	43	302
1	111	280
2	355	280
3	1643	279
done	5000	279
0	26	116
1	58	96
2	149	96
3	465	96
4	1995	96
done	5000	96
0	43	302
1	107	282
2	314	282
3	1276	281
done	5001	281
0	25	94
1	52	74
2	115	74
3	235	74
4	519	74
5	1089	74
6	2051	74
7	2861	74
8	3888	74
done	5000	74
0	42	278
1	104	258
2	306	258
3	1184	257
done	5000	257
0	25	94
1	52	74
2	115	74
3	235	74
4	519	74
5	1089	74
6	2051	74
7	2861	74
8	3888	74
done	5000	74
0	42	256
1	106	234
2	312	234
3	1191	233
done	5002	233
0	24	93
1	51	73
2	114	73
3	233	73
4	520	73
5	1118	73
6	2127	73
7	2945	73
8	4138	73
done	5000	73
0	37	355
1	107	315
2	356	266
3	1792	238
done	5000	238
0	24	161
1	56	121
2	136	121
3	478	121
4	2505	121
done	5000	121
0	36	331
1	104	291
2	348	242
3	1684	214
done	5000	214
0	24	161
1	56	121
2	136	121
3	478	121
4	2505	121
done	5000	121
0	35	309
1	105	267
2	354	218
3	1698	190
done	5001	190
0	23	160
1	55	120
2	135	120
3	475	120
4	2502	120
done	5000	120
0	38	328
1	102	308
2	329	308
3	1606	307
done	5001	293
0	25	115
1	54	95
2	128	95
3	324	95
4	1139	95
5	3129	95
done	5001	95
0	37	304
1	99	284
2	321	284
3	1512	283
done	5000	269
0	25	115
1	54	95
2	128	95
3	324	95
4	1139	95
5	3129	95
done	5001	95
0	36	282
1	100	260
2	327	260
3	1522	259
done	5000	245
0	24	114
1	53	94
2	127	94
3	322	94
4	1140	94
5	3255	94
done	5001	94
0	45	348
1	113	328
2	357	328
3	1689	326
done	5000	326
0	27	117
1	59	97
2	152	97
3	443	97
4	1753	97
done	5000	97
0	44	324
1	110	304
2	349	304
3	1603	302
done	5000	302
0	27	117
1	59	97
2	152	97
3	443	97
4	1753	97
done	5000	97
0	43	302
1	111	280
2	355	280
3	1608	278
done	5001	278
0	26	116
1	58	96
2	151	96
3	443	96
4	1744	96
done	5000	96
0	38	321
1	83	321
2	259	321
3	1400	275
done	5000	274
0	22	71
1	38	71
2	81	71
3	218	71
4	662	71
5	1705	71
6	3978	71
done	5000	71
0	37	297
1	80	297
2	251	297
3	1311	251
done	5001	250
0	22	71
1	38	71
2	81	71
3	218	71
4	662	71
5	1705	71
6	3978	71
done	5000	71
0	36	275
1	81	273
2	257	273
3	1315	227
done	5000	226
0	21	70
1	37	70
2	80	70
3	217	70
4	661	70
5	1765	70
6	4052	70
done	5000	70
0	37	275
1	79	275
2	229	275
3	1123	229
done	5000	228
0	21	48
1	34	48
2	60	48
3	95	48
4	145	48
5	219	48
6	296	48
7	342	48
done	342	48
0	36	251
1	76	251
2	221	251
3	1036	205
done	5001	204
0	21	48
1	34	48
2	60	48
3	95	48
4	145	48
5	219	48
6	296	48
7	342	48
done	342	48
0	36	229
1	78	227
2	227	227
3	1039	181
done	5002	180
0	20	47
1	33	47
2	59	47
3	94	47
4	140	47
5	214	47
6	283	47
7	327	47
done	327	47
0	38	328
1	108	308
2	358	307
3	1773	306
done	5000	306
0	25	115
1	60	95
2	153	95
3	474	95
4	1638	95
5	4238	95
done	5000	95
0	37	304
1	105	284
2	350	283
3	1668	282
done	5000	282
0	25	115
1	60	95
2	153	95
3	474	95
4	1638	95
5	4238	95
done	5000	95
0	36	282
1	106	260
2	356	259
3	1671	258
done	5001	258
0	24	114
1	59	94
2	152	94
3	472	94
4	1638	94
5	4257	94
done	5000	94
0	31	301
1	71	301
2	234	278
3	1252	231
done	5000	231
0	20	69
1	32	69
2	56	69
3	109	69
4	267	69
5	597	69
6	1179	69
7	2443	69
8	3652	69
done	5000	69
0	30	277
1	68	277
2	226	254
3	1157	207
done	5001	207
0	20	69
1	32	69
2	56	69
3	109	69
4	267	69
5	597	69
6	1179	69
7	2443	69
8	3652	69
done	5000	69
0	29	255
1	69	253
2	232	230
3	1167	183
done	5001	183
0	19	68
1	31	68
2	55	68
3	108	68
4	260	68
5	580	68
6	1153	68
7	2421	68
8	3781	68
done	5001	68
0	31	213
1	83	213
2	270	192
3	1427	191
done	5000	191
0	26	233
1	66	189
2	238	166
3	1210	141
done	5000	139
0	30	189
1	80	189
2	262	168
3	1326	167
done	5000	167
0	26	233
1	66	189
2	238	166
3	1210	141
done	5000	139
0	30	167
1	82	165
2	268	144
3	1334	143
done	5000	143
0	25	232
1	65	188
2	236	165
3	1206	140
done	5000	117
0	30	279
1	80	279
2	292	231
3	1932	141
done	5000	141
0	22	93
1	45	70
2	103	70
3	298	69
4	855	69
5	1623	69
6	2594	69
7	3413	69
8	4439	69
done	5000	69
0	29	255
1	77	255
2	284	207
3	1821	117
done	5000	117
0	22	93
1	45	70
2	103	70
3	298	69
4	855	69
5	1623	69
6	2594	69
7	3413	69
8	4439	69
done	5000	69
0	29	233
1	79	231
2	290	183
3	1815	91
done	5000	91
0	21	92
1	44	69
2	102	69
3	297	24
4	882	22
done	5000	22
0	18	24
1	28	24
2	34	24
done	34	24
0	26	184
1	60	161
2	167	160
3	707	26
4	4348	24
done	5001	24
0	28	209
1	64	186
2	179	185
3	872	95
done	5001	95
0	27	185
1	61	162
2	171	161
3	758	71
4	4650	69
done	5000	69
0	27	163
1	63	138
2	177	137
3	834	45
done	5000	45
0	27	185
1	59	162
2	150	161
3	559	71
4	3241	69
done	5000	69
0	27	185
1	59	162
2	150	161
3	559	71
4	3241	69
done	5000	69
0	26	139
1	61	116
2	142	115
3	316	71
4	602	69
5	1512	69
done	5000	69
0	26	139
1	61	116
2	142	115
3	316	71
4	602	69
5	1512	69
done	5000	69
0	25	138
1	60	115
2	174	114
3	614	24
4	2475	22
done	5000	22
0	23	92
1	52	91
2	119	91
3	301	1
4	772	1
5	2667	1
done	5001	1
0	26	184
1	60	161
2	167	160
3	707	26
4	4348	24
done	5001	24
0	23	94
1	46	71
2	102	68
3	294	68
4	943	68
5	2975	68
done	5000	68
0	25	162
1	55	122
2	136	122
3	368	122
4	1811	122
done	5001	122
0	26	116
1	58	96
2	145	96
3	407	96
4	1638	96
done	5000	96
0	24	93
1	51	73
2	109	73
3	201	73
4	362	73
5	547	73
6	631	73
7	770	73
8	1210	73
9	2256	73
10	2591	73
11	3816	73
done	5000	73
0	23	160
1	55	120
2	130	120
3	424	120
4	2186	120
done	5000	120
0	24	114
1	53	94
2	122	94
3	279	94
4	921	94
5	2274	94
done	5001	94
0	26	116
1	58	96
2	147	96
3	395	96
4	1412	96
5	4602	96
done	5000	96
0	21	70
1	37	70
2	77	70
3	175	70
4	467	70
5	960	70
6	1613	70
7	3357	70
done	5000	70
0	20	47
1	33	47
2	54	47
3	75	47
4	94	47
5	102	47
done	102	47
0	24	114
1	59	94
2	147	94
3	429	94
4	1351	94
5	2967	94
done	5000	94
0	19	68
1	31	68
2	50	68
3	83	68
4	176	68
5	319	68
6	530	68
7	1034	68
8	1433	68
9	1834	68
10	2101	68
11	3539	68
done	5000	68
0	25	232
1	65	188
2	233	165
3	1172	140
done	5001	117
0	21	92
1	41	69
2	88	69
3	242	24
4	629	24
5	1012	24
6	1551	24
7	2889	24
done	5000	24
0	30	188
1	79	165
2	224	164
3	901	74
done	5000	74
0	26	207
1	60	184
2	167	183
3	740	1
4	4508	1
done	5001	1
0	21	92
1	47	69
2	123	68
3	401	68
4	1379	68
5	3859	68
done	5001	68
0	5	5
1	13	5
2	26	5
3	44	5
4	90	5
5	230	5
6	753	5
7	3202	5
done	5000	5
0	33	68
1	97	68
2	392	65
3	1633	53
done	5000	53
0	34	68
1	98	68
2	395	65
3	1661	53
done	5000	53
0	5	5
1	13	5
2	26	5
3	44	5
4	90	5
5	230	5
6	753	5
7	3202	5
done	5000	5
0	46	139
1	130	139
2	499	109
3	2136	55
done	5001	55
0	47	139
1	136	139
2	487	133
3	2031	109
done	5000	109
0	6	7
1	15	7
2	37	7
3	82	7
4	187	7
5	511	7
6	1770	7
done	5000	7
0	34	70
1	101	70
2	405	67
3	1712	55
done	5001	55
0	35	70
1	102	70
2	410	70
3	1669	70
done	5001	70
0	10	11
1	23	11
2	45	11
3	104	9
4	240	9
5	627	9
6	2147	9
done	5001	9
0	40	91
1	118	91
2	449	87
3	1767	75
done	5000	75
0	41	91
1	119	91
2	453	90
3	1743	90
done	5001	90

prune818.0ms

Filtered

301 candidates to 333 candidates (-10.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	333	0	333
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	333	9	342

Merged error: 0.0b

Counts

342 → 9

regimes634.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	195
1	50	195
2	55	195
3	59	195
done	59	195

end0.0ms

sample9.5s

Algorithm

intervals

Results

5.7s	3170×	body	1280	valid
2.0s	1827×	body	640	valid
569.0ms	728×	body	320	valid
435.0ms	1964×	body	80	valid
171.0ms	311×	body	160	valid

Details

sample303.0ms

simplify22.0ms

prune7.0ms

localize36.0ms

rewrite20.0ms

series117.0ms

simplify55.2s

prune191.0ms

localize39.0ms

rewrite34.0ms

series236.0ms

simplify3.6min

prune229.0ms

localize56.0ms

rewrite97.0ms

series1.1s

simplify13.1min

prune619.0ms

localize58.0ms

rewrite132.0ms

series2.0s

simplify19.9min

prune818.0ms

regimes634.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample9.5s

Profiling