Details

Time bar (total: 8.1s)

sample13.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0184
1484
21064
31744
41984
52034
62034

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: 15.4b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

14.8b
(/ (- x y) (* (* x 2.0) y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
142×add-sqr-sqrt
110×times-frac
100×*-un-lft-identity
90×associate-*l*
54×add-cube-cbrt
36×associate-*r*
24×unswap-sqr
23×distribute-lft-out-- difference-of-squares
22×associate-/r*
12×*-commutative
10×add-exp-log add-cbrt-cube
5×associate-/l*
3×cbrt-undiv div-exp prod-exp cbrt-unprod
2×associate-/l/
1×pow1 expm1-log1p-u flip3-- frac-2neg div-sub clear-num flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 158
Calls
1 calls:
17.0ms
(/ (- x y) (* (* x 2.0) y))

series63.0ms

Counts
1 → 3
Calls
1 calls:
62.0ms
(/ (- x y) (* (* x 2.0) y))

simplify105.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (89.0ms)

IterNodesCost
07911374
135961336
250021335

prune199.0ms

Filtered
161 candidates to 107 candidates (33.5%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1574161
Fresh000
Picked101
Done000
Total1584162

Merged error: 0b

Counts
162 → 4

localize7.0ms

Local error

Found 1 expressions with local error:

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

rewrite346.0ms

Algorithm
rewrite-expression-head
Rules
2998×times-frac
2589×add-sqr-sqrt
1993×*-un-lft-identity
1941×add-cube-cbrt
1600×prod-diff
849×associate-*l*
841×associate-*r*
436×associate-/r*
324×frac-sub
299×unswap-sqr
290×*-commutative
108×associate-/l*
85×div-inv
40×fma-neg
36×frac-2neg clear-num
25×difference-of-squares
19×distribute-lft-out--
6×distribute-rgt-out--
3×add-log-exp
2×sub-div
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 2030
Calls
1 calls:
131.0ms
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))

series33.0ms

Counts
1 → 3
Calls
1 calls:
33.0ms
(- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))

simplify539.0ms

Algorithm
egg-herbie
Counts
2033 → 2033
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0500257101

prune4.2s

Filtered
2033 candidates to 1242 candidates (38.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New203122033
Fresh213
Picked101
Done000
Total203432037

Merged error: 0b

Counts
2037 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0)) (/ (cbrt 1) (* (sqrt 2.0) y)) (- (* (/ 1 2.0) (/ 1 x))))
0.3b
(/ (cbrt 1) (* (sqrt 2.0) y))
0.5b
(* (sqrt 2.0) y)
1.0b
(/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
314×add-sqr-sqrt
288×times-frac
240×*-un-lft-identity
219×cbrt-prod
198×add-cube-cbrt
131×sqrt-prod
90×associate-*l*
79×unswap-sqr
66×associate-*r*
42×swap-sqr
38×associate-/l*
24×add-cbrt-cube
22×associate-/r*
16×add-exp-log
15×*-commutative
9×cbrt-undiv
7×cbrt-unprod
6×pow1
4×expm1-log1p-u div-exp log1p-expm1-u add-log-exp
3×prod-exp
2×frac-2neg clear-num div-inv
1×pow-prod-down fma-udef
Counts
4 → 419
Calls
4 calls:
1.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0)) (/ (cbrt 1) (* (sqrt 2.0) y)) (- (* (/ 1 2.0) (/ 1 x))))
10.0ms
(/ (cbrt 1) (* (sqrt 2.0) y))
5.0ms
(* (sqrt 2.0) y)
17.0ms
(/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0))

series224.0ms

Counts
4 → 10
Calls
4 calls:
125.0ms
(fma (/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0)) (/ (cbrt 1) (* (sqrt 2.0) y)) (- (* (/ 1 2.0) (/ 1 x))))
58.0ms
(/ (cbrt 1) (* (sqrt 2.0) y))
40.0ms
(* (sqrt 2.0) y)
0.0ms
(/ (* (cbrt 1) (cbrt 1)) (sqrt 2.0))

simplify168.0ms

Algorithm
egg-herbie
Counts
429 → 429
Iterations

Useful iterations: 2 (119.0ms)

IterNodesCost
08404301
143643862
250012225

prune404.0ms

Filtered
429 candidates to 105 candidates (75.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New4281429
Fresh112
Picked011
Done000
Total4293432

Merged error: 0b

Counts
432 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (cbrt 1) (* (sqrt 2.0) y))
0.5b
(* (sqrt 2.0) y)
1.0b
(/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
1.0b
(/ 1 (sqrt (sqrt 2.0)))

rewrite91.0ms

Algorithm
rewrite-expression-head
Rules
672×times-frac
635×sqrt-prod
413×add-sqr-sqrt
381×add-cube-cbrt *-un-lft-identity
51×cbrt-prod
48×associate-*l*
43×associate-/r* associate-/l*
24×add-exp-log associate-*r*
21×add-cbrt-cube
20×pow1 sqrt-pow1
16×unswap-sqr
15×associate-/l/
14×pow-flip
13×div-inv
10×pow1/2 div-exp pow-div
8×cbrt-undiv *-commutative
4×expm1-log1p-u frac-2neg clear-num log1p-expm1-u add-log-exp
3×cbrt-unprod
2×rec-exp 1-exp prod-exp inv-pow
1×pow-prod-down
Counts
4 → 583
Calls
4 calls:
10.0ms
(/ (cbrt 1) (* (sqrt 2.0) y))
5.0ms
(* (sqrt 2.0) y)
21.0ms
(/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
9.0ms
(/ 1 (sqrt (sqrt 2.0)))

series109.0ms

Counts
4 → 8
Calls
4 calls:
63.0ms
(/ (cbrt 1) (* (sqrt 2.0) y))
46.0ms
(* (sqrt 2.0) y)
0.0ms
(/ (/ 1 (sqrt (sqrt 2.0))) (sqrt (sqrt 2.0)))
0.0ms
(/ 1 (sqrt (sqrt 2.0)))

simplify113.0ms

Algorithm
egg-herbie
Counts
591 → 591
Iterations

Useful iterations: 1 (40.0ms)

IterNodesCost
011966736
150015754

prune948.0ms

Filtered
591 candidates to 215 candidates (63.6%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New5910591
Fresh011
Picked011
Done011
Total5913594

Merged error: 0b

Counts
594 → 3

regimes38.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02923
13223
23223

end0.0ms

sample317.0ms

Algorithm
intervals
Results
189.0ms8000×body80valid