Details

analyze11.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
93.7%	6.2%	0.1%	7
96.8%	3.1%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

sample16.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify64.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5011	19

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 35.4b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

4.9b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
34.7b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `pow1_binary64` `flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`

Counts

2 → 43

Calls

2 calls:

4.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
9.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

series22.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
13.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

simplify38.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5434	1027

prune40.0ms

Filtered

41 candidates to 49 candidates (-19.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.7b

Counts

50 → 3

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify5.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

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

Counts

3 → 3

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify5.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.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.7b

Counts

3 → 3

regimes185.0ms

Accuracy

60.1% (12.7b remaining)

Error of 13.0b against oracle of 0.4b and baseline of 32.1b

bsearch42.0ms

Steps

Iters	Range		Point
8	1.573903029468645e+234	1.3354843724580703e+237	1.2586926368521745e+237
9	5.25252712899993e-16	2.4912902572934343e-09	6.117254844660804e-16
9	4.916741205969307e-44	2.5802792501755652e-36	2.810919228514906e-40
4	2.1969457722412854e-107	3.252250924466534e-107	2.9058704324939004e-107

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	61	65
1	61	65

end0.0ms

sample464.0ms

Algorithm

intervals

Results

339.0ms

8000×

body

valid

Details

analyze11.0ms

sample16.0ms

simplify64.0ms

prune9.0ms

localize8.0ms

rewrite15.0ms

series22.0ms

simplify38.0ms

prune40.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify5.0ms

prune2.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify5.0ms

prune0.0ms

regimes185.0ms

bsearch42.0ms

simplify3.0ms

end0.0ms

sample464.0ms

Profiling