Details

sample25.0ms

Algorithm

intervals

Results

14.0ms	326×	body	80	valid
0.0ms	4×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	4
1	28	4
2	38	4
3	41	4
4	41	4

prune2.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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (+ y z))
0.0b	(+ (* x (+ y z)) (* z 5.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

5.0ms	(* x (+ y z))
6.0ms	(+ (* x (+ y z)) (* z 5.0))

series60.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(* x (+ y z))
30.0ms	(+ (* x (+ y z)) (* z 5.0))

simplify121.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 2 (31.0ms)

Iter	Nodes	Cost
0	212	186
1	877	169
2	4182	168
3	5001	168

prune65.0ms

Filtered

42 candidates to 28 candidates (66.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	3	43

Merged error: 0.0b

Counts

43 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (+ y z)) (* z 5.0))
0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.1b	(sqrt (+ (* x (+ y z)) (* z 5.0)))
0.2b	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-+l+` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `distribute-rgt-in` `distribute-lft-in` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 100

Calls

4 calls:

6.0ms	(+ (* x (+ y z)) (* z 5.0))
6.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
5.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
15.0ms	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

series298.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ (* x (+ y z)) (* z 5.0))
114.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
120.0ms	(sqrt (+ (* x (+ y z)) (* z 5.0)))
29.0ms	(* (sqrt (+ (* x (+ y z)) (* z 5.0))) (sqrt (+ (* x (+ y z)) (* z 5.0))))

simplify49.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	282	966
1	1081	870
2	5001	838

prune192.0ms

Filtered

112 candidates to 64 candidates (57.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	111	4	115

Merged error: 0.0b

Counts

115 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))
0.2b	(* (* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (cbrt (+ (* x (+ y z)) (* z 5.0)))))
0.6b	(cbrt (+ (* x (+ y z)) (* z 5.0)))
0.6b	(cbrt (+ (* x (+ y z)) (* z 5.0)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`associate-r`
14×	`sqrt-div`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `add-exp-log` `add-cbrt-cube`
10×	`cbrt-div` `associate-*r/` `sqrt-prod`
9×	`cbrt-prod` `flip3-+` `flip-+`
4×	`frac-times` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`pow1/3` `associate-l/` `-commutative` `unswap-sqr`

Counts

4 → 82

Calls

4 calls:

9.0ms	(* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))
17.0ms	(* (* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (cbrt (+ (* x (+ y z)) (* z 5.0)))))
5.0ms	(cbrt (+ (* x (+ y z)) (* z 5.0)))
7.0ms	(cbrt (+ (* x (+ y z)) (* z 5.0)))

series773.0ms

Counts

4 → 12

Calls

4 calls:

143.0ms	(* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0))))
314.0ms	(* (* (fabs (cbrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (+ (* x (+ y z)) (* z 5.0)))) (sqrt (cbrt (+ (* x (+ y z)) (* z 5.0)))))
159.0ms	(cbrt (+ (* x (+ y z)) (* z 5.0)))
156.0ms	(cbrt (+ (* x (+ y z)) (* z 5.0)))

simplify77.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	593	1744
1	2134	1595
2	5002	1527

prune318.0ms

Filtered

94 candidates to 74 candidates (78.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	94	4	98

Merged error: 0.0b

Counts

98 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
0.1b	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
0.2b	(* (pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3) (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))))
0.3b	(pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

107×	`sqrt-prod`
74×	`add-sqr-sqrt`
36×	`sqrt-div`
27×	`unpow-prod-down` `cube-prod`
25×	`add-cube-cbrt` `*-un-lft-identity`
24×	`associate-l` `unswap-sqr`
12×	`pow1` `sqrt-pow1`
10×	`add-exp-log`
9×	`flip3-+` `associate-r` `flip-+`
8×	`cube-div`
7×	`add-cbrt-cube`
6×	`pow1/2`
5×	`pow-pow` `sqr-pow`
4×	`frac-times` `rem-sqrt-square` `add-log-exp`
3×	`pow-unpow` `prod-exp`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-r/` `associate-l/` `pow-exp`
1×	`pow-plus` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod` `rem-cube-cbrt`

Counts

4 → 163

Calls

4 calls:

6.0ms	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
6.0ms	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
26.0ms	(* (pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3) (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))))
11.0ms	(pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3)

series657.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
154.0ms	(sqrt (sqrt (+ (* x (+ y z)) (* z 5.0))))
37.0ms	(* (pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3) (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))))
303.0ms	(pow (sqrt (sqrt (+ (* x (+ y z)) (* z 5.0)))) 3)

simplify100.0ms

Algorithm

egg-herbie

Counts

175 → 175

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	520	2183
1	2183	1922
2	5002	1709

prune345.0ms

Filtered

175 candidates to 89 candidates (50.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	175	0	175
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	175	4	179

Merged error: 0.0b

Counts

179 → 4

regimes97.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	4
1	12	4

end0.0ms

sample504.0ms

Algorithm

intervals

Results

266.0ms	9867×	body	80	valid
15.0ms	116×	body	1280	valid
10.0ms	113×	body	640	valid
4.0ms	60×	body	320	valid
2.0ms	35×	body	160	valid

Details

sample25.0ms

simplify8.0ms

prune2.0ms

localize6.0ms

rewrite12.0ms

series60.0ms

simplify121.0ms

prune65.0ms

localize8.0ms

rewrite36.0ms

series298.0ms

simplify49.0ms

prune192.0ms

localize13.0ms

rewrite41.0ms

series773.0ms

simplify77.0ms

prune318.0ms

localize11.0ms

rewrite55.0ms

series657.0ms

simplify100.0ms

prune345.0ms

regimes97.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample504.0ms

Profiling