Details

Time bar (total: 1.8s)

analyze95.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14

sample13.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: 14.7b

Counts
2 → 1

localize9.0ms

Local error

Found 1 expressions with local error:

14.2b
(/ (+ 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:
8.0ms
(/ (+ x y) (* (* x 2.0) y))

series7.0ms

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

simplify27.0ms

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
05438314

prune36.0ms

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

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New28230
Fresh000
Picked011
Done000
Total28331

Merged error: 0.0b

Counts
31 → 3

localize9.0ms

Local error

Found 1 expressions with local error:

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

rewrite21.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:
20.0ms
(+ (/ 0.5 y) (/ 0.5 x))

series7.0ms

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

simplify58.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04950190
14950190

prune25.0ms

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

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New19120
Fresh101
Picked011
Done011
Total20323

Merged error: 0.0b

Counts
23 → 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) y)
0.4b
(* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)))
0.5b
(/ (sqrt 0.5) x)

rewrite74.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) y)
35.0ms
(* (/ (sqrt 0.5) 1) (+ (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)))
4.0ms
(/ (sqrt 0.5) x)

series26.0ms

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

simplify72.0ms

Algorithm
egg-herbie
Counts
175 → 175
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049181650
149181650

prune249.0ms

Filtered
114 candidates to 175 candidates (-53.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1741175
Fresh000
Picked101
Done022
Total1753178

Merged error: 0b

Counts
178 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
200×times-frac
136×add-sqr-sqrt
135×*-un-lft-identity
123×add-cube-cbrt
72×sqrt-prod
31×associate-/r*
26×add-exp-log
22×associate-*l*
18×add-cbrt-cube
12×associate-/l*
11×div-exp
9×div-inv
7×pow1 associate-*r*
6×cbrt-undiv
5×unswap-sqr
4×distribute-lft-out add-log-exp
3×frac-times frac-2neg 1-exp associate-*r/ prod-exp clear-num
2×rec-exp flip3-+ frac-add cbrt-unprod flip-+
1×distribute-rgt-in pow-flip distribute-lft-in pow-prod-down associate-*l/ associate-/r/ *-commutative inv-pow
Counts
4 → 247
Calls
4 calls:
7.0ms
(/ 1 (/ y (sqrt 0.5)))
4.0ms
(/ y (sqrt 0.5))
72.0ms
(* (/ (sqrt 0.5) 1) (+ (/ 1 (/ y (sqrt 0.5))) (/ (sqrt 0.5) x)))
4.0ms
(/ (sqrt 0.5) x)

series28.0ms

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

simplify59.0ms

Algorithm
egg-herbie
Counts
259 → 259
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
050692527

prune362.0ms

Filtered
149 candidates to 259 candidates (-73.8%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New2590259
Fresh000
Picked011
Done022
Total2593262

Merged error: 0b

Counts
262 → 3

regimes105.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
077
177

end0.0ms

sample355.0ms

Algorithm
intervals
Results
228.0ms8000×body80valid
0.0ms1×body80invalid

Profiling

Loading profile data...