Details

sample75.0ms

Algorithm

intervals

Results

20.0ms	54×	body	640	valid
19.0ms	260×	body	80	valid
11.0ms	26×	body	1280	valid
4.0ms	17×	body	320	valid
2.0ms	11×	body	160	valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	17
1	71	17
2	241	17
3	747	17
4	2196	17
5	5001	17

prune3.0ms

Filtered

1 candidates to 0 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: 39.8b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
36.6b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

130×	`associate-*l/`
97×	`flip3--` `flip--`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
12×	`add-sqr-sqrt`
9×	`*-un-lft-identity`
7×	`pow1` `add-cube-cbrt`
6×	`add-exp-log` `add-cbrt-cube`
5×	`associate-l`
4×	`add-log-exp`
3×	`associate-r` `sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 115

Calls

4 calls:

7.0ms	(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
17.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series520.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))
28.0ms	(cos (/ (+ phi1 phi2) 2.0))
25.0ms	(cos (/ (+ phi1 phi2) 2.0))
383.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify57.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1312	3624
1	5002	3529

prune422.0ms

Filtered

127 candidates to 78 candidates (61.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	120	7	127
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	7	128

Merged error: 27.6b

Counts

128 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
36.6b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

128×	`associate-*l/`
96×	`flip3--` `flip--`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 100

Calls

4 calls:

5.0ms	(cos (/ (+ phi1 phi2) 2.0))
8.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
25.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

series480.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cos (/ (+ phi1 phi2) 2.0))
26.0ms	(cos (/ (+ phi1 phi2) 2.0))
31.0ms	(cos (/ (+ phi1 phi2) 2.0))
396.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify71.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1278	4428
1	5001	4345

prune545.0ms

Filtered

112 candidates to 80 candidates (71.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	112	7	119

Merged error: 27.6b

Counts

119 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
36.6b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite257.0ms

Algorithm

rewrite-expression-head

Rules

2240×	`associate-*l/`
1408×	`frac-times`
1344×	`flip3--` `flip--`
1296×	`cbrt-div`
642×	`sqrt-div`
640×	`frac-add`
560×	`associate-*r/`
6×	`add-sqr-sqrt`
5×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`sqrt-prod`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+`

Counts

4 → 676

Calls

4 calls:

5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
68.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

series470.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cos (/ (+ phi1 phi2) 2.0))
25.0ms	(cos (/ (+ phi1 phi2) 2.0))
30.0ms	(cos (/ (+ phi1 phi2) 2.0))
390.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (* (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))) (cbrt (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify429.0ms

Algorithm

egg-herbie

Counts

688 → 688

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5001	50209

prune6.7s

Filtered

688 candidates to 680 candidates (98.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	688	0	688
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	688	7	695

Merged error: 27.6b

Counts

695 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

2.6b	(cos (/ (+ phi1 phi2) 2.0))
2.6b	(cos (/ (+ phi1 phi2) 2.0))
5.8b	(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
36.6b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

256×	`associate-*l/`
192×	`flip3--` `flip--`
132×	`sqrt-div`
128×	`frac-times` `frac-add`
66×	`log-div` `exp-diff`
64×	`associate-*r/`
9×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`log-prod` `exp-prod` `exp-sum` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`log-pow`
2×	`sqrt-pow1` `flip3-+` `pow1/2` `flip-+`
1×	`rem-sqrt-square` `rem-exp-log`

Counts

4 → 179

Calls

4 calls:

5.0ms	(cos (/ (+ phi1 phi2) 2.0))
8.0ms	(cos (/ (+ phi1 phi2) 2.0))
24.0ms	(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
18.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series859.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cos (/ (+ phi1 phi2) 2.0))
26.0ms	(cos (/ (+ phi1 phi2) 2.0))
406.0ms	(exp (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))))
401.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify92.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1513	6939
1	5002	6823

prune746.0ms

Filtered

191 candidates to 100 candidates (52.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	187	4	191
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	188	10	198

Merged error: 27.6b

Counts

198 → 10

regimes567.0ms

Accuracy

74.1% (3.6b remaining)

Error of 29.0b against oracle of 25.4b and baseline of 39.4b

bsearch3.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	45
1	37	45

end0.0ms

sample2.0s

Algorithm

intervals

Results

616.0ms	8369×	body	80	valid
420.0ms	1300×	body	640	valid
372.0ms	811×	body	1280	valid
173.0ms	738×	body	320	valid
61.0ms	365×	body	160	valid

Details

sample75.0ms

simplify54.0ms

prune3.0ms

localize16.0ms

rewrite47.0ms

series520.0ms

simplify57.0ms

prune422.0ms

localize22.0ms

rewrite53.0ms

series480.0ms

simplify71.0ms

prune545.0ms

localize21.0ms

rewrite257.0ms

series470.0ms

simplify429.0ms

prune6.7s

localize21.0ms

rewrite77.0ms

series859.0ms

simplify92.0ms

prune746.0ms

regimes567.0ms

bsearch3.0ms

simplify2.0ms

end0.0ms

sample2.0s

Profiling