Details

Time bar (total: 1.3s)

sample16.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0369
1369

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 18.2b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

17.4b
(/ (+ x y) (* (* x 2.0) y))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
7×*-un-lft-identity
4×times-frac associate-/l*
3×cbrt-undiv add-sqr-sqrt add-cube-cbrt div-exp prod-exp cbrt-unprod
2×associate-/l/ distribute-lft-out
1×pow1 frac-2neg flip3-+ clear-num associate-/r* flip-+ div-inv add-log-exp
Counts
1 → 27
Calls
1 calls:
7.0ms
(/ (+ x y) (* (* x 2.0) y))

series7.0ms

Counts
1 → 3
Calls
1 calls:
7.0ms
(/ (+ x y) (* (* x 2.0) y))

simplify26.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
05267314

prune43.0ms

Filtered
19 candidates to 30 candidates (-57.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New26430
Fresh000
Picked101
Done000
Total27431

Merged error: 0.0b

Counts
31 → 4

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ 0.5 y) (/ 0.5 x))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
6×times-frac
5×distribute-lft-out
3×add-sqr-sqrt add-cube-cbrt add-log-exp
2×div-inv
1×pow1 add-exp-log +-commutative flip3-+ frac-add sum-log add-cbrt-cube flip-+
Counts
1 → 17
Calls
1 calls:
11.0ms
(+ (/ 0.5 y) (/ 0.5 x))

series4.0ms

Counts
1 → 3
Calls
1 calls:
4.0ms
(+ (/ 0.5 y) (/ 0.5 x))

simplify58.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04898190
14898190

prune32.0ms

Filtered
15 candidates to 20 candidates (-33.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New19120
Fresh123
Picked101
Done000
Total21324

Merged error: 0.0b

Counts
24 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
0.4b
(/ (sqrt 0.5) x)
0.4b
(/ (sqrt 0.5) y)
0.5b
(* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
94×*-un-lft-identity
90×times-frac
76×add-sqr-sqrt
56×add-cube-cbrt
51×sqrt-prod
22×associate-*l*
20×distribute-lft-out
15×add-exp-log
13×associate-*r* add-cbrt-cube
12×associate-/l*
7×div-inv
6×pow1 associate-/r* add-log-exp
5×unswap-sqr
4×div-exp
3×cbrt-undiv frac-times flip3-+ associate-*r/ frac-add prod-exp flip-+
2×frac-2neg clear-num cbrt-unprod
1×+-commutative distribute-rgt-in distribute-lft-in 1-exp pow-prod-down associate-*l/ sum-log *-commutative
Counts
4 → 163
Calls
4 calls:
22.0ms
(+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
4.0ms
(/ (sqrt 0.5) x)
4.0ms
(/ (sqrt 0.5) y)
34.0ms
(* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)))

series29.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x))
7.0ms
(/ (sqrt 0.5) x)
4.0ms
(/ (sqrt 0.5) y)
11.0ms
(* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)))

simplify71.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049401650
149401650

prune250.0ms

Filtered
112 candidates to 175 candidates (-56.3%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1750175
Fresh022
Picked011
Done000
Total1753178

Merged error: 0.0b

Counts
178 → 3

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ x y) (* x 2.0))
6.0b
(/ (/ (+ x y) (* x 2.0)) y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
44×times-frac
33×*-un-lft-identity
21×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
12×associate-/l*
7×cbrt-undiv div-exp
6×div-inv distribute-lft-out
4×associate-/r*
3×associate-/l/
2×pow1 frac-2neg prod-exp clear-num cbrt-unprod add-log-exp
1×flip3-+ flip-+
Counts
2 → 77
Calls
2 calls:
6.0ms
(/ (+ x y) (* x 2.0))
8.0ms
(/ (/ (+ x y) (* x 2.0)) y)

series14.0ms

Counts
2 → 6
Calls
2 calls:
7.0ms
(/ (+ x y) (* x 2.0))
7.0ms
(/ (/ (+ x y) (* x 2.0)) y)

simplify34.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
05463970

prune70.0ms

Filtered
59 candidates to 83 candidates (-40.7%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New81283
Fresh011
Picked011
Done011
Total81586

Merged error: 0b

Counts
86 → 5

regimes85.0ms

Accuracy

0% (0.8b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01312
11312

end0.0ms

sample427.0ms

Algorithm
intervals
Results
221.0ms8002×body80valid

Profiling

Loading profile data...