Details

Time bar (total: 1.7s)

sample13.0ms

Algorithm
intervals
Results
5.0ms251×body80valid
0.0ms2×body640valid
0.0ms1×body2560valid
0.0ms1×body1280valid
0.0ms1×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0104
1114
2114

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ x (/ (fabs (- y x)) 2.0))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
1×+-commutative flip3-+ flip-+
Counts
1 → 3
Calls
1 calls:
6.0ms
(+ x (/ (fabs (- y x)) 2.0))

series16.0ms

Counts
1 → 3
Calls
1 calls:
16.0ms
(+ x (/ (fabs (- y x)) 2.0))

simplify136.0ms

Algorithm
egg-herbie
Counts
6 → 6
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05341
111441
221641
344041
4119841
5319741
6500141

prune14.0ms

Filtered
6 candidates to 4 candidates (66.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New426
Fresh000
Picked011
Done000
Total437

Merged error: 0.0b

Counts
7 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))
0.0b
(- x (/ (fabs (- y x)) 2.0))
14.4b
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
31.5b
(/ (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- x (/ (fabs (- y x)) 2.0)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
10×clear-num
9×frac-times frac-2neg *-commutative
8×difference-of-squares
5×div-inv
4×flip3-- flip-- associate-/l*
3×associate-*r/ associate-*l/
2×sub-neg associate-/r/ associate-/l/
1×pow2 div-sub swap-sqr associate-*r* associate-*l* un-div-inv
Counts
4 → 45
Calls
4 calls:
4.0ms
(* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))
2.0ms
(- x (/ (fabs (- y x)) 2.0))
5.0ms
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
8.0ms
(/ (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- x (/ (fabs (- y x)) 2.0)))

series118.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))
18.0ms
(- x (/ (fabs (- y x)) 2.0))
28.0ms
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
52.0ms
(/ (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- x (/ (fabs (- y x)) 2.0)))

simplify40.0ms

Algorithm
egg-herbie
Counts
57 → 57
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0215395
1947371
25002363

prune106.0ms

Filtered
57 candidates to 33 candidates (57.9%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New55257
Fresh101
Picked101
Done011
Total57360

Merged error: 0.0b

Counts
60 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ (fabs (- y x)) 2.0))
0.1b
(/ 1 (- x (/ (fabs (- y x)) 2.0)))
14.4b
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
31.6b
(* (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (/ 1 (- x (/ (fabs (- y x)) 2.0))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
9×*-commutative
8×flip3-- flip-- difference-of-squares
6×frac-times
5×clear-num
4×frac-2neg associate-*l* associate-/r/
3×associate-*r/ associate-*r*
2×sub-neg associate-*l/ un-div-inv div-inv
1×inv-pow
Counts
4 → 39
Calls
4 calls:
2.0ms
(- x (/ (fabs (- y x)) 2.0))
3.0ms
(/ 1 (- x (/ (fabs (- y x)) 2.0)))
5.0ms
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
9.0ms
(* (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (/ 1 (- x (/ (fabs (- y x)) 2.0))))

series119.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- x (/ (fabs (- y x)) 2.0))
20.0ms
(/ 1 (- x (/ (fabs (- y x)) 2.0)))
28.0ms
(- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0)))
53.0ms
(* (- (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (/ 1 (- x (/ (fabs (- y x)) 2.0))))

simplify56.0ms

Algorithm
egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0224545
11252521
25001518

prune102.0ms

Filtered
51 candidates to 31 candidates (60.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New50151
Fresh101
Picked011
Done011
Total51354

Merged error: 0.0b

Counts
54 → 3

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))
0.1b
(* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0))))
22.9b
(+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0)))))
46.8b
(/ (+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))))) (* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0)))))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
24×neg-mul-1
12×distribute-neg-frac
10×distribute-lft-out
8×frac-times flip3-+ associate-/r/ flip-+
7×associate-*r/
6×flip3-- times-frac flip--
5×distribute-rgt-neg-in associate-*r* *-commutative
4×neg-sub0 distribute-neg-in div-sub associate-*l/
3×associate-*l* clear-num associate-/r* div-inv
2×distribute-rgt-in associate-+l- associate-+r- sub-neg distribute-neg-out frac-2neg distribute-lft-in unsub-neg associate-/l/ associate-/l*
1×+-commutative unpow-prod-down pow-plus unpow3 distribute-frac-neg un-div-inv distribute-rgt-neg-out sqr-pow
Counts
4 → 64
Calls
4 calls:
5.0ms
(* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))
8.0ms
(* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0))))
10.0ms
(+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0)))))
19.0ms
(/ (+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))))) (* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0)))))

series182.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))
33.0ms
(* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0))))
26.0ms
(+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0)))))
83.0ms
(/ (+ (- (pow x 4)) (- (- (* (pow (/ (fabs (- y x)) 2.0) 3) (/ (fabs (- y x)) 2.0))))) (* (+ (* x x) (* (/ (fabs (- y x)) 2.0) (/ (fabs (- y x)) 2.0))) (- (- x (/ (fabs (- y x)) 2.0)))))

simplify79.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
04341415
122541214
250011208

prune247.0ms

Filtered
76 candidates to 58 candidates (76.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New76076
Fresh000
Picked011
Done022
Total76379

Merged error: 0.0b

Counts
79 → 3

regimes55.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
084
184

end0.0ms

sample308.0ms

Algorithm
intervals
Results
152.0ms7700×body80valid
10.0ms110×body1280valid
6.0ms49×body2560valid
5.0ms75×body640valid
2.0ms43×body320valid
1.0ms24×body160valid