Details

sample64.0ms

Algorithm

intervals

Results

24.0ms	58×	body	1280	valid
11.0ms	44×	body	640	valid
6.0ms	153×	body	80	valid
4.0ms	25×	body	320	valid
3.0ms	99×	body	80	nan
1.0ms	13×	body	160	valid

simplify121.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (10.0ms)

Iter	Nodes	Cost
0	15	6
1	24	6
2	51	6
3	106	6
4	304	4
5	774	4
6	4142	4
7	5001	4

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ x (+ x y))
6.3b	(pow (/ x (+ x y)) x)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
24×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-down`
7×	`add-exp-log` `distribute-lft-out`
4×	`associate-/r*` `associate-/r/` `add-cbrt-cube`
3×	`pow1` `pow-unpow` `associate-/l*`
2×	`flip3-+` `div-exp` `pow-exp` `flip-+` `div-inv` `add-log-exp`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `clear-num` `sqr-pow`

Counts

2 → 66

Calls

2 calls:

10.0ms	(/ x (+ x y))
13.0ms	(pow (/ x (+ x y)) x)

series279.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(/ x (+ x y))
240.0ms	(pow (/ x (+ x y)) x)

simplify43.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	309	402
1	1244	387
2	5002	386

prune160.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (exp (* -1 y)) x)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`associate-/r` `add-cbrt-cube` `associate-/l`
2×	`add-exp-log`
1×	`pow1` `cbrt-undiv` `exp-neg` `frac-2neg` `mul-1-neg` `div-exp` `clear-num` `div-inv` `associate-/l/` `add-log-exp`

Counts

1 → 28

Calls

1 calls:

9.0ms

(/ (exp (* -1 y)) x)

series21.0ms

Counts

1 → 3

Calls

1 calls:

21.0ms

(/ (exp (* -1 y)) x)

simplify53.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	114	186
1	303	172
2	1465	170
3	5003	170

prune308.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.5b

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1 (* x (exp y)))
0.0b	(* x (exp y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`add-sqr-sqrt`
7×	`pow1`
6×	`add-cube-cbrt` `*-un-lft-identity`
4×	`div-exp` `prod-exp`
3×	`times-frac` `associate-r` `associate-l` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `pow-flip` `1-exp` `pow-prod-down` `cbrt-unprod` `add-log-exp`
1×	`frac-2neg` `clear-num` `associate-/r` `-commutative` `div-inv` `inv-pow` `unswap-sqr`

Counts

2 → 46

Calls

2 calls:

17.0ms	(/ 1 (* x (exp y)))
11.0ms	(* x (exp y))

series51.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(/ 1 (* x (exp y)))
24.0ms	(* x (exp y))

simplify104.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	173	203
1	786	170
2	4230	163
3	5002	163

prune82.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.5b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1/2 (pow y 2)) (+ y 1))
0.4b	(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
2.9b	(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

rewrite131.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log`
10×	`add-cbrt-cube`
9×	`add-sqr-sqrt`
8×	`pow1` `add-log-exp`
7×	`add-cube-cbrt` `*-un-lft-identity`
4×	`associate-*r/` `div-exp` `prod-exp`
3×	`flip3-+` `times-frac` `associate-r` `associate-l` `sum-log` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `rec-exp` `pow-flip` `1-exp` `pow-prod-down` `associate-/r/` `cbrt-unprod`
1×	`+-commutative` `distribute-rgt-in` `associate-+r+` `frac-2neg` `distribute-lft-in` `clear-num` `associate-/r` `-commutative` `div-inv` `inv-pow` `unswap-sqr`

Counts

3 → 65

Calls

3 calls:

20.0ms	(+ (* 1/2 (pow y 2)) (+ y 1))
45.0ms	(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
64.0ms	(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

series112.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(+ (* 1/2 (pow y 2)) (+ y 1))
48.0ms	(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
43.0ms	(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

simplify60.0ms

Algorithm

egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	339	550
1	1749	468
2	5002	462

prune137.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.5b

regimes78.0ms

Accuracy

88.7% (1.4b remaining)

Error of 1.8b against oracle of 0.4b and baseline of 12.6b

bsearch86.0ms

Steps

Iters	Range		Point
6	1.3330246063773173e-09	1.3045330821618359e-08	1.2852105229732645e-08
11	-3408810.996198386	-9.740626457484644e-21	-5.595667354331364

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	14
1	29	14

end0.0ms

sample1.8s

Algorithm

intervals

Results

615.0ms	1459×	body	1280	valid
373.0ms	1521×	body	640	valid
202.0ms	4864×	body	80	valid
128.0ms	803×	body	320	valid
86.0ms	2966×	body	80	nan
43.0ms	441×	body	160	valid