Details

Time bar (total: 3.0s)

sample20.0ms

Algorithm
intervals
Results
9.0ms315×body80valid

simplify11.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0166
1296
2386
3456
4516
5546
6546

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 2.4b

Counts
2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
124×associate-*l/
108×frac-sub
99×*-un-lft-identity
86×add-sqr-sqrt
75×associate-/l*
74×associate-/r*
60×add-cube-cbrt
27×times-frac
24×frac-2neg
22×clear-num
20×associate-*l*
18×associate-/l/
12×distribute-lft-out
9×flip3-+ flip-+
8×distribute-lft-out--
7×add-exp-log add-cbrt-cube sub-div
6×difference-of-squares unswap-sqr
4×pow1 add-log-exp
3×associate-*r*
2×prod-exp cbrt-unprod
1×cbrt-undiv sub-neg flip3-- diff-log div-exp pow-prod-down *-commutative flip-- div-inv
Counts
2 → 181
Calls
2 calls:
37.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
7.0ms
(* (/ x y) z)

series72.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(- (/ (+ x 4.0) y) (* (/ x y) z))
22.0ms
(* (/ x y) z)

simplify52.0ms

Algorithm
egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
013421975
150011915

prune464.0ms

Filtered
187 candidates to 117 candidates (37.4%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1807187
Fresh000
Picked011
Done000
Total1808188

Merged error: 0b

Counts
188 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (/ (+ x 4.0) y) (/ z (/ y x)))
3.4b
(/ z (/ y x))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
229×*-un-lft-identity associate-/r*
228×frac-sub
201×add-sqr-sqrt
196×times-frac
180×add-cube-cbrt
118×associate-/l*
38×associate-/l/
33×frac-2neg clear-num
20×distribute-lft-out
19×flip3-+ flip-+
17×div-inv
9×associate-/r/
7×add-exp-log add-cbrt-cube
6×difference-of-squares
4×add-log-exp
3×cbrt-undiv div-exp distribute-lft-out--
2×pow1
1×sub-neg flip3-- diff-log flip--
Counts
2 → 327
Calls
2 calls:
57.0ms
(- (/ (+ x 4.0) y) (/ z (/ y x)))
7.0ms
(/ z (/ y x))

series71.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(- (/ (+ x 4.0) y) (/ z (/ y x)))
25.0ms
(/ z (/ y x))

simplify104.0ms

Algorithm
egg-herbie
Counts
333 → 333
Iterations

Useful iterations: 1 (56.0ms)

IterNodesCost
027454549
150024513

prune635.0ms

Filtered
333 candidates to 226 candidates (32.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New3294333
Fresh606
Picked011
Done101
Total3365341

Merged error: 0b

Counts
341 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
132×frac-sub
124×associate-*r/
101×*-un-lft-identity
96×associate-/l*
86×add-sqr-sqrt
80×associate-/r*
60×add-cube-cbrt
37×clear-num
26×frac-2neg un-div-inv
22×associate-/l/
15×times-frac
14×associate-*r*
11×flip3-+ flip-+ distribute-lft-out
7×add-exp-log add-cbrt-cube sub-div
6×difference-of-squares unswap-sqr
4×pow1 associate-*l* add-log-exp
3×div-inv
2×prod-exp cbrt-unprod distribute-lft-out--
1×cbrt-undiv sub-neg flip3-- distribute-rgt-out-- diff-log div-exp pow-prod-down *-commutative flip--
Counts
2 → 202
Calls
2 calls:
34.0ms
(- (/ (+ x 4.0) y) (* z (/ x y)))
10.0ms
(* z (/ x y))

series68.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(- (/ (+ x 4.0) y) (* z (/ x y)))
23.0ms
(* z (/ x y))

simplify55.0ms

Algorithm
egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
013422208
150012144

prune288.0ms

Filtered
208 candidates to 113 candidates (45.7%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2071208
Fresh213
Picked011
Done011
Total2094213

Merged error: 0b

Counts
213 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
33×add-sqr-sqrt
18×frac-times
17×associate-*l*
16×add-cube-cbrt
11×add-exp-log flip3-- times-frac flip--
9×associate-*r* associate-*l/ associate-/r* associate-/l*
8×distribute-lft-out--
7×add-cbrt-cube add-log-exp
6×associate--l+
5×unswap-sqr
4×pow1 distribute-rgt-in distribute-lft-in prod-exp distribute-lft-out difference-of-squares
3×+-commutative sub-neg frac-2neg clear-num
2×diff-log associate-*r/ div-exp cbrt-unprod
1×cbrt-undiv rec-exp 1-exp pow-prod-down sum-log *-commutative div-inv
Counts
2 → 98
Calls
2 calls:
9.0ms
(- (+ x 4.0) (* z x))
18.0ms
(* (/ 1 y) (- (+ x 4.0) (* z x)))

series68.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(- (+ x 4.0) (* z x))
46.0ms
(* (/ 1 y) (- (+ x 4.0) (* z x)))

simplify60.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0511798
12466711
25002683

prune143.0ms

Filtered
104 candidates to 61 candidates (41.3%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1040104
Fresh011
Picked011
Done022
Total1044108

Merged error: 0b

Counts
108 → 4

regimes77.0ms

Accuracy

64.2% (0.6b remaining)

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

bsearch64.0ms

Steps
ItersRangePoint
7
2.9632290680592957e-107
1.0396703729651334e-105
4.104383204954371e-107
6
-2.3068170589785063e-128
-4.3610164564704626e-129
-1.5667262830596557e-128

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03012
13012

end0.0ms

sample509.0ms

Algorithm
intervals
Results
298.0ms10047×body80valid