Details

sample32.0ms

Algorithm

intervals

Results

13.0ms	329×	body	80	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	2×	body	160	valid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	7
1	86	7
2	283	7
3	742	7
4	1197	7
5	1273	7
6	1273	7

prune3.0ms

Filtered

1 candidates to 0 candidates (100.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.3b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 71

Calls

4 calls:

14.0ms	(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
11.0ms	(+ (+ (+ y z) z) y)
6.0ms	(+ (+ y z) z)
14.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

series34.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
5.0ms	(+ (+ (+ y z) z) y)
4.0ms	(+ (+ y z) z)
11.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

simplify47.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	374	480
1	1624	434
2	5001	419

prune90.0ms

Filtered

83 candidates to 58 candidates (30.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Merged error: 0.0b

Counts

84 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 49

Calls

3 calls:

9.0ms	(+ (+ (* (* 2 x) (+ y z)) (* x t)) (* y 5.0))
7.0ms	(* (* 2 x) (+ y z))
7.0ms	(+ (* (* 2 x) (+ y z)) (* x t))

series35.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(+ (+ (* (* 2 x) (+ y z)) (* x t)) (* y 5.0))
8.0ms	(* (* 2 x) (+ y z))
11.0ms	(+ (* (* 2 x) (+ y z)) (* x t))

simplify52.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	340	387
1	1791	357
2	5001	357

prune64.0ms

Filtered

58 candidates to 40 candidates (31.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	58	4	62

Merged error: 0.0b

Counts

62 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
0.3b	(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
0.3b	(* x (+ (+ (+ (+ y z) z) y) t))
0.3b	(* x (+ (+ (+ (+ y z) z) y) t))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 124

Calls

4 calls:

12.0ms	(sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
31.0ms	(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
14.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
14.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

series145.0ms

Counts

4 → 12

Calls

4 calls:

109.0ms	(sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
15.0ms	(* (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))) (sqrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))))
10.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
10.0ms	(* x (+ (+ (+ (+ y z) z) y) t))

simplify70.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	426	1459
1	2044	1298
2	5002	1262

prune146.0ms

Filtered

136 candidates to 77 candidates (43.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	135	5	140

Merged error: 0.0b

Counts

140 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (+ (+ (+ (+ y z) z) y) t))
0.3b	(* x (+ (+ (+ (+ y z) z) y) t))
0.5b	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
0.5b	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

14.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
15.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
13.0ms	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
12.0ms	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))

series153.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
11.0ms	(* x (+ (+ (+ (+ y z) z) y) t))
65.0ms	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))
66.0ms	(cbrt (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)))

simplify48.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	355	918
1	1440	854
2	5002	848

prune188.0ms

Filtered

90 candidates to 64 candidates (28.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	90	5	95

Merged error: 0.0b

Counts

95 → 5

regimes363.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	20	7
1	20	7

end0.0ms

sample930.0ms

Algorithm

intervals

Results

422.0ms	10624×	body	80	valid
17.0ms	96×	body	1280	valid
13.0ms	90×	body	640	valid
6.0ms	54×	body	320	valid
2.0ms	26×	body	160	valid

Details

sample32.0ms

simplify35.0ms

prune3.0ms

localize9.0ms

rewrite47.0ms

series34.0ms

simplify47.0ms

prune90.0ms

localize9.0ms

rewrite25.0ms

series35.0ms

simplify52.0ms

prune64.0ms

localize12.0ms

rewrite76.0ms

series145.0ms

simplify70.0ms

prune146.0ms

localize18.0ms

rewrite57.0ms

series153.0ms

simplify48.0ms

prune188.0ms

regimes363.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample930.0ms

Profiling