Details

analyze2.2s

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
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
4.7%	95.1%	0.2%	12
5.9%	93.2%	0.8%	13
8.5%	90.2%	1.3%	14

sample91.0ms

Algorithm

intervals

Results

19.0ms	192×	body	80	valid
13.0ms	19×	body	1280	valid
12.0ms	26×	body	640	valid
8.0ms	86×	body	80	invalid
5.0ms	8×	body	1280	invalid
5.0ms	11×	body	640	invalid
3.0ms	10×	body	320	valid
2.0ms	7×	body	320	invalid
2.0ms	9×	body	160	valid
1.0ms	6×	body	160	invalid

simplify98.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5091	32

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 37.1b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
34.1b	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

198×	`flip3--` `flip--`
196×	`frac-times`
138×	`sqrt-div`
136×	`frac-add`
98×	`associate-r/` `associate-l/`
73×	`cos-mult`
12×	`pow1` `add-sqr-sqrt`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`swap-sqr` `associate-r` `associate-l` `sqrt-prod`
1×	`pow2` `sqr-cos-a` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow-plus` `pow1/2` `pow-prod-down` `prod-exp` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 192

Calls

4 calls:

4.0ms	(* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
23.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0))))) (* (- phi1 phi2) (- phi1 phi2))))

series156.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify101.0ms

Algorithm

egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4972	11939
1	4972	11939

prune524.0ms

Filtered

138 candidates to 204 candidates (-47.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	195	9	204
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	196	9	205

Merged error: 22.6b

Counts

205 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)
1.2b	(log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
34.1b	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

96×	`flip3--` `flip--`
80×	`associate-*l/`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
13×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
11×	`log-pow`
10×	`exp-prod`
7×	`pow1`
6×	`cbrt-prod`
5×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `log-prod` `sqrt-prod`
2×	`pow-pow` `sqr-pow`
1×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `rem-log-exp` `pow-exp` `flip-+`

Counts

4 → 129

Calls

4 calls:

3.0ms	(pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)
4.0ms	(log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
19.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))) (* (- phi1 phi2) (- phi1 phi2))))

series195.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)
22.0ms	(log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
145.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (log (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify64.0ms

Algorithm

egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4993	6218
1	4993	6218

prune361.0ms

Filtered

97 candidates to 141 candidates (-45.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	139	2	141
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	141	9	150

Merged error: 22.6b

Counts

150 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

1.7b	(log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
34.1b	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (+ (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))) (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite97.0ms

Algorithm

rewrite-expression-head

Rules

328×	`frac-times`
300×	`flip3--` `flip--`
210×	`sqrt-div`
208×	`frac-add`
164×	`associate-*r/`
116×	`associate-*l/`
73×	`flip3-+` `flip-+`
13×	`log-pow`
12×	`sqrt-pow1`
11×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `exp-prod` `*-un-lft-identity`
7×	`pow1`
6×	`unpow-prod-down` `log-prod` `sqrt-prod`
5×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`cbrt-prod`
2×	`pow1/2`
1×	`rem-sqrt-square` `rem-log-exp` `sqr-pow`

Counts

4 → 264

Calls

4 calls:

5.0ms	(log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
48.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (+ (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))) (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))))) (* (- phi1 phi2) (- phi1 phi2))))

series509.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
7.0ms	(cos (/ (+ phi1 phi2) 2.0))
449.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (+ (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6)))) (log (sqrt (exp (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 6))))))) (* (- phi1 phi2) (- phi1 phi2))))

simplify177.0ms

Algorithm

egg-herbie

Counts

276 → 276

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4891	16664
1	4891	16664

prune1.2s

Filtered

140 candidates to 276 candidates (-97.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	271	5	276
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	273	12	285

Merged error: 22.6b

Counts

285 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

0.8b	(pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)
2.9b	(cos (/ (+ phi1 phi2) 2.0))
2.9b	(cos (/ (+ phi1 phi2) 2.0))
34.1b	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (pow (cbrt (cbrt (cos (/ (+ phi1 phi2) 2.0)))) 6) (pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

96×	`flip3--` `flip--`
80×	`associate-*l/`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
20×	`unpow-prod-down`
14×	`cbrt-prod`
11×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1`
5×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `sqrt-prod`
2×	`pow-pow` `sqr-pow`
1×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `pow-exp` `flip-+` `unpow2`

Counts

4 → 122

Calls

4 calls:

5.0ms	(pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)
7.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
26.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (pow (cbrt (cbrt (cos (/ (+ phi1 phi2) 2.0)))) 6) (pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)))) (* (- phi1 phi2) (- phi1 phi2))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
142.0ms	(sqrt (+ (* (- lambda1 lambda2) (* (- lambda1 lambda2) (* (pow (cbrt (cbrt (cos (/ (+ phi1 phi2) 2.0)))) 6) (pow (cbrt (pow (cbrt (cos (/ (+ phi1 phi2) 2.0))) 2)) 6)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify66.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4965	7034
1	4965	7034

prune409.0ms

Filtered

92 candidates to 134 candidates (-45.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	134	12	146

Merged error: 22.6b

Counts

146 → 12

regimes1.1s

Accuracy

32.9% (11.0b remaining)

Error of 33.8b against oracle of 22.8b and baseline of 39.3b

bsearch71.0ms

Steps

Iters	Range		Point
8	3.7380363041426496e+82	7.635939183522619e+86	1.902488693416451e+84

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	62
1	64	62

end0.0ms

sample2.9s

Algorithm

intervals

Results

596.0ms	5808×	body	80	valid
409.0ms	864×	body	640	valid
370.0ms	530×	body	1280	valid
232.0ms	2323×	body	80	invalid
226.0ms	462×	body	640	invalid
200.0ms	293×	body	1280	invalid
179.0ms	529×	body	320	valid
75.0ms	269×	body	160	valid
69.0ms	215×	body	320	invalid
22.0ms	100×	body	160	invalid

Details

analyze2.2s

sample91.0ms

simplify98.0ms

prune16.0ms

localize18.0ms

rewrite61.0ms

series156.0ms

simplify101.0ms

prune524.0ms

localize26.0ms

rewrite41.0ms

series195.0ms

simplify64.0ms

prune361.0ms

localize28.0ms

rewrite97.0ms

series509.0ms

simplify177.0ms

prune1.2s

localize27.0ms

rewrite54.0ms

series191.0ms

simplify66.0ms

prune409.0ms

regimes1.1s

bsearch71.0ms

simplify2.0ms

end0.0ms

sample2.9s

Profiling