Details

Time bar (total: 1.4s)

sample60.0ms

Algorithm
intervals
Results
26.0ms61×body1280valid
10.0ms39×body640valid
6.0ms156×body80valid
3.0ms21×body320valid
3.0ms90×body80nan
1.0ms9×body160valid

simplify124.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (8.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641334
750014

prune4.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 11.7b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-/r/
3×unpow-prod-down
2×flip3-+ flip-+ div-inv
1×pow-to-exp frac-2neg clear-num sqr-pow
Counts
2 → 10
Calls
2 calls:
3.0ms
(/ x (+ x y))
2.0ms
(pow (/ x (+ x y)) x)

series260.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(/ x (+ x y))
221.0ms
(pow (/ x (+ x y)) x)

simplify51.0ms

Algorithm
egg-herbie
Counts
16 → 16
Iterations

Useful iterations: 3 (48.0ms)

IterNodesCost
014177
140275
2141274
3500172

prune43.0ms

Filtered
16 candidates to 13 candidates (81.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New13316
Fresh000
Picked101
Done000
Total14317

Merged error: 3.5b

Counts
17 → 3

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (exp (* -1 y)) x)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
1×exp-neg frac-2neg mul-1-neg clear-num div-inv associate-/l/
Counts
1 → 4
Calls
1 calls:
4.0ms
(/ (exp (* -1 y)) x)

series18.0ms

Counts
1 → 3
Calls
1 calls:
18.0ms
(/ (exp (* -1 y)) x)

simplify40.0ms

Algorithm
egg-herbie
Counts
7 → 7
Iterations

Useful iterations: 3 (10.0ms)

IterNodesCost
04023
17523
222023
378222
4500222

prune16.0ms

Filtered
7 candidates to 4 candidates (57.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New707
Fresh022
Picked011
Done000
Total7310

Merged error: 3.5b

Counts
10 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (+ x y))
0.2b
(* x (/ 1 (+ x y)))
9.5b
(pow (* x (/ 1 (+ x y))) x)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-*r* associate-/r/
5×unpow-prod-down
3×flip3-+ associate-*r/ clear-num flip-+ div-inv
2×frac-2neg un-div-inv *-commutative
1×pow-to-exp inv-pow sqr-pow
Counts
3 → 22
Calls
3 calls:
3.0ms
(/ 1 (+ x y))
4.0ms
(* x (/ 1 (+ x y)))
3.0ms
(pow (* x (/ 1 (+ x y))) x)

series303.0ms

Counts
3 → 9
Calls
3 calls:
36.0ms
(/ 1 (+ x y))
38.0ms
(* x (/ 1 (+ x y)))
228.0ms
(pow (* x (/ 1 (+ x y))) x)

simplify88.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (19.0ms)

IterNodesCost
015898
158696
2256995
3500295

prune55.0ms

Filtered
31 candidates to 19 candidates (61.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New30131
Fresh101
Picked011
Done011
Total31334

Merged error: 3.5b

Counts
34 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (+ x y))
0.3b
(* (pow (/ 1 (+ x y)) x) (pow x x))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
4×associate-*l* associate-/r/ sqr-pow
3×unpow-prod-down
2×pow-to-exp flip3-+ flip-+ div-inv
1×frac-2neg associate-*r* pow-prod-down prod-exp clear-num *-commutative inv-pow unswap-sqr
Counts
2 → 15
Calls
2 calls:
3.0ms
(/ 1 (+ x y))
5.0ms
(* (pow (/ 1 (+ x y)) x) (pow x x))

series110.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(/ 1 (+ x y))
78.0ms
(* (pow (/ 1 (+ x y)) x) (pow x x))

simplify35.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0257185
11082168
25001162

prune62.0ms

Filtered
21 candidates to 18 candidates (85.7%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New21021
Fresh000
Picked011
Done022
Total21324

Merged error: 3.5b

Counts
24 → 3

regimes53.0ms

bsearch61.0ms

Steps
ItersRangePoint
9
-0.4506066524886072
-1.4365382038701608e-08
-0.4445338161431805