Details

sample73.0ms

Algorithm

intervals

Results

24.0ms	49×	body	1280	valid
16.0ms	55×	body	640	valid
8.0ms	142×	body	80	valid
7.0ms	107×	body	80	nan
5.0ms	27×	body	320	valid
2.0ms	13×	body	160	valid

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 4 (9.0ms)

Iter	Nodes	Cost
0	15	6
1	24	6
2	51	6
3	108	6
4	310	4
5	792	4
6	4192	4
7	5002	4

prune4.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 12.3b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite14.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×	`expm1-log1p-u` `flip3-+` `div-exp` `pow-exp` `flip-+` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`cbrt-undiv` `pow-to-exp` `pow-pow` `frac-2neg` `clear-num` `sqr-pow`

Counts

2 → 70

Calls

2 calls:

5.0ms	(/ x (+ x y))
7.0ms	(pow (/ x (+ x y)) x)

series280.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	320	413
1	1304	399
2	5002	398

prune139.0ms

Filtered

76 candidates to 54 candidates (71.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	3	77

Merged error: 1.3b

Counts

77 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.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` `expm1-log1p-u` `frac-2neg` `mul-1-neg` `div-exp` `clear-num` `log1p-expm1-u` `div-inv` `associate-/l/` `add-log-exp`

Counts

1 → 30

Calls

1 calls:

4.0ms

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

series18.0ms

Counts

1 → 3

Calls

1 calls:

18.0ms

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

simplify47.0ms

Algorithm

egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	118	194
1	313	179
2	1512	177
3	5001	177

prune58.0ms

Filtered

33 candidates to 25 candidates (75.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 1.3b

Counts

36 → 4

localize4.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.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` `expm1-log1p-u` `rec-exp` `pow-flip` `1-exp` `pow-prod-down` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
1×	`frac-2neg` `clear-num` `associate-/r` `-commutative` `div-inv` `inv-pow` `unswap-sqr`

Counts

2 → 50

Calls

2 calls:

5.0ms	(/ 1 (* x (exp y)))
5.0ms	(* x (exp y))

series45.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify94.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	179	216
1	804	181
2	4323	175
3	5002	175

prune73.0ms

Filtered

56 candidates to 33 candidates (58.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	55	5	60

Merged error: 1.2b

Counts

60 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (fma (* 1/2 x) (pow y 2) (fma y x x)))
4.3b	(fma (* 1/2 x) (pow y 2) (fma y x x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log`
4×	`add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l`
2×	`expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `rec-exp` `pow-flip` `frac-2neg` `1-exp` `clear-num` `fma-udef` `div-inv` `inv-pow`

Counts

2 → 43

Calls

2 calls:

3.0ms	(/ 1 (fma (* 1/2 x) (pow y 2) (fma y x x)))
1.0ms	(fma (* 1/2 x) (pow y 2) (fma y x x))

series109.0ms

Counts

2 → 6

Calls

2 calls:

63.0ms	(/ 1 (fma (* 1/2 x) (pow y 2) (fma y x x)))
46.0ms	(fma (* 1/2 x) (pow y 2) (fma y x x))

simplify120.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 3 (114.0ms)

Iter	Nodes	Cost
0	166	386
1	661	344
2	3332	330
3	5002	328

prune78.0ms

Filtered

49 candidates to 30 candidates (61.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	49	5	54

Merged error: 1.2b

Counts

54 → 5

regimes63.0ms

Accuracy

92.4% (0.9b remaining)

Error of 1.6b against oracle of 0.7b and baseline of 12.3b

bsearch87.0ms

Steps

Iters	Range		Point
6	5.0295420654173144e-14	2.575196888632014e-13	2.533222095666427e-13
11	-895.7341520863147	-3.138575948961601e-20	-15.52181361111243

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	14
1	29	14

end0.0ms

sample2.0s

Algorithm

intervals

Results

725.0ms	1504×	body	1280	valid
411.0ms	1431×	body	640	valid
266.0ms	4888×	body	80	valid
165.0ms	859×	body	320	valid
122.0ms	3152×	body	80	nan
51.0ms	422×	body	160	valid

Details

sample73.0ms

simplify116.0ms

prune4.0ms

localize6.0ms

rewrite14.0ms

series280.0ms

simplify41.0ms

prune139.0ms

localize5.0ms

rewrite5.0ms

series18.0ms

simplify47.0ms

prune58.0ms

localize4.0ms

rewrite11.0ms

series45.0ms

simplify94.0ms

prune73.0ms

localize9.0ms

rewrite5.0ms

series109.0ms

simplify120.0ms

prune78.0ms

regimes63.0ms

bsearch87.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling