Details

analyze273.0ms

Algorithm: search

sample16.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
0.0ms	12×	body	80	invalid

simplify275.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

prune11.0ms

Filtered

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

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 3 (* z z)) (* x y))
0.2b	(* 3 (* z z))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-sqr-sqrt` `add-log-exp`
3×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 30

Calls

2 calls:

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

series10.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (* 3 (* z z)) (* x y))
3.0ms	(* 3 (* z z))

simplify78.0ms

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	166	163
1	617	147
2	2424	143
3	5003	143

prune50.0ms

Filtered

23 candidates to 36 candidates (-56.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	33	3	36
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	34	4	38

Merged error: 0b

Counts

38 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

4.0ms	(+ (* (* 3 z) z) (* x y))
4.0ms	(* (* 3 z) z)

series10.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (* (* 3 z) z) (* x y))
3.0ms	(* (* 3 z) z)

simplify127.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 3 (123.0ms)

Iter	Nodes	Cost
0	175	161
1	815	145
2	4087	142
3	5001	141

prune39.0ms

Filtered

20 candidates to 35 candidates (-75.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	35	4	39

Merged error: 0b

Counts

39 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 27

Calls

2 calls:

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

series22.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify103.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 3 (99.0ms)

Iter	Nodes	Cost
0	165	282
1	771	246
2	3528	225
3	5001	214

prune36.0ms

Filtered

23 candidates to 33 candidates (-43.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	33	0	33
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	33	4	37

Merged error: 0b

Counts

37 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 3 (* z z))
0.4b	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
20.3b	(sqrt (* 3 (* z z)))
20.3b	(sqrt (* 3 (* z z)))

rewrite29.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))
12.0ms	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
4.0ms	(sqrt (* 3 (* z z)))
4.0ms	(sqrt (* 3 (* z z)))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 3 (* z z))
9.0ms	(* (sqrt (* 3 (* z z))) (sqrt (* 3 (* z z))))
4.0ms	(sqrt (* 3 (* z z)))
4.0ms	(sqrt (* 3 (* z z)))

simplify35.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (28.0ms)

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

prune92.0ms

Filtered

55 candidates to 121 candidates (-120.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	121	4	125

Merged error: 0b

Counts

125 → 4

regimes331.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	4
1	12	4

end0.0ms

analyze282.0ms

Algorithm: search

sample420.0ms

Algorithm

intervals

Results

241.0ms	8000×	body	80	valid
13.0ms	458×	body	80	invalid

Details

analyze273.0ms

sample16.0ms

simplify275.0ms

prune11.0ms

localize6.0ms

rewrite11.0ms

series10.0ms

simplify78.0ms

prune50.0ms

localize6.0ms

rewrite9.0ms

series10.0ms

simplify127.0ms

prune39.0ms

localize6.0ms

rewrite14.0ms

series22.0ms

simplify103.0ms

prune36.0ms

localize8.0ms

rewrite29.0ms

series19.0ms

simplify35.0ms

prune92.0ms

regimes331.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze282.0ms

sample420.0ms

Profiling