Details

sample23.0ms

Algorithm

intervals

Results

12.0ms

391×

body

valid

simplify279.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	15	7
1	25	6
2	37	4
3	47	4
4	56	4
5	89	4
6	158	4
7	208	4
8	221	4
9	316	4
10	646	4
11	3185	4
12	5003	4

prune5.0ms

Filtered

1 candidates to 1 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.1b

Counts

2 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 3 (* z z))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-cube-cbrt` `*-un-lft-identity`
1×	`associate-r` `*-commutative` `add-log-exp` `unswap-sqr`

Counts

1 → 19

Calls

1 calls:

5.0ms

(* 3 (* z z))

series28.0ms

Counts

1 → 3

Calls

1 calls:

28.0ms

(* 3 (* z z))

simplify192.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	86	70
1	288	60
2	1042	57
3	4457	57
4	5002	57

prune34.0ms

Filtered

22 candidates to 12 candidates (54.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	19	5	24

Merged error: 0.0b

Counts

24 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

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

series131.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ (* x y) (* z z))
48.0ms	(+ (+ (* x y) (* z z)) (* z z))
46.0ms	(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

simplify132.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 3 (127.0ms)

Iter	Nodes	Cost
0	215	352
1	978	316
2	3975	293
3	5001	282

prune76.0ms

Filtered

47 candidates to 34 candidates (72.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	47	5	52

Merged error: 0.0b

Counts

52 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* 3 z) z)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (* 3 z) z)

series27.0ms

Counts

1 → 3

Calls

1 calls:

27.0ms

(* (* 3 z) z)

simplify59.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 3 (56.0ms)

Iter	Nodes	Cost
0	95	68
1	465	57
2	2244	54
3	5001	53

prune27.0ms

Filtered

21 candidates to 10 candidates (47.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	20	6	26

Merged error: 0b

Counts

26 → 6

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3 (* z z))
0.3b	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
17.7b	(sqrt (* 3 (* z z)))
17.7b	(sqrt (* 3 (* z z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

148×	`pow1`
80×	`pow-prod-down`
66×	`sqrt-pow1`
17×	`pow-prod-up`
14×	`pow1/2`
12×	`add-sqr-sqrt`
11×	`add-exp-log` `pow-sqr` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
6×	`sqrt-prod`
5×	`associate-r`
4×	`swap-sqr` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`*-commutative` `unswap-sqr`
1×	`pow2` `pow-plus` `sqrt-unprod` `rem-square-sqrt`

Counts

4 → 109

Calls

4 calls:

5.0ms	(* 3 (* z z))
13.0ms	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
6.0ms	(sqrt (* 3 (* z z)))
4.0ms	(sqrt (* 3 (* z z)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* 3 (* z z))
67.0ms	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
37.0ms	(sqrt (* 3 (* z z)))
33.0ms	(sqrt (* 3 (* z z)))

simplify37.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	169	344
1	783	285
2	5001	269

prune129.0ms

Filtered

121 candidates to 55 candidates (45.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	120	1	121
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	121	6	127

Merged error: 0b

Counts

127 → 6

regimes128.0ms

Accuracy

0% (0.1b 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	7
1	12	7

end0.0ms

sample617.0ms

Algorithm

intervals

Results

375.0ms

12211×

body

valid

Details

sample23.0ms

simplify279.0ms

prune5.0ms

localize6.0ms

rewrite6.0ms

series28.0ms

simplify192.0ms

prune34.0ms

localize7.0ms

rewrite21.0ms

series131.0ms

simplify132.0ms

prune76.0ms

localize6.0ms

rewrite5.0ms

series27.0ms

simplify59.0ms

prune27.0ms

localize8.0ms

rewrite33.0ms

series162.0ms

simplify37.0ms

prune129.0ms

regimes128.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample617.0ms

Profiling