Details

sample55.0ms

Algorithm

intervals

Results

27.0ms	262×	body	80	valid
3.0ms	5×	body	1280	valid
3.0ms	7×	body	640	valid
0.0ms	2×	body	160	valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4986	28
1	4986	28

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

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (cos (- (* K (/ (+ m n) 2.0)) M)) (exp (- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))))
0.0b	(* K (/ (+ m n) 2.0))
0.0b	(pow (- (/ (+ m n) 2.0) M) 2.0)
33.6b	(cos (- (* K (/ (+ m n) 2.0)) M))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
21×	`associate-r`
17×	`add-cube-cbrt`
14×	`times-frac`
11×	`add-exp-log` `add-cbrt-cube`
9×	`pow1`
6×	`unpow-prod-down` `associate-l`
4×	`add-log-exp`
3×	`pow-unpow` `prod-exp` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`
2×	`sub-neg` `cos-sum` `associate-r/` `exp-sum` `pow-prod-down` `-commutative` `difference-of-squares`
1×	`cbrt-undiv` `cos-diff` `pow-to-exp` `pow-pow` `exp-diff` `div-exp` `pow-exp` `div-inv` `distribute-lft-out--` `sqr-pow`

Counts

4 → 86

Calls

4 calls:

20.0ms	(* (cos (- (* K (/ (+ m n) 2.0)) M)) (exp (- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))))
9.0ms	(* K (/ (+ m n) 2.0))
10.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)
8.0ms	(cos (- (* K (/ (+ m n) 2.0)) M))

series243.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(* (cos (- (* K (/ (+ m n) 2.0)) M)) (exp (- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))))
8.0ms	(* K (/ (+ m n) 2.0))
39.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)
23.0ms	(cos (- (* K (/ (+ m n) 2.0)) M))

simplify42.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5274	1510

prune234.0ms

Filtered

69 candidates to 98 candidates (-42.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	91	7	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	7	99

Merged error: 1.4b

Counts

99 → 7

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))
0.0b	(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `*-un-lft-identity`
7×	`add-log-exp`
6×	`unpow-prod-down`
4×	`add-cube-cbrt`
3×	`pow1` `add-exp-log` `pow-unpow` `distribute-lft-out--` `difference-of-squares`
2×	`diff-log` `add-cbrt-cube`
1×	`pow-to-exp` `sub-neg` `flip3--` `pow-pow` `times-frac` `pow-exp` `sum-log` `flip--` `distribute-lft-out` `associate--r+` `sqr-pow`

Counts

2 → 37

Calls

2 calls:

14.0ms	(- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))
10.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)

series82.0ms

Counts

2 → 6

Calls

2 calls:

40.0ms	(- (fabs (- m n)) (+ (pow (- (/ (+ m n) 2.0) M) 2.0) l))
42.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify26.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5087	718

prune104.0ms

Filtered

31 candidates to 43 candidates (-38.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	43	7	50

Merged error: 1.4b

Counts

50 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ (+ m n) 2.0))
0.6b	(cbrt (/ (+ m n) 2.0))
0.6b	(cbrt (/ (+ m n) 2.0))
33.6b	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (cbrt (/ (+ m n) 2.0))) M))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

48×	`cbrt-prod`
46×	`*-un-lft-identity`
36×	`times-frac`
28×	`add-sqr-sqrt` `add-cube-cbrt`
9×	`distribute-lft-out`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-div` `pow1/3` `div-inv`
2×	`cos-sum`
1×	`cos-diff` `sub-neg`

Counts

4 → 85

Calls

4 calls:

6.0ms	(cbrt (/ (+ m n) 2.0))
4.0ms	(cbrt (/ (+ m n) 2.0))
4.0ms	(cbrt (/ (+ m n) 2.0))
22.0ms	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (cbrt (/ (+ m n) 2.0))) M))

series146.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (/ (+ m n) 2.0))
39.0ms	(cbrt (/ (+ m n) 2.0))
37.0ms	(cbrt (/ (+ m n) 2.0))
34.0ms	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (cbrt (/ (+ m n) 2.0))) M))

simplify85.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4852	1139
1	4852	1139

prune265.0ms

Filtered

75 candidates to 97 candidates (-29.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	98	6	104

Merged error: 1.4b

Counts

104 → 6

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ (+ m n) 2.0))
0.6b	(cbrt (+ m n))
1.0b	(cbrt 2.0)
33.7b	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (/ (cbrt (+ m n)) (cbrt 2.0))) M))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cbrt-prod`
22×	`*-un-lft-identity`
14×	`add-sqr-sqrt` `add-cube-cbrt`
12×	`times-frac`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `distribute-lft-out` `add-log-exp`
3×	`cbrt-div` `pow1/3`
2×	`cos-sum`
1×	`cos-diff` `sub-neg` `flip3-+` `flip-+` `div-inv`

Counts

4 → 60

Calls

4 calls:

4.0ms	(cbrt (/ (+ m n) 2.0))
3.0ms	(cbrt (+ m n))
1.0ms	(cbrt 2.0)
26.0ms	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (/ (cbrt (+ m n)) (cbrt 2.0))) M))

series161.0ms

Counts

4 → 10

Calls

4 calls:

39.0ms	(cbrt (/ (+ m n) 2.0))
31.0ms	(cbrt (+ m n))
0.0ms	(cbrt 2.0)
91.0ms	(cos (- (* (* K (* (cbrt (/ (+ m n) 2.0)) (cbrt (/ (+ m n) 2.0)))) (/ (cbrt (+ m n)) (cbrt 2.0))) M))

simplify44.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4949	931
1	4949	931

prune185.0ms

Filtered

56 candidates to 70 candidates (-25.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	70	6	76

Merged error: 1.4b

Counts

76 → 6

regimes443.0ms

Accuracy

0% (0.3b remaining)

Error of 1.3b against oracle of 1.0b and baseline of 1.3b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	61	17
1	61	17

end0.0ms

sample1.5s

Algorithm

intervals

Results

860.0ms	8132×	body	80	valid
69.0ms	111×	body	1280	valid
63.0ms	144×	body	640	valid
28.0ms	86×	body	320	valid
12.0ms	56×	body	160	valid
2.0ms	2×	body	2560	valid

Details

sample55.0ms

simplify42.0ms

prune12.0ms

localize24.0ms

rewrite49.0ms

series243.0ms

simplify42.0ms

prune234.0ms

localize14.0ms

rewrite26.0ms

series82.0ms

simplify26.0ms

prune104.0ms

localize25.0ms

rewrite39.0ms

series146.0ms

simplify85.0ms

prune265.0ms

localize29.0ms

rewrite36.0ms

series161.0ms

simplify44.0ms

prune185.0ms

regimes443.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling