Details

sample15.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify22.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	9
1	40	9
2	78	9
3	134	9
4	200	9
5	233	9
6	239	9
7	239	9

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: 29.6b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

3.9b	(- (* x x) (* (* y 4.0) y))
29.1b	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 50

Calls

2 calls:

4.0ms	(- (* x x) (* (* y 4.0) y))
9.0ms	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

series106.0ms

Counts

2 → 6

Calls

2 calls:

41.0ms	(- (* x x) (* (* y 4.0) y))
65.0ms	(/ (- (* x x) (* (* y 4.0) y)) (+ (* x x) (* (* y 4.0) y)))

simplify44.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	237	617
1	1114	565
2	5002	555

prune137.0ms

Filtered

56 candidates to 46 candidates (82.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	53	3	56
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	54	3	57

Merged error: 0.4b

Counts

57 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

1.8b	(fma x x (- (* (* y 4.0) y)))
29.1b	(/ (fma x x (- (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

1.0ms	(fma x x (- (* (* y 4.0) y)))
5.0ms	(/ (fma x x (- (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)))

series119.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(fma x x (- (* (* y 4.0) y)))
70.0ms	(/ (fma x x (- (* (* y 4.0) y))) (+ (* x x) (* (* y 4.0) y)))

simplify98.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 3 (89.0ms)

Iter	Nodes	Cost
0	172	532
1	638	487
2	3001	485
3	5002	484

prune113.0ms

Filtered

47 candidates to 36 candidates (76.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	47	3	50

Merged error: 0.4b

Counts

50 → 3

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune1.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	1	1
Total	3	3

Merged error: 0.4b

Counts

3 → 3

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0.4b

Counts

3 → 3

regimes103.0ms

Accuracy

58.2% (13.0b remaining)

Error of 13.3b against oracle of 0.3b and baseline of 31.5b

bsearch262.0ms

Steps

Iters	Range		Point
6	1.4561095946501342e+101	1.441855190865374e+102	4.5872420035693074e+101
7	3.6835273864779232e+84	4.6926641391142656e+86	3.7365793345942715e+84
9	1.4121720889927557e+54	2.527325644028601e+60	2.4947948969068313e+60
7	4.474320366219876e-94	1.9416874683714035e-92	1.1393370701449459e-92
10	-7.684555418764424e-160	-2.25874415436063e-170	-3.3639004184692263e-161
6	-3.245969229886643e+141	-4.4689590379865175e+140	-2.630681189970585e+141
6	-3.4929674878576186e+190	-2.989420225478867e+189	-3.4425921643712863e+190
10	-3.9713551961883903e+217	-3.180709342800516e+205	-3.2201109645430953e+205

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	27
1	52	27
2	52	27

end0.0ms

sample367.0ms

Algorithm

intervals

Results

235.0ms

8000×

body

valid