Details

sample30.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 2.319336%

Results

203.0ms	150×	body	1280	valid
50.0ms	66×	body	640	valid
11.0ms	21×	body	320	valid
10.0ms	3×	body	2560	valid
4.0ms	12×	body	160	valid
1.0ms	4×	body	80	valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	12
1	34	12
2	36	12
3	36	12

prune11.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: 14.7b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin phi1) (sin phi2))
0.2b	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
1.1b	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
2.4b	(cos (- lambda1 lambda2))

rewrite14.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`
4×	`add-log-exp`
2×	`cos-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`acos-asin` `cos-diff` `sub-neg` `sin-mult`

Counts

4 → 55

Calls

4 calls:

4.0ms	(* (sin phi1) (sin phi2))
3.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
2.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
4.0ms	(cos (- lambda1 lambda2))

series48.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (sin phi1) (sin phi2))
25.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2))))) R)
9.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (cos (- lambda1 lambda2)))))
5.0ms	(cos (- lambda1 lambda2))

simplify51.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	200	661
1	565	569
2	1790	569
3	5001	569

prune156.0ms

Filtered

49 candidates to 67 candidates (-36.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	54	13	67
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	13	68

Merged error: 4.1b

Counts

68 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin phi1) (sin phi2))
0.2b	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
0.2b	(* (sin lambda1) (sin lambda2))
1.0b	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sin-mult`
1×	`acos-asin`

Counts

4 → 64

Calls

4 calls:

4.0ms	(* (sin phi1) (sin phi2))
3.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
5.0ms	(* (sin lambda1) (sin lambda2))
1.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))

series76.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (sin phi1) (sin phi2))
44.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
9.0ms	(* (sin lambda1) (sin lambda2))
13.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))

simplify83.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	260	929
1	831	774
2	1930	774
3	3056	774
4	5001	774

prune171.0ms

Filtered

51 candidates to 76 candidates (-49.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	68	8	76
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	74	15	89

Merged error: 4.0b

Counts

89 → 15

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
0.2b	(* (sin lambda1) (sin lambda2))
1.0b	(acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
4.4b	(log (exp (* (sin phi1) (sin phi2))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
9×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
5×	`add-log-exp`
3×	`log-prod` `log-pow`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`acos-asin` `exp-prod` `exp-to-pow` `rem-log-exp` `sin-mult`

Counts

4 → 59

Calls

4 calls:

3.0ms	(* (acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
4.0ms	(* (sin lambda1) (sin lambda2))
2.0ms	(acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
2.0ms	(log (exp (* (sin phi1) (sin phi2))))

series75.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(* (acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))) R)
9.0ms	(* (sin lambda1) (sin lambda2))
12.0ms	(acos (+ (log (exp (* (sin phi1) (sin phi2)))) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))))
9.0ms	(log (exp (* (sin phi1) (sin phi2))))

simplify70.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	219	996
1	674	837
2	1567	837
3	2617	837
4	5002	837

prune158.0ms

Filtered

49 candidates to 71 candidates (-44.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	71	15	86

Merged error: 4.0b

Counts

86 → 15

localize35.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2)))))))) R)
0.2b	(* (sin lambda1) (sin lambda2))
1.0b	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))))))
3.2b	(log (exp (* (sin lambda1) (sin lambda2))))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt`
9×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
5×	`add-log-exp`
3×	`log-prod` `log-pow`
2×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`acos-asin` `exp-prod` `exp-to-pow` `rem-log-exp` `sin-mult`

Counts

4 → 59

Calls

4 calls:

3.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2)))))))) R)
5.0ms	(* (sin lambda1) (sin lambda2))
1.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))))))
2.0ms	(log (exp (* (sin lambda1) (sin lambda2))))

series77.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2)))))))) R)
11.0ms	(* (sin lambda1) (sin lambda2))
13.0ms	(acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))))))
9.0ms	(log (exp (* (sin lambda1) (sin lambda2))))

simplify68.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	214	980
1	628	826
2	1442	826
3	2524	826
4	5001	826

prune77.0ms

Filtered

49 candidates to 71 candidates (-44.9%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	70	16	86

Merged error: 4.0b

Counts

86 → 16

regimes1.7s

Accuracy

0% (0.3b remaining)

Error of 3.7b against oracle of 3.4b and baseline of 3.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	19
1	32	19

end0.0ms

sample39.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 2.319336%

Results

6.4s	4797×	body	1280	valid
1.7s	2131×	body	640	valid
347.0ms	680×	body	320	valid
96.0ms	271×	body	160	valid
69.0ms	19×	body	2560	valid
22.0ms	102×	body	80	valid
2.0ms	2×	body	1280	invalid

Details

sample30.8s

simplify6.0ms

prune11.0ms

localize24.0ms

rewrite14.0ms

series48.0ms

simplify51.0ms

prune156.0ms

localize34.0ms

rewrite15.0ms

series76.0ms

simplify83.0ms

prune171.0ms

localize34.0ms

rewrite13.0ms

series75.0ms

simplify70.0ms

prune158.0ms

localize35.0ms

rewrite13.0ms

series77.0ms

simplify68.0ms

prune77.0ms

regimes1.7s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample39.6s

Profiling