Details

sample100.0ms

Algorithm

intervals

Results

52.0ms	112×	body	1280	valid
17.0ms	70×	body	640	valid
8.0ms	283×	body	80	nan
6.0ms	43×	body	320	valid
2.0ms	22×	body	160	valid
0.0ms	9×	body	80	valid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	6
1	25	6
2	40	6
3	61	6
4	88	6
5	104	6
6	113	6
7	113	6

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.3b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ 1.0 x) (- 1.0 x))
6.2b	(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/r*`
4×	`associate-/r/` `add-cbrt-cube` `associate-/l*`
3×	`pow1`
2×	`flip3--` `div-exp` `rem-log-exp` `flip--` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `frac-2neg` `flip3-+` `clear-num` `log-pow` `flip-+`

Counts

2 → 82

Calls

2 calls:

27.0ms	(/ (+ 1.0 x) (- 1.0 x))
11.0ms	(log (/ (+ 1.0 x) (- 1.0 x)))

series157.0ms

Counts

2 → 6

Calls

2 calls:

32.0ms	(/ (+ 1.0 x) (- 1.0 x))
124.0ms	(log (/ (+ 1.0 x) (- 1.0 x)))

simplify124.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	318	660
1	1025	624
2	4261	602
3	5001	602

prune197.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (pow x 2) x)
0.0b	(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
70×	`add-sqr-sqrt`
68×	`associate-r`
56×	`unpow-prod-down`
39×	`*-un-lft-identity`
36×	`add-cube-cbrt`
26×	`unpow2`
25×	`add-exp-log`
24×	`sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
7×	`add-cbrt-cube`
6×	`pow-to-exp` `pow-exp`
4×	`pow1` `add-log-exp`
3×	`associate-l`
2×	`cbrt-unprod`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-out` `distribute-lft1-in` `flip3-+` `associate-r/` `pow-prod-down` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out`

Counts

2 → 124

Calls

2 calls:

12.0ms	(+ (pow x 2) x)
41.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series98.0ms

Counts

2 → 6

Calls

2 calls:

39.0ms	(+ (pow x 2) x)
58.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify61.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	586	700
1	2461	578
2	5002	577

prune338.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (pow x 2) x)
0.0b	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
2.9b	(exp (log (+ (pow x 2) x)))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
73×	`add-sqr-sqrt`
68×	`associate-r`
56×	`unpow-prod-down`
45×	`*-un-lft-identity`
39×	`add-cube-cbrt`
28×	`unpow2`
26×	`add-exp-log`
24×	`sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
8×	`add-cbrt-cube`
6×	`pow1` `pow-to-exp` `log-prod` `exp-sum` `pow-exp`
5×	`add-log-exp`
4×	`exp-prod`
3×	`associate-l`
2×	`log-div` `distribute-rgt-out` `distribute-lft1-in` `flip3-+` `exp-diff` `cbrt-unprod` `flip-+` `distribute-lft-out`
1×	`cbrt-undiv` `+-commutative` `associate-r/` `pow-prod-down` `sum-log` `log-pow` `-commutative` `div-inv` `rem-exp-log`

Counts

3 → 144

Calls

3 calls:

13.0ms	(+ (pow x 2) x)
40.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
12.0ms	(exp (log (+ (pow x 2) x)))

series134.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+ (pow x 2) x)
56.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
39.0ms	(exp (log (+ (pow x 2) x)))

simplify65.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	626	788
1	2565	660
2	5002	656

prune420.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (pow x 2) x)
0.0b	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
3.2b	(pow E (log (+ (pow x 2) x)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

80×	`times-frac`
74×	`add-sqr-sqrt`
68×	`associate-r`
59×	`unpow-prod-down`
46×	`*-un-lft-identity`
40×	`add-cube-cbrt`
28×	`unpow2`
27×	`add-exp-log`
25×	`sqr-pow`
17×	`unswap-sqr`
10×	`prod-exp`
9×	`div-exp`
8×	`pow-exp` `add-cbrt-cube`
7×	`pow1` `pow-to-exp`
6×	`unpow-prod-up` `log-prod`
5×	`add-log-exp`
4×	`pow-unpow`
3×	`associate-l`
2×	`log-div` `distribute-rgt-out` `distribute-lft1-in` `flip3-+` `cbrt-unprod` `flip-+` `distribute-lft-out` `pow-sub`
1×	`cbrt-undiv` `+-commutative` `e-exp-1` `pow-pow` `associate-r/` `pow-prod-down` `sum-log` `log-pow` `-commutative` `div-inv`

Counts

3 → 151

Calls

3 calls:

12.0ms	(+ (pow x 2) x)
41.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
12.0ms	(pow E (log (+ (pow x 2) x)))

series647.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+ (pow x 2) x)
60.0ms	(* 2.0 (/ (pow x 2) (pow 1.0 2)))
547.0ms	(pow E (log (+ (pow x 2) x)))

simplify77.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	704	894
1	2891	767
2	5002	762

prune463.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes61.0ms

Accuracy

0% (0.6b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	12
1	20	12

end0.0ms

sample2.9s

Algorithm

intervals

Results

1.5s	3434×	body	1280	valid
612.0ms	2544×	body	640	valid
221.0ms	8109×	body	80	nan
174.0ms	1200×	body	320	valid
58.0ms	618×	body	160	valid
8.0ms	204×	body	80	valid