Details

Time bar (total: 10.1s)

sample70.0ms

Algorithm
intervals
Results
20.0ms42×body1280valid
13.0ms45×body640valid
9.0ms159×body80valid
5.0ms26×body320valid
4.0ms110×body80nan
2.0ms15×body160valid

simplify112.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (6.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune8.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 11.8b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
118×*-un-lft-identity
90×unpow-prod-down
80×add-sqr-sqrt add-cube-cbrt
25×associate-/l*
19×distribute-lft-out
16×add-exp-log
12×associate-/r/
7×div-exp associate-/r* add-cbrt-cube div-inv
6×flip3-+ flip-+
5×sqr-pow
4×pow1 pow-exp
3×pow-unpow add-log-exp
2×cbrt-undiv pow-to-exp frac-2neg clear-num
1×pow-pow
Counts
3 → 172
Calls
3 calls:
8.0ms
(/ x (+ x y))
10.0ms
(/ (pow (/ x (+ x y)) x) x)
6.0ms
(pow (/ x (+ x y)) x)

series43.0ms

Counts
3 → 9
Calls
3 calls:
5.0ms
(/ x (+ x y))
20.0ms
(/ (pow (/ x (+ x y)) x) x)
17.0ms
(pow (/ x (+ x y)) x)

simplify96.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
07521628
137871586
250011586

prune1.2s

Filtered
181 candidates to 134 candidates (26.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1756181
Fresh000
Picked101
Done000
Total1766182

Merged error: 0.2b

Counts
182 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
118×*-un-lft-identity
90×unpow-prod-down
80×add-sqr-sqrt add-cube-cbrt
26×associate-/r*
19×distribute-lft-out
16×add-exp-log
12×associate-/r/
7×div-exp add-cbrt-cube div-inv
6×flip3-+ flip-+ associate-/l*
5×sqr-pow
4×pow1 pow-exp
3×pow-unpow add-log-exp
2×cbrt-undiv pow-to-exp frac-2neg clear-num
1×pow-pow
Counts
3 → 172
Calls
3 calls:
10.0ms
(/ x (pow (/ x (+ x y)) x))
5.0ms
(/ x (+ x y))
6.0ms
(pow (/ x (+ x y)) x)

series50.0ms

Counts
3 → 9
Calls
3 calls:
27.0ms
(/ x (pow (/ x (+ x y)) x))
5.0ms
(/ x (+ x y))
18.0ms
(pow (/ x (+ x y)) x)

simplify100.0ms

Algorithm
egg-herbie
Counts
181 → 181
Iterations

Useful iterations: 1 (21.0ms)

IterNodesCost
07811660
137691617
250021617

prune1.7s

Filtered
181 candidates to 132 candidates (27.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1810181
Fresh055
Picked011
Done000
Total1816187

Merged error: 0.2b

Counts
187 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (/ (pow (/ x (+ x y)) x) x))
6.1b
(pow (/ x (+ x y)) x)
6.1b
(pow (/ x (+ x y)) x)
6.1b
(pow (/ x (+ x y)) x)

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
138×times-frac
117×*-un-lft-identity
108×unpow-prod-down
81×add-sqr-sqrt add-cube-cbrt
70×cbrt-prod
18×distribute-lft-out
13×add-exp-log
12×associate-/r/
9×pow-unpow
7×pow1 div-inv
6×flip3-+ pow-exp flip-+ sqr-pow
4×add-cbrt-cube add-log-exp
3×pow-to-exp pow-pow div-exp
1×cbrt-div pow1/3
Counts
4 → 178
Calls
4 calls:
10.0ms
(cbrt (/ (pow (/ x (+ x y)) x) x))
7.0ms
(pow (/ x (+ x y)) x)
6.0ms
(pow (/ x (+ x y)) x)
6.0ms
(pow (/ x (+ x y)) x)

series94.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(cbrt (/ (pow (/ x (+ x y)) x) x))
17.0ms
(pow (/ x (+ x y)) x)
20.0ms
(pow (/ x (+ x y)) x)
17.0ms
(pow (/ x (+ x y)) x)

simplify321.0ms

Algorithm
egg-herbie
Counts
190 → 190
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
09192341
138022269
250022262

prune2.3s

Filtered
190 candidates to 142 candidates (25.3%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1873190
Fresh044
Picked101
Done011
Total1888196

Merged error: 0.2b

Counts
196 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.8b
(pow (sqrt (/ x (+ x y))) x)
0.8b
(pow (sqrt (/ x (+ x y))) x)
5.3b
(sqrt (/ x (+ x y)))
5.3b
(sqrt (/ x (+ x y)))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
72×sqrt-prod
64×*-un-lft-identity
50×times-frac
46×add-sqr-sqrt
42×unpow-prod-down
40×add-cube-cbrt
12×distribute-lft-out
10×pow1
8×associate-/r/
6×add-exp-log pow-unpow pow-pow
4×rem-sqrt-square sqrt-pow1 flip3-+ pow1/2 add-cbrt-cube flip-+ div-inv add-log-exp
2×pow-to-exp sqrt-div pow-exp sqrt-pow2 sqr-pow
Counts
4 → 136
Calls
4 calls:
7.0ms
(pow (sqrt (/ x (+ x y))) x)
7.0ms
(pow (sqrt (/ x (+ x y))) x)
5.0ms
(sqrt (/ x (+ x y)))
5.0ms
(sqrt (/ x (+ x y)))

series85.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(pow (sqrt (/ x (+ x y))) x)
35.0ms
(pow (sqrt (/ x (+ x y))) x)
8.0ms
(sqrt (/ x (+ x y)))
8.0ms
(sqrt (/ x (+ x y)))

simplify74.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 2 (56.0ms)

IterNodesCost
05941556
125971474
250011446

prune1.0s

Filtered
148 candidates to 106 candidates (28.4%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New1480148
Fresh066
Picked011
Done011
Total1488156

Merged error: 0.2b

Counts
156 → 8

regimes175.0ms

Accuracy

51.5% (5.0b remaining)

Error of 5.7b against oracle of 0.7b and baseline of 11.1b

bsearch312.0ms

Steps
ItersRangePoint
9
3.7412525747417686e+65
4.35025199677943e+72
7.539311628187836e+68
9
1325.407106289753
170944420.23003155
2878.039381219318
11
-4.4427042201329086e+164
-7.399347734081408e+140
-7.472833578446224e+140

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06466
16466

end0.0ms

sample2.1s

Algorithm
intervals
Results
735.0ms1487×body1280valid
434.0ms1431×body640valid
269.0ms4892×body80valid
173.0ms854×body320valid
127.0ms3085×body80nan
62.0ms474×body160valid

Profiling

Loading profile data...