Details

analyze10.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
81.2%	18.7%	0%	6
100%	0%	0%	7

sample42.0ms

Algorithm

intervals

Results

30.0ms

256×

body

128

valid

simplify2.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	256
1	45	256

prune14.0ms

Filtered

1 candidates to 1 candidates (0.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: 27.6b

Counts

2 → 1

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.2b	(.f64 1737369620307813/2251799813685248 (.f64 x x))
10.7b	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))) x)
27.1b	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
0.0ms	(.f64 1737369620307813/2251799813685248 (.f64 x x))
0.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))) x)
0.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))))

series583.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(.f64 3782789308857969/36028797018963968 (.f64 x x))
39.0ms	(.f64 1737369620307813/2251799813685248 (.f64 x x))
278.0ms	(.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (*.f64 x x))))) x)
227.0ms	(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 3782789308857969/36028797018963968 (.f64 x x))) (.f64 763919671262763/18014398509481984 (.f64 (.f64 x x) (.f64 x x)))) (.f64 8375303961237363/1152921504606846976 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 583843369866023/1152921504606846976 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/4611686018427387904 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (.f64 1737369620307813/2251799813685248 (.f64 x x))) (.f64 2620859570069187/9007199254740992 (.f64 (.f64 x x) (.f64 x x)))) (.f64 2502400853142105/36028797018963968 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)))) (.f64 2017691060547333/144115188075855872 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 7681173503746455/9223372036854775808 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))) (.f64 825478423409049/2305843009213693952 (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)) (.f64 x x)))))

simplify3.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	210
1	46	210

prune19.0ms

Filtered

6 candidates to 12 candidates (-100.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	10	2	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	3	13

Merged error: 0.0b

Counts

13 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 5)))
0.2b	(*.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 3)))
0.4b	(/.f64 1 (pow.f64 x 3))
0.4b	(/.f64 1 (pow.f64 x 5))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(*.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 5)))
0.0ms	(*.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 3)))
0.0ms	(/.f64 1 (pow.f64 x 3))
0.0ms	(/.f64 1 (pow.f64 x 5))

series213.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(*.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 5)))
46.0ms	(*.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 3)))
40.0ms	(/.f64 1 (pow.f64 x 3))
60.0ms	(/.f64 1 (pow.f64 x 5))

simplify1.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	84
1	13	84

prune5.0ms

Filtered

2 candidates to 12 candidates (-500.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	12	3	15

Merged error: 0.0b

Counts

15 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (pow.f64 x 6))
0.1b	(/.f64 1 (pow.f64 x 4))
0.5b	(/.f64 1 (pow.f64 x 2))
12.1b	(.f64 (+.f64 (.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 4))))) x)

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(/.f64 1 (pow.f64 x 6))
0.0ms	(/.f64 1 (pow.f64 x 4))
0.0ms	(/.f64 1 (pow.f64 x 2))
0.0ms	(.f64 (+.f64 (.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 4))))) x)

series195.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(/.f64 1 (pow.f64 x 6))
38.0ms	(/.f64 1 (pow.f64 x 4))
22.0ms	(/.f64 1 (pow.f64 x 2))
87.0ms	(.f64 (+.f64 (.f64 370645858300289935006419108089/2422807564493828181570755855648 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 1/2 (/.f64 1 (pow.f64 x 2))) (.f64 1660320414109913/6603827387272392 (/.f64 1 (pow.f64 x 4))))) x)

simplify2.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	156
1	27	156

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	12	3	15

Merged error: 0.0b

Counts

15 → 3

regimes40.0ms

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 29.3b

bsearch154.0ms

Steps

Iters	Range		Point
10	1.0686105788683554e-06	7020.433308210869	694.2494877463133
9	-46112094490154.67	-237076465.30218798	-97481305274.78606

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	330
1	66	330

end0.0ms

sample1.1s

Algorithm

intervals

Results

971.0ms

8000×

body

128

valid

Details

analyze10.0ms

sample42.0ms

simplify2.0ms

prune14.0ms

localize41.0ms

rewrite0.0ms

series583.0ms

simplify3.0ms

prune19.0ms

localize14.0ms

rewrite0.0ms

series213.0ms

simplify1.0ms

prune5.0ms

localize19.0ms

rewrite0.0ms

series195.0ms

simplify2.0ms

prune0.0ms

regimes40.0ms

bsearch154.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling