Details

analyze2.7s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

sample293.0ms

Algorithm

intervals

Results

204.0ms	142×	body	1280	valid
52.0ms	60×	body	640	valid
13.0ms	23×	body	320	valid
4.0ms	12×	body	160	valid
3.0ms	19×	body	80	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	24
1	29	24

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin phi1) (cos phi2))
0.3b	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
4.4b	(sin (- lambda1 lambda2))
4.5b	(cos (- lambda1 lambda2))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`cos-diff`
2×	`sub-neg` `*-commutative` `sin-cos-mult`
1×	`distribute-rgt-in` `cos-sum` `distribute-lft-in` `sin-sum` `associate-*l/` `sin-diff` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

4.0ms	(* (sin phi1) (cos phi2))
6.0ms	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
4.0ms	(sin (- lambda1 lambda2))
4.0ms	(cos (- lambda1 lambda2))

series44.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (sin phi1) (cos phi2))
24.0ms	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
5.0ms	(sin (- lambda1 lambda2))
7.0ms	(cos (- lambda1 lambda2))

simplify36.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5075	586

prune167.0ms

Filtered

50 candidates to 70 candidates (-40.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	59	11	70
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	61	11	72

Merged error: 6.5b

Counts

72 → 11

localize33.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin phi1) (cos phi2))
0.2b	(* (cos lambda2) (sin lambda1))
0.3b	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
4.5b	(cos (- lambda1 lambda2))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
7×	`associate-l`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
3×	`cos-diff` `*-commutative`
2×	`sin-cos-mult` `unswap-sqr`
1×	`distribute-rgt-in` `sub-neg` `cos-sum` `distribute-lft-in` `associate-*l/`

Counts

4 → 67

Calls

4 calls:

4.0ms	(* (sin phi1) (cos phi2))
4.0ms	(* (cos lambda2) (sin lambda1))
6.0ms	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
4.0ms	(cos (- lambda1 lambda2))

series47.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (sin phi1) (cos phi2))
9.0ms	(* (cos lambda2) (sin lambda1))
25.0ms	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
4.0ms	(cos (- lambda1 lambda2))

simplify40.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5124	648

prune154.0ms

Filtered

54 candidates to 79 candidates (-46.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	76	3	79
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	81	9	90

Merged error: 0.1b

Counts

90 → 9

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos lambda2) (* (sin phi1) (cos phi2)))
0.2b	(* (cos lambda2) (sin lambda1))
0.2b	(* (sin lambda1) (* (sin lambda2) (* (sin phi1) (cos phi2))))
0.2b	(* (sin lambda2) (* (sin phi1) (cos phi2)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-l`
11×	`add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r`
4×	`associate-r/` `-commutative` `add-log-exp`
3×	`sin-cos-mult`
1×	`unswap-sqr`

Counts

4 → 78

Calls

4 calls:

6.0ms	(* (cos lambda2) (* (sin phi1) (cos phi2)))
4.0ms	(* (cos lambda2) (sin lambda1))
9.0ms	(* (sin lambda1) (* (sin lambda2) (* (sin phi1) (cos phi2))))
8.0ms	(* (sin lambda2) (* (sin phi1) (cos phi2)))

series70.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (cos lambda2) (* (sin phi1) (cos phi2)))
9.0ms	(* (cos lambda2) (sin lambda1))
26.0ms	(* (sin lambda1) (* (sin lambda2) (* (sin phi1) (cos phi2))))
18.0ms	(* (sin lambda2) (* (sin phi1) (cos phi2)))

simplify51.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5050	804

prune160.0ms

Filtered

61 candidates to 90 candidates (-47.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	90	9	99

Merged error: 0.1b

Counts

99 → 9

localize34.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sin phi1) (cos phi2))
0.2b	(* (cos lambda2) (sin lambda1))
0.2b	(* (sin lambda1) (sin lambda2))
0.3b	(* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-r`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`associate-l`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`sin-cos-mult`
4×	`*-commutative` `add-log-exp`
3×	`frac-times` `associate-*r/` `sin-mult` `unswap-sqr`
2×	`flip3-+` `frac-add` `cos-mult` `flip-+`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`

Counts

4 → 83

Calls

4 calls:

6.0ms	(* (sin phi1) (cos phi2))
4.0ms	(* (cos lambda2) (sin lambda1))
5.0ms	(* (sin lambda1) (sin lambda2))
10.0ms	(* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))

series72.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (sin phi1) (cos phi2))
9.0ms	(* (cos lambda2) (sin lambda1))
10.0ms	(* (sin lambda1) (sin lambda2))
44.0ms	(* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))

simplify33.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5071	1065

prune114.0ms

Filtered

65 candidates to 95 candidates (-46.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	95	9	104

Merged error: 0.1b

Counts

104 → 9

regimes591.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	38
1	33	38

end0.0ms

analyze2.5s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
7.8%	92%	0.2%	9
7.8%	92%	0.2%	10
10.1%	89.7%	0.2%	11
10.1%	89.7%	0.2%	12
13.9%	85.9%	0.2%	13
13.9%	85.9%	0.2%	14

sample9.0s

Algorithm

intervals

Results

6.6s	4640×	body	1280	valid
1.6s	1935×	body	640	valid
335.0ms	599×	body	320	valid
113.0ms	625×	body	80	valid
68.0ms	201×	body	160	valid

Details

analyze2.7s

sample293.0ms

simplify3.0ms

prune18.0ms

localize25.0ms

rewrite19.0ms

series44.0ms

simplify36.0ms

prune167.0ms

localize33.0ms

rewrite20.0ms

series47.0ms

simplify40.0ms

prune154.0ms

localize36.0ms

rewrite29.0ms

series70.0ms

simplify51.0ms

prune160.0ms

localize34.0ms

rewrite28.0ms

series72.0ms

simplify33.0ms

prune114.0ms

regimes591.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze2.5s

sample9.0s

Profiling