Details

Time bar (total: 6.6s)

sample30.0ms

Algorithm
intervals
Results
9.0ms258×body80valid
6.0ms246×body80nan

simplify83.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 3 (10.0ms)

IterNodesCost
0216
1636
22126
37255
418825
532315
645745
750015

prune7.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
0.1b
(+ (- x (* (+ y 0.5) (log y))) y)
0.2b
(* (+ y 0.5) (log y))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
168×*-un-lft-identity
105×prod-diff
90×add-sqr-sqrt
88×associate-+l+
69×add-cube-cbrt
46×associate--l+
42×associate-*l*
38×distribute-lft-out
28×associate-*r*
26×distribute-lft-out--
18×log-prod
17×add-log-exp
14×associate-+l-
12×pow1 associate--r+
9×distribute-rgt-in distribute-lft-in
8×fma-def unswap-sqr
7×associate--l- fma-neg log-pow *-commutative
5×add-exp-log diff-log add-cbrt-cube
4×sum-log
3×expm1-log1p-u sub-neg log1p-expm1-u difference-of-squares
2×+-commutative flip3-+ associate-*l/ flip-+
1×flip3-- pow-prod-down prod-exp flip-- cbrt-unprod
Counts
3 → 210
Calls
3 calls:
25.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
20.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
6.0ms
(* (+ y 0.5) (log y))

series335.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(- (+ (- x (* (+ y 0.5) (log y))) y) z)
48.0ms
(+ (- x (* (+ y 0.5) (log y))) y)
237.0ms
(* (+ y 0.5) (log y))

simplify87.0ms

Algorithm
egg-herbie
Counts
219 → 219
Iterations

Useful iterations: 2 (62.0ms)

IterNodesCost
06202353
122451636
250031473

prune553.0ms

Filtered
219 candidates to 147 candidates (67.1%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2127219
Fresh101
Picked101
Done000
Total2147221

Merged error: 0.0b

Counts
221 → 7

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x (fma (log (/ 1 y)) (+ y 0.5) y)) z)
0.1b
(fma (log (/ 1 y)) (+ y 0.5) y)

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
12×add-sqr-sqrt prod-diff
10×add-cube-cbrt
7×add-log-exp
5×distribute-lft-out
4×fma-neg
3×associate--l+
2×pow1 add-exp-log expm1-log1p-u diff-log add-cbrt-cube fma-udef log1p-expm1-u distribute-lft-out--
1×+-commutative sub-neg associate-+r+ flip3-- sum-log flip-- difference-of-squares
Counts
2 → 47
Calls
2 calls:
7.0ms
(- (+ x (fma (log (/ 1 y)) (+ y 0.5) y)) z)
1.0ms
(fma (log (/ 1 y)) (+ y 0.5) y)

series308.0ms

Counts
2 → 6
Calls
2 calls:
53.0ms
(- (+ x (fma (log (/ 1 y)) (+ y 0.5) y)) z)
255.0ms
(fma (log (/ 1 y)) (+ y 0.5) y)

simplify40.0ms

Algorithm
egg-herbie
Counts
53 → 53
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0248531
1833402
25002398

prune130.0ms

Filtered
53 candidates to 35 candidates (66.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New52153
Fresh156
Picked011
Done000
Total53760

Merged error: 0.0b

Counts
60 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (- x (* (log (sqrt y)) (+ y 0.5))) (+ (- (* (log (sqrt y)) (+ y 0.5)) y) z))
0.1b
(- (* (log (sqrt y)) (+ y 0.5)) y)
0.2b
(* (log (sqrt y)) (+ y 0.5))
0.2b
(* (log (sqrt y)) (+ y 0.5))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
325×*-un-lft-identity
200×prod-diff
173×add-sqr-sqrt
124×associate-*l*
102×add-cube-cbrt
98×distribute-lft-out--
62×log-pow
60×distribute-lft-out associate--r+
58×pow1 associate--l+
54×associate-+l+
48×associate-*r*
27×add-log-exp
24×fma-neg
21×unswap-sqr
19×difference-of-squares
12×sqrt-pow1 pow1/2 diff-log *-commutative
11×+-commutative
10×distribute-rgt-in distribute-lft-in
8×add-exp-log add-cbrt-cube
5×associate--l-
4×expm1-log1p-u sub-neg flip3-- flip3-+ associate-*r/ sum-log frac-sub flip-- flip-+ log1p-expm1-u
2×pow-prod-down prod-exp cbrt-unprod
1×associate-+l- associate--r-
Counts
4 → 367
Calls
4 calls:
48.0ms
(- (- x (* (log (sqrt y)) (+ y 0.5))) (+ (- (* (log (sqrt y)) (+ y 0.5)) y) z))
14.0ms
(- (* (log (sqrt y)) (+ y 0.5)) y)
7.0ms
(* (log (sqrt y)) (+ y 0.5))
7.0ms
(* (log (sqrt y)) (+ y 0.5))

series468.0ms

Counts
4 → 12
Calls
4 calls:
132.0ms
(- (- x (* (log (sqrt y)) (+ y 0.5))) (+ (- (* (log (sqrt y)) (+ y 0.5)) y) z))
155.0ms
(- (* (log (sqrt y)) (+ y 0.5)) y)
89.0ms
(* (log (sqrt y)) (+ y 0.5))
91.0ms
(* (log (sqrt y)) (+ y 0.5))

simplify175.0ms

Algorithm
egg-herbie
Counts
379 → 379
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
011906595
149254134
250014134

prune704.0ms

Filtered
379 candidates to 173 candidates (45.6%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New3772379
Fresh325
Picked011
Done011
Total3806386

Merged error: 0b

Counts
386 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ y 0.5) (* 2 (log (cbrt y))))
0.3b
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
0.6b
(cbrt y)
0.6b
(cbrt y)

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
50×distribute-rgt-in distribute-lft-in
48×log-prod
45×add-sqr-sqrt associate-*r*
31×add-cube-cbrt
30×cbrt-prod
26×associate-*l*
25×fma-def
24×associate-+l+
16×distribute-lft-out
15×pow1
11×*-commutative
9×add-exp-log add-cbrt-cube
8×log-pow unswap-sqr
6×distribute-rgt-out flip3-+ associate-*l/ flip-+ add-log-exp
4×expm1-log1p-u associate-+r+ pow1/3 associate-*r/ frac-add log1p-expm1-u
3×+-commutative pow-prod-down prod-exp cbrt-unprod
1×sum-log
Counts
4 → 174
Calls
4 calls:
14.0ms
(* (+ y 0.5) (* 2 (log (cbrt y))))
36.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
1.0ms
(cbrt y)
1.0ms
(cbrt y)

series1.6s

Counts
4 → 12
Calls
4 calls:
465.0ms
(* (+ y 0.5) (* 2 (log (cbrt y))))
791.0ms
(+ (* (+ y 0.5) (* 2 (log (cbrt y)))) (* (log (cbrt y)) (+ y 0.5)))
180.0ms
(cbrt y)
187.0ms
(cbrt y)

simplify119.0ms

Algorithm
egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 2 (98.0ms)

IterNodesCost
07621309
137681113
250011106

prune766.0ms

Filtered
186 candidates to 138 candidates (74.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1833186
Fresh303
Picked101
Done112
Total1884192

Merged error: 0b

Counts
192 → 4

regimes70.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0156
1156

end0.0ms

sample837.0ms

Algorithm
intervals
Results
275.0ms8029×body80valid
227.0ms7986×body80nan