Details

Time bar (total: 1.7s)

sample67.0ms

Algorithm
intervals
Results
30.0ms61×body1280valid
11.0ms39×body640valid
7.0ms156×body80valid
4.0ms21×body320valid
3.0ms90×body80nan
1.0ms9×body160valid

simplify111.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (8.0ms)

IterNodesCost
0156
1246
2516
31086
43104
57924
641834
750014

prune5.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 11.7b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ x (+ x y))
0.1b
(* x (log (/ x (+ x y))))
8.6b
(log (/ x (+ x y)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod
8×associate-/r/
4×flip3-+ clear-num flip-+ div-inv
3×distribute-rgt-in log-div distribute-lft-in
2×frac-2neg log-rec
1×*-commutative distribute-rgt-neg-out
Counts
3 → 20
Calls
3 calls:
3.0ms
(/ x (+ x y))
4.0ms
(* x (log (/ x (+ x y))))
3.0ms
(log (/ x (+ x y)))

series170.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(/ x (+ x y))
79.0ms
(* x (log (/ x (+ x y))))
48.0ms
(log (/ x (+ x y)))

simplify307.0ms

Algorithm
egg-herbie
Counts
29 → 29
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
088119
1149118
2275118
3500118
41374118
54522118
65001118

prune69.0ms

Filtered
29 candidates to 21 candidates (72.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New26329
Fresh000
Picked101
Done000
Total27330

Merged error: 3.1b

Counts
30 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (+ x y))
0.1b
(* x (+ (log x) (log (/ 1 (+ x y)))))
1.6b
(+ (log x) (log (/ 1 (+ x y))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
9×associate-+r+ log-prod
8×associate-/r/
6×flip3-+ flip-+
5×distribute-rgt-in distribute-lft-in
4×log-rec clear-num div-inv
3×+-commutative associate-+r- log-div
2×frac-2neg associate-*r/ unsub-neg
1×sum-log *-commutative inv-pow
Counts
3 → 33
Calls
3 calls:
3.0ms
(/ 1 (+ x y))
5.0ms
(* x (+ (log x) (log (/ 1 (+ x y)))))
5.0ms
(+ (log x) (log (/ 1 (+ x y))))

series217.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(/ 1 (+ x y))
105.0ms
(* x (+ (log x) (log (/ 1 (+ x y)))))
79.0ms
(+ (log x) (log (/ 1 (+ x y))))

simplify134.0ms

Algorithm
egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 3 (35.0ms)

IterNodesCost
0165204
1364197
21194180
34141177
45001177

prune94.0ms

Filtered
42 candidates to 27 candidates (64.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New41142
Fresh112
Picked011
Done000
Total42345

Merged error: 3.1b

Counts
45 → 3

localize13.0ms

Local error

Found 2 expressions with local error:

0.1b
(* x (- (log (- x)) (log (- (+ x y)))))
1.2b
(- (log (- x)) (log (- (+ x y))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
6×log-div distribute-neg-frac associate--r-
5×distribute-rgt-in distribute-lft-in
4×neg-mul-1 log-prod
3×sub-neg flip3-+ associate--l+ flip-+
2×flip3-- associate-*r/ flip--
1×diff-log *-commutative associate--r+
Counts
2 → 22
Calls
2 calls:
4.0ms
(* x (- (log (- x)) (log (- (+ x y)))))
4.0ms
(- (log (- x)) (log (- (+ x y))))

series186.0ms

Counts
2 → 6
Calls
2 calls:
109.0ms
(* x (- (log (- x)) (log (- (+ x y)))))
77.0ms
(- (log (- x)) (log (- (+ x y))))

simplify101.0ms

Algorithm
egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
0135214
1271213
2574213
31279213
43967213
55001213

prune64.0ms

Filtered
28 candidates to 18 candidates (64.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New28028
Fresh011
Picked011
Done011
Total28331

Merged error: 3.1b

Counts
31 → 3

localize8.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune0.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done022
Total033

Merged error: 3.1b

Counts
3 → 3

regimes70.0ms

bsearch28.0ms