Details

analyze2.8s

Algorithm: search

sample313.0ms

Algorithm

intervals

Results

239.0ms	161×	body	1280	valid
48.0ms	58×	body	640	valid
5.0ms	10×	body	320	valid
3.0ms	22×	body	80	valid
2.0ms	5×	body	160	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	15
1	46	15
2	71	15
3	77	15
4	77	15

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

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cos phi1) (sin phi2))
0.2b	(* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2)))
3.5b	(cos (- lambda1 lambda2))
3.6b	(sin (- lambda1 lambda2))

rewrite20.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` `cos-sum` `sin-sum` `*-commutative`
1×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/` `sin-diff` `sin-cos-mult` `unswap-sqr`

Counts

4 → 59

Calls

4 calls:

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

series44.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify104.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	286	430
1	1077	367
2	4907	367
3	5001	367

prune167.0ms

Filtered

50 candidates to 71 candidates (-42.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	58	13	71
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	13	72

Merged error: 8.3b

Counts

72 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite20.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` `add-log-exp`
4×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
3×	`cos-diff`
2×	`sub-neg` `cos-sum` `*-commutative`
1×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `diff-log` `associate-*l/` `sin-cos-mult` `flip--` `unswap-sqr`

Counts

4 → 61

Calls

4 calls:

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

series55.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	348	536
1	1342	463
2	5002	463

prune141.0ms

Filtered

50 candidates to 73 candidates (-46.0%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	75	11	86

Merged error: 0.1b

Counts

86 → 11

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 71

Calls

4 calls:

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

series150.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (cos phi1) (sin phi2))
17.0ms	(- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))
80.0ms	(- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))))
43.0ms	(* (* (sin phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2))))

simplify75.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	569	1069
1	2561	965
2	5002	965

prune151.0ms

Filtered

57 candidates to 83 candidates (-45.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	76	7	83
Fresh	9	1	10
Picked	1	0	1
Done	0	0	0
Total	86	8	94

Merged error: 0.0b

Counts

94 → 8

localize42.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))))
0.6b	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
0.6b	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
0.6b	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

13.0ms	(* (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))))
5.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
5.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
5.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))

series160.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(* (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))) (cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2)))))
35.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
35.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))
45.0ms	(cbrt (- (* (sin lambda1) (cos lambda2)) (* (cos lambda1) (sin lambda2))))

simplify143.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	258	1840
1	902	1674
2	4859	1592
3	5001	1592

prune131.0ms

Filtered

71 candidates to 99 candidates (-39.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	96	3	99
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	98	9	107

Merged error: 0.0b

Counts

107 → 9

regimes523.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	60
1	37	60

end0.0ms

analyze2.5s

Algorithm: search

sample9.1s

Algorithm

intervals

Results

6.7s	4608×	body	1280	valid
1.5s	1924×	body	640	valid
310.0ms	608×	body	320	valid
109.0ms	675×	body	80	valid
66.0ms	185×	body	160	valid

Details

analyze2.8s

sample313.0ms

simplify8.0ms

prune5.0ms

localize25.0ms

rewrite20.0ms

series44.0ms

simplify104.0ms

prune167.0ms

localize34.0ms

rewrite20.0ms

series55.0ms

simplify39.0ms

prune141.0ms

localize36.0ms

rewrite24.0ms

series150.0ms

simplify75.0ms

prune151.0ms

localize42.0ms

rewrite30.0ms

series160.0ms

simplify143.0ms

prune131.0ms

regimes523.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze2.5s

sample9.1s

Profiling