Details

sample206.0ms

Algorithm

intervals

Results

123.0ms	122×	body	1280	valid
43.0ms	74×	body	640	valid
12.0ms	30×	body	320	valid
3.0ms	10×	body	160	valid
3.0ms	20×	body	80	valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	20
1	20	20
2	21	20
done	21	20

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

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
0.6b	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
4.8b	(sin (- lambda1 lambda2))
5.0b	(cos (- lambda1 lambda2))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
3×	`cos-diff`
2×	`sub-neg` `cos-sum` `associate-+r+` `sin-sum`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `flip3-+` `sum-log` `sin-diff` `flip-+`

Counts

4 → 40

Calls

4 calls:

1.0ms	(atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
13.0ms	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
5.0ms	(sin (- lambda1 lambda2))
5.0ms	(cos (- lambda1 lambda2))

series51.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
28.0ms	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
5.0ms	(sin (- lambda1 lambda2))
7.0ms	(cos (- lambda1 lambda2))

simplify54.4s

Counts

52 → 52

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	12	12
1	20	11
2	28	11
3	40	11
4	75	11
5	162	11
6	410	11
7	1264	11
8	4942	11
done	5000	11
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	18	11
2	24	11
3	31	11
4	49	11
5	99	11
6	224	11
7	596	11
8	1958	11
done	5001	11
0	12	23
1	16	23
2	17	23
done	17	23
0	11	11
1	15	11
2	16	11
done	16	11
0	12	32
1	29	32
2	78	12
3	231	12
4	593	12
5	1488	12
6	3205	12
done	5000	12
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	15	11
2	16	11
done	16	11
0	13	14
1	33	14
2	72	14
3	154	14
4	281	14
5	713	14
6	2642	14
done	5000	14
0	14	32
1	34	24
2	77	24
3	129	24
4	161	24
5	182	24
6	203	24
7	276	24
8	457	24
9	723	24
done	723	24
0	12	21
1	27	21
2	58	21
3	115	21
4	164	21
5	255	21
6	351	21
7	593	21
8	2018	21
done	5001	21
0	10	10
1	15	10
2	23	10
done	23	10
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	14	19
1	19	19
2	20	19
done	20	19
0	14	19
1	19	19
2	20	19
done	20	19
0	15	39
1	20	39
2	21	39
done	21	39
0	14	19
1	19	19
2	20	19
done	20	19
0	15	56
1	21	56
2	24	20
3	29	20
4	35	20
5	45	20
6	66	20
7	129	20
8	331	20
9	1258	20
done	5000	20
0	14	19
1	19	19
2	20	19
done	20	19
0	14	19
1	19	19
2	20	19
done	20	19
0	10	11
1	23	11
2	50	11
3	103	9
4	229	9
5	569	9
6	1981	9
done	5000	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	8	9
1	22	9
2	49	9
3	112	9
4	257	9
5	676	9
6	2755	9
done	5000	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	10	10
1	14	10
2	15	10
done	15	10
0	10	10
1	14	10
2	15	10
done	15	10
0	13	18
1	18	18
2	19	18
done	19	18
0	13	18
1	18	18
2	19	18
done	19	18
0	13	18
1	18	18
2	19	18
done	19	18

prune326.0ms

Filtered

42 candidates to 52 candidates (-23.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	41	11	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	11	53

Merged error: 0.8b

Counts

53 → 11

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
0.2b	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
0.6b	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
5.0b	(cos (- lambda1 lambda2))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`
3×	`distribute-rgt-in` `cos-diff` `sub-neg` `distribute-lft-in` `associate-r` `associate-l`
2×	`cos-sum` `associate-+r+` `associate-*r/`
1×	`+-commutative` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 54

Calls

4 calls:

20.0ms	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
1.0ms	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
9.0ms	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
8.0ms	(cos (- lambda1 lambda2))

series135.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
11.0ms	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))
50.0ms	(+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))
8.0ms	(cos (- lambda1 lambda2))

simplify48.9s

Counts

66 → 66

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	6	6
1	8	5
done	8	5
0	6	6
1	9	6
2	13	6
3	16	6
done	16	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	12	12
1	20	11
2	28	11
3	40	11
4	75	11
5	162	11
6	410	11
7	1264	11
8	4942	11
done	5000	11
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	18	11
2	24	11
3	31	11
4	49	11
5	99	11
6	224	11
7	596	11
8	1958	11
done	5001	11
0	12	23
1	16	23
2	17	23
done	17	23
0	11	11
1	15	11
2	16	11
done	16	11
0	12	32
1	29	32
2	78	12
3	231	12
4	593	12
5	1488	12
6	3205	12
done	5000	12
0	11	11
1	15	11
2	16	11
done	16	11
0	11	11
1	15	11
2	16	11
done	16	11
0	13	14
1	33	14
2	72	14
3	154	14
4	281	14
5	713	14
6	2642	14
done	5000	14
0	14	32
1	34	24
2	77	24
3	129	24
4	161	24
5	182	24
6	203	24
7	276	24
8	457	24
9	723	24
done	723	24
0	12	21
1	27	21
2	58	21
3	115	21
4	164	21
5	255	21
6	351	21
7	593	21
8	2018	21
done	5001	21
0	10	10
1	15	10
2	23	10
done	23	10
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	20	26
1	29	26
2	43	26
3	72	26
4	94	26
5	102	26
done	102	26
0	20	26
1	29	26
2	43	26
3	72	26
4	94	26
5	102	26
done	102	26
0	21	53
1	30	53
2	44	53
3	73	53
4	87	53
5	95	53
done	95	53
0	20	26
1	29	26
2	43	26
3	72	26
4	94	26
5	102	26
done	102	26
0	21	77
1	31	77
2	47	27
3	81	27
4	103	27
5	121	27
6	142	27
7	198	27
8	414	27
9	1336	27
done	5000	27
0	20	26
1	29	26
2	43	26
3	72	26
4	94	26
5	102	26
done	102	26
0	20	26
1	29	26
2	43	26
3	72	26
4	94	26
5	102	26
done	102	26
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	14	16
1	19	16
2	26	16
done	26	16
0	13	15
1	21	15
2	35	15
3	64	15
4	80	15
5	88	15
done	88	15
0	13	15
1	20	15
2	39	15
3	88	15
4	185	15
5	381	15
6	1225	15
done	5000	15
0	16	44
1	27	44
2	77	18
3	327	18
4	1792	16
done	5000	16
0	14	31
1	19	31
2	32	31
3	61	31
4	77	31
5	85	31
done	85	31
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	14	44
1	29	44
2	89	16
3	373	16
4	1768	16
done	5000	16
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	14	16
1	19	16
2	26	16
done	26	16
0	14	16
1	19	16
2	26	16
done	26	16
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	14	28
1	21	28
2	30	28
done	30	28
0	13	15
1	18	15
2	25	15
done	25	15
0	4	4
1	7	2
2	10	2
done	10	2
0	13	15
1	18	15
2	31	15
3	60	15
4	74	15
5	82	15
done	82	15
0	13	15
1	18	15
2	31	15
3	60	15
4	74	15
5	82	15
done	82	15
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	15	18
1	39	18
2	129	18
3	461	18
4	1665	18
5	4772	18
done	5000	18
0	14	26
1	36	26
2	87	26
3	224	26
4	547	26
5	953	26
6	1484	26
7	2522	26
done	5000	26
0	10	11
1	23	11
2	50	11
3	103	9
4	229	9
5	569	9
6	1981	9
done	5000	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	10	10
1	14	10
2	15	10
done	15	10
0	10	10
1	14	10
2	15	10
done	15	10
0	19	25
1	28	25
2	42	25
3	71	25
4	85	25
5	93	25
done	93	25
0	19	25
1	28	25
2	42	25
3	71	25
4	87	25
5	95	25
done	95	25
0	19	25
1	28	25
2	42	25
3	71	25
4	85	25
5	93	25
done	93	25
0	3	3
1	5	3
2	6	3
done	6	3
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14

prune160.0ms

Filtered

54 candidates to 66 candidates (-22.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	67	10	77

Merged error: 0.1b

Counts

77 → 10

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
0.2b	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
0.2b	(* (sin lambda1) (sin lambda2))
0.6b	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

rewrite24.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`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `associate-+r+` `associate-r/` `pow-prod-down` `prod-exp` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `sin-mult`

Counts

4 → 63

Calls

4 calls:

1.0ms	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
11.0ms	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
6.0ms	(* (sin lambda1) (sin lambda2))
5.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

series128.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(atan2 (* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
40.0ms	(* (cos phi2) (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
11.0ms	(* (sin lambda1) (sin lambda2))
61.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

simplify45.0s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	19
1	32	18
2	61	18
3	112	18
4	203	18
5	686	18
6	2969	18
done	5000	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	30	18
2	59	18
3	109	18
4	179	18
5	614	18
6	2839	18
done	5001	18
0	17	37
1	28	37
2	49	37
3	55	37
done	55	37
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	17	53
1	41	53
2	122	19
3	543	19
4	3397	19
done	5000	19
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	18	21
1	45	21
2	112	21
3	429	21
4	1843	21
done	5000	21
0	19	53
1	46	38
2	149	38
3	537	38
4	1757	38
5	4507	38
done	5000	38
0	17	35
1	39	35
2	118	35
3	416	35
4	1658	35
done	5000	35
0	15	17
1	27	17
2	56	17
3	108	17
4	168	17
5	182	17
6	232	17
7	369	17
8	450	17
done	450	17
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	7	9
1	12	9
2	14	9
done	14	9
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	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	14	16
1	19	16
2	26	16
done	26	16
0	13	15
1	21	15
2	35	15
3	64	15
4	80	15
5	88	15
done	88	15
0	13	15
1	20	15
2	39	15
3	88	15
4	185	15
5	381	15
6	1225	15
done	5000	15
0	16	44
1	27	44
2	77	18
3	327	18
4	1792	16
done	5000	16
0	14	31
1	19	31
2	32	31
3	61	31
4	77	31
5	85	31
done	85	31
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	14	44
1	29	44
2	89	16
3	373	16
4	1768	16
done	5000	16
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	13	15
1	18	15
2	31	15
3	60	15
4	72	15
5	80	15
done	80	15
0	14	16
1	19	16
2	26	16
done	26	16
0	14	16
1	19	16
2	26	16
done	26	16
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	9	9
1	17	9
2	33	9
3	49	9
4	53	9
done	53	9
0	14	28
1	21	28
2	30	28
done	30	28
0	13	15
1	18	15
2	25	15
done	25	15
0	4	4
1	7	2
2	10	2
done	10	2
0	13	15
1	18	15
2	31	15
3	60	15
4	74	15
5	82	15
done	82	15
0	13	15
1	18	15
2	31	15
3	60	15
4	74	15
5	82	15
done	82	15
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	15	18
1	39	18
2	129	18
3	461	18
4	1665	18
5	4772	18
done	5000	18
0	14	26
1	36	26
2	87	26
3	224	26
4	547	26
5	953	26
6	1484	26
7	2522	26
done	5000	26
0	21	33
1	37	33
2	71	33
3	98	33
4	110	33
5	118	33
done	118	33
0	21	33
1	37	33
2	71	33
3	98	33
4	110	33
5	118	33
done	118	33
0	22	67
1	38	67
2	72	67
3	101	67
4	113	67
5	121	67
done	121	67
0	21	33
1	37	33
2	71	33
3	98	33
4	110	33
5	118	33
done	118	33
0	22	98
1	39	98
2	75	34
3	105	34
4	123	34
5	141	34
6	162	34
7	222	34
8	433	34
9	1351	34
done	5000	34
0	21	33
1	37	33
2	71	33
3	98	33
4	110	33
5	118	33
done	118	33
0	21	33
1	37	33
2	71	33
3	98	33
4	110	33
5	118	33
done	118	33
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
2	6	3
done	6	3
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	12	14
1	17	14
2	30	14
3	59	14
4	73	14
5	81	14
done	81	14
0	21	35
1	38	35
2	71	32
3	94	32
4	106	32
5	114	32
done	114	32
0	21	35
1	38	35
2	71	32
3	94	32
4	106	32
5	114	32
done	114	32
0	21	35
1	38	35
2	71	32
3	94	32
4	106	32
5	114	32
done	114	32

prune156.0ms

Filtered

61 candidates to 75 candidates (-23.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	75	10	85

Merged error: 0.1b

Counts

85 → 10

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
0.6b	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
0.6b	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
0.6b	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
6×	`associate-+r+`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3-+` `add-cbrt-cube` `flip-+`
3×	`+-commutative` `cbrt-prod` `distribute-rgt-in` `distribute-lft-in` `sum-log`
2×	`cbrt-div`
1×	`pow1/3`

Counts

4 → 52

Calls

4 calls:

3.0ms	(cbrt (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
5.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
5.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
5.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

series307.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(cbrt (+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
60.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
63.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
64.0ms	(+ (cos phi1) (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))

simplify1.2min

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	19
1	32	18
2	61	18
3	112	18
4	203	18
5	686	18
6	2969	18
done	5000	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	30	18
2	59	18
3	109	18
4	179	18
5	614	18
6	2839	18
done	5001	18
0	17	37
1	28	37
2	49	37
3	55	37
done	55	37
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	17	53
1	41	53
2	122	19
3	543	19
4	3397	19
done	5000	19
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	18	21
1	45	21
2	112	21
3	429	21
4	1843	21
done	5000	21
0	19	53
1	46	38
2	149	38
3	537	38
4	1757	38
5	4507	38
done	5000	38
0	17	35
1	39	35
2	118	35
3	416	35
4	1658	35
done	5000	35
0	15	17
1	27	17
2	56	17
3	108	17
4	168	17
5	182	17
6	232	17
7	369	17
8	450	17
done	450	17
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	17	19
1	32	18
2	61	18
3	112	18
4	203	18
5	686	18
6	2969	18
done	5000	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	30	18
2	59	18
3	109	18
4	179	18
5	614	18
6	2839	18
done	5001	18
0	17	37
1	28	37
2	49	37
3	55	37
done	55	37
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	17	53
1	41	53
2	122	19
3	543	19
4	3397	19
done	5000	19
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	18	21
1	45	21
2	112	21
3	429	21
4	1843	21
done	5000	21
0	19	53
1	46	38
2	149	38
3	537	38
4	1757	38
5	4507	38
done	5000	38
0	17	35
1	39	35
2	118	35
3	416	35
4	1658	35
done	5000	35
0	15	17
1	27	17
2	56	17
3	108	17
4	168	17
5	182	17
6	232	17
7	369	17
8	450	17
done	450	17
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	17	19
1	32	18
2	61	18
3	112	18
4	203	18
5	686	18
6	2969	18
done	5000	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	30	18
2	59	18
3	109	18
4	179	18
5	614	18
6	2839	18
done	5001	18
0	17	37
1	28	37
2	49	37
3	55	37
done	55	37
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	17	53
1	41	53
2	122	19
3	543	19
4	3397	19
done	5000	19
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	18	21
1	45	21
2	112	21
3	429	21
4	1843	21
done	5000	21
0	19	53
1	46	38
2	149	38
3	537	38
4	1757	38
5	4507	38
done	5000	38
0	17	35
1	39	35
2	118	35
3	416	35
4	1658	35
done	5000	35
0	15	17
1	27	17
2	56	17
3	108	17
4	168	17
5	182	17
6	232	17
7	369	17
8	450	17
done	450	17
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	11	11
1	16	11
2	22	11
3	24	11
done	24	11
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	18	38
1	29	38
2	50	38
3	56	38
done	56	38
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	2	2
1	4	1
done	4	1
0	16	18
1	27	18
2	48	18
3	56	18
done	56	18
0	19	22
1	46	22
2	113	22
3	426	22
4	1839	22
done	5000	22
0	20	54
1	47	39
2	150	39
3	539	39
4	1737	39
5	4376	39
done	5000	39
0	18	36
1	40	36
2	119	36
3	421	36
4	1658	36
done	5000	36
0	16	18
1	28	18
2	57	18
3	107	18
4	167	18
5	181	18
6	231	18
7	368	18
8	449	18
done	449	18
0	18	39
1	29	39
2	50	39
3	56	39
done	56	39
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	18	56
1	30	56
2	53	20
3	64	17
4	70	17
5	80	17
6	103	17
7	163	17
8	383	17
9	1305	17
done	5001	17
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	17	19
1	28	19
2	49	19
3	55	19
done	55	19
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	10	13
1	27	11
2	69	11
3	119	11
4	168	11
5	225	11
6	335	11
7	508	11
8	940	11
9	2784	11
done	5000	11
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	16	20
1	28	20
2	48	17
3	52	17
done	52	17
0	16	23
1	45	18
2	147	15
3	359	15
4	1189	15
done	5000	15
0	18	22
1	36	21
2	62	18
3	76	18
4	98	18
5	162	18
6	379	18
7	1304	18
done	5000	18
0	18	22
1	36	21
2	62	18
3	76	18
4	98	18
5	162	18
6	379	18
7	1304	18
done	5000	18

prune117.0ms

Filtered

59 candidates to 64 candidates (-8.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	61	3	64
Fresh	1	7	8
Picked	1	0	1
Done	1	0	1
Total	64	10	74

Merged error: 0.1b

Counts

74 → 10

regimes653.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	75
1	37	75
done	37	75

end0.0ms

sample6.0s

Algorithm

intervals

Results

3.4s	3506×	body	1280	valid
1.4s	2394×	body	640	valid
375.0ms	959×	body	320	valid
112.0ms	414×	body	160	valid
89.0ms	727×	body	80	valid

Details

sample206.0ms

simplify7.0ms

prune5.0ms

localize21.0ms

rewrite25.0ms

series51.0ms

simplify54.4s

prune326.0ms

localize43.0ms

rewrite41.0ms

series135.0ms

simplify48.9s

prune160.0ms

localize33.0ms

rewrite24.0ms

series128.0ms

simplify45.0s

prune156.0ms

localize38.0ms

rewrite20.0ms

series307.0ms

simplify1.2min

prune117.0ms

regimes653.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.0s

Profiling