Details

sample17.0ms

Algorithm

intervals

Results

9.0ms

292×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	8	2
1	10	2
2	10	2

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.2b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ x (* y 3.0))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `expm1-log1p-u` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 23

Calls

1 calls:

5.0ms

(/ x (* y 3.0))

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

(/ x (* y 3.0))

simplify111.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	111	92
1	370	77
2	1511	77
3	4610	77
4	5002	77

prune63.0ms

Filtered

26 candidates to 19 candidates (73.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	22	5	27

Merged error: 0.0b

Counts

27 → 5

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (/ x y) 3.0)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/r*`
1×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `associate-/l/` `add-log-exp`

Counts

1 → 72

Calls

1 calls:

7.0ms

(/ (/ x y) 3.0)

series25.0ms

Counts

1 → 3

Calls

1 calls:

25.0ms

(/ (/ x y) 3.0)

simplify116.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	335	457
1	1170	439
2	4392	439
3	5001	439

prune169.0ms

Filtered

75 candidates to 61 candidates (81.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	74	6	80

Merged error: 0b

Counts

80 → 6

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 0.3333333333333333 (/ x y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`associate-r`
10×	`times-frac`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `expm1-log1p-u` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `log1p-expm1-u` `div-inv` `add-log-exp`

Counts

1 → 34

Calls

1 calls:

8.0ms

(* 0.3333333333333333 (/ x y))

series28.0ms

Counts

1 → 3

Calls

1 calls:

28.0ms

(* 0.3333333333333333 (/ x y))

simplify90.0ms

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	166	139
1	729	124
2	2966	124
3	5001	124

prune68.0ms

Filtered

37 candidates to 26 candidates (70.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	37	6	43

Merged error: 0b

Counts

43 → 6

localize11.0ms

Local error

Found 1 expressions with local error:

0.3b	(* (/ 1 y) (/ x 3.0))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`associate-r` `associate-l` `add-cbrt-cube`
8×	`div-exp` `prod-exp`
6×	`unswap-sqr`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow1`
2×	`rec-exp` `1-exp` `div-inv`
1×	`expm1-log1p-u` `frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

1 → 58

Calls

1 calls:

12.0ms

(* (/ 1 y) (/ x 3.0))

series22.0ms

Counts

1 → 3

Calls

1 calls:

22.0ms

(* (/ 1 y) (/ x 3.0))

simplify59.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	336	305
1	1463	255
2	5001	239

prune99.0ms

Filtered

61 candidates to 40 candidates (65.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	61	6	67

Merged error: 0b

Counts

67 → 6

regimes87.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	2

end0.0ms

sample330.0ms

Algorithm

intervals

Results

184.0ms

9090×

body

valid

Details

sample17.0ms

simplify10.0ms

prune2.0ms

localize4.0ms

rewrite6.0ms

series24.0ms

simplify111.0ms

prune63.0ms

localize4.0ms

rewrite11.0ms

series25.0ms

simplify116.0ms

prune169.0ms

localize4.0ms

rewrite9.0ms

series28.0ms

simplify90.0ms

prune68.0ms

localize11.0ms

rewrite14.0ms

series22.0ms

simplify59.0ms

prune99.0ms

regimes87.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample330.0ms

Profiling