Details

Time bar (total: 2.6s)

sample19.0ms

Algorithm
intervals
Results
9.0ms310×body80valid

simplify129.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 7 (50.0ms)

IterNodesCost
0226
1466
21116
32376
44056
55956
69196
726275
850015

prune7.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: 0.0b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 0.25 (/ (- x z) y))
0.0b
(/ (- x z) y)
0.0b
(+ 1.0 (* 4.0 (+ 0.25 (/ (- x z) y))))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
21×add-sqr-sqrt
15×times-frac
13×add-cube-cbrt
7×add-log-exp
5×add-exp-log add-cbrt-cube associate-/l*
4×+-commutative associate-+r+ distribute-lft-out-- difference-of-squares
3×pow1 associate-/r* distribute-lft-out
2×distribute-rgt-in distribute-lft-in flip3-+ div-sub sum-log flip-+ associate-/l/
1×cbrt-undiv associate-+r- flip3-- frac-2neg div-exp associate-*l* clear-num flip-- div-inv
Counts
3 → 68
Calls
3 calls:
8.0ms
(+ 0.25 (/ (- x z) y))
9.0ms
(/ (- x z) y)
13.0ms
(+ 1.0 (* 4.0 (+ 0.25 (/ (- x z) y))))

series75.0ms

Counts
3 → 9
Calls
3 calls:
20.0ms
(+ 0.25 (/ (- x z) y))
27.0ms
(/ (- x z) y)
28.0ms
(+ 1.0 (* 4.0 (+ 0.25 (/ (- x z) y))))

simplify34.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0325417
11008385
25001385

prune118.0ms

Filtered
77 candidates to 55 candidates (28.6%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New74377
Fresh000
Picked101
Done000
Total75378

Merged error: 0b

Counts
78 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ (- x z) y)))
0.0b
(/ (- x z) y)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
32×frac-add
28×add-sqr-sqrt
26×associate-*r/
19×associate-/l*
17×flip3-+ flip-+
16×add-cube-cbrt
15×times-frac
10×distribute-lft-out
9×associate-/r*
8×distribute-lft-out--
7×add-log-exp
6×un-div-inv associate-/l/ difference-of-squares
5×associate-*l* clear-num
4×add-exp-log add-cbrt-cube
3×flip3-- frac-2neg sum-log flip--
2×pow1 +-commutative associate-+l+
1×cbrt-undiv div-sub div-exp div-inv
Counts
2 → 90
Calls
2 calls:
27.0ms
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ (- x z) y)))
6.0ms
(/ (- x z) y)

series59.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ (- x z) y)))
29.0ms
(/ (- x z) y)

simplify80.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 2 (63.0ms)

IterNodesCost
05871153
126261116
250011115

prune163.0ms

Filtered
96 candidates to 63 candidates (34.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New94296
Fresh202
Picked101
Done000
Total97299

Merged error: 0b

Counts
99 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* 4.0 (/ x y)) 2.0)
0.0b
(- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
0.0b
(* 4.0 (/ x y))
0.0b
(* 4.0 (/ z y))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
52×*-un-lft-identity
47×add-sqr-sqrt
36×associate-*r/
28×add-cube-cbrt
26×associate-*r*
22×frac-sub
21×times-frac
16×associate-/l*
14×add-exp-log add-cbrt-cube
12×flip3-+ associate-*l* associate-/r* flip-+
11×add-log-exp
8×pow1 clear-num un-div-inv
6×distribute-lft-out distribute-lft-out-- unswap-sqr
4×frac-2neg prod-exp cbrt-unprod
3×difference-of-squares
2×cbrt-undiv +-commutative diff-log div-exp pow-prod-down associate--l+ sum-log *-commutative div-inv
1×sub-neg flip3-- flip--
Counts
4 → 143
Calls
4 calls:
13.0ms
(+ (* 4.0 (/ x y)) 2.0)
30.0ms
(- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
7.0ms
(* 4.0 (/ x y))
7.0ms
(* 4.0 (/ z y))

series93.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(+ (* 4.0 (/ x y)) 2.0)
31.0ms
(- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
20.0ms
(* 4.0 (/ x y))
20.0ms
(* 4.0 (/ z y))

simplify78.0ms

Algorithm
egg-herbie
Counts
155 → 155
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
06461213
129211169
250011166

prune408.0ms

Filtered
155 candidates to 100 candidates (35.5%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1550155
Fresh011
Picked011
Done000
Total1552157

Merged error: 0b

Counts
157 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ 1 (/ y (- x z)))))
0.0b
(/ y (- x z))
0.3b
(/ 1 (/ y (- x z)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
168×times-frac
158×*-un-lft-identity
139×add-sqr-sqrt
93×add-cube-cbrt
73×associate-/r*
60×frac-add
54×associate-*r/
31×flip3-+ flip-+
25×associate-/r/
23×distribute-lft-out-- difference-of-squares
18×associate-/l*
16×add-exp-log
10×add-cbrt-cube distribute-lft-out
8×div-exp clear-num div-inv add-log-exp
7×flip3-- flip--
6×un-div-inv
5×frac-2neg associate-*l*
4×pow1 cbrt-undiv
3×sum-log
2×+-commutative rec-exp associate-+l+ 1-exp remove-double-div
1×pow-flip inv-pow
Counts
3 → 237
Calls
3 calls:
50.0ms
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ 1 (/ y (- x z)))))
8.0ms
(/ y (- x z))
10.0ms
(/ 1 (/ y (- x z)))

series95.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ (+ 1.0 (* 0.25 4.0)) (* 4.0 (/ 1 (/ y (- x z)))))
29.0ms
(/ y (- x z))
35.0ms
(/ 1 (/ y (- x z)))

simplify63.0ms

Algorithm
egg-herbie
Counts
246 → 246
Iterations

Useful iterations: 1 (32.0ms)

IterNodesCost
011952933
150012784

prune399.0ms

Filtered
246 candidates to 147 candidates (40.2%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2460246
Fresh000
Picked011
Done011
Total2462248

Merged error: 0b

Counts
248 → 2

regimes40.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0146
1146

end0.0ms

sample502.0ms

Algorithm
intervals
Results
291.0ms10003×body80valid