Details

Time bar (total: 2.8s)

sample14.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0155
1225
2265
3295
4305
5305

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 3 expressions with local error:

0.0b
(/ (* x y) 2.0)
0.0b
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
7.9b
(/ y (+ 1.0 (/ (* x y) 2.0)))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
2×frac-2neg clear-num associate-/r/ div-inv associate-/l*
1×sub-neg flip3-- flip3-+ *-commutative flip-- flip-+
Counts
3 → 14
Calls
3 calls:
3.0ms
(/ (* x y) 2.0)
2.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
3.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

series116.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(/ (* x y) 2.0)
32.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
62.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify63.0ms

Algorithm
egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 3 (60.0ms)

IterNodesCost
0180134
1562129
22498119
35001117

prune47.0ms

Filtered
23 candidates to 18 candidates (78.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New20323
Fresh000
Picked101
Done000
Total21324

Merged error: 0.0b

Counts
24 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* x y) 2.0)
0.0b
(- x (* y (/ 1 (+ 1.0 (/ (* x y) 2.0)))))
0.5b
(/ 1 (+ 1.0 (/ (* x y) 2.0)))
7.3b
(* y (/ 1 (+ 1.0 (/ (* x y) 2.0))))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
4×clear-num associate-/r/
3×frac-2neg associate-*r/ associate-*r* div-inv
2×flip3-+ un-div-inv *-commutative flip-+ associate-/l*
1×sub-neg flip3-- flip-- inv-pow
Counts
4 → 24
Calls
4 calls:
3.0ms
(/ (* x y) 2.0)
2.0ms
(- x (* y (/ 1 (+ 1.0 (/ (* x y) 2.0)))))
4.0ms
(/ 1 (+ 1.0 (/ (* x y) 2.0)))
4.0ms
(* y (/ 1 (+ 1.0 (/ (* x y) 2.0))))

series161.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(/ (* x y) 2.0)
35.0ms
(- x (* y (/ 1 (+ 1.0 (/ (* x y) 2.0)))))
47.0ms
(/ 1 (+ 1.0 (/ (* x y) 2.0)))
61.0ms
(* y (/ 1 (+ 1.0 (/ (* x y) 2.0))))

simplify30.0ms

Algorithm
egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 2 (27.0ms)

IterNodesCost
0236194
1988180
25002168

prune72.0ms

Filtered
36 candidates to 27 candidates (75.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New35136
Fresh112
Picked011
Done000
Total36339

Merged error: 0.0b

Counts
39 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- x (/ 1 (/ (fma (/ x 2.0) y 1.0) y)))
0.1b
(/ 1 (/ (fma (/ x 2.0) y 1.0) y))
7.8b
(/ (fma (/ x 2.0) y 1.0) y)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
4×clear-num
3×frac-2neg associate-/r/ div-inv
1×sub-neg flip3-- associate-/r* flip-- remove-double-div inv-pow
Counts
3 → 16
Calls
3 calls:
2.0ms
(- x (/ 1 (/ (fma (/ x 2.0) y 1.0) y)))
3.0ms
(/ 1 (/ (fma (/ x 2.0) y 1.0) y))
2.0ms
(/ (fma (/ x 2.0) y 1.0) y)

series140.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(- x (/ 1 (/ (fma (/ x 2.0) y 1.0) y)))
59.0ms
(/ 1 (/ (fma (/ x 2.0) y 1.0) y))
46.0ms
(/ (fma (/ x 2.0) y 1.0) y)

simplify122.0ms

Algorithm
egg-herbie
Counts
25 → 25
Iterations

Useful iterations: 3 (117.0ms)

IterNodesCost
0158132
1601123
23555115
35002113

prune48.0ms

Filtered
25 candidates to 18 candidates (72.0%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New25025
Fresh011
Picked011
Done011
Total25328

Merged error: 0.0b

Counts
28 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))
3.0b
(- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))
7.3b
(* y (* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0))))))
20.9b
(* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
245×associate-*r/
224×associate-/l*
216×frac-sub
176×*-commutative
169×clear-num
166×frac-times
128×div-inv
119×frac-2neg
105×prod-diff
102×associate-+r+
95×distribute-rgt-in distribute-lft-in
64×associate-*r*
47×un-div-inv
44×associate-*l/
28×associate-*l*
22×swap-sqr
14×sub-div
13×flip3-+ flip-+
7×sub-neg associate-/r* sum-cubes
6×+-commutative associate-/r/
5×fma-neg
3×distribute-rgt-out--
2×distribute-lft-out--
1×flip3-- flip-- inv-pow
Counts
4 → 418
Calls
4 calls:
6.0ms
(/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))
27.0ms
(- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))
23.0ms
(* y (* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0))))))
20.0ms
(* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))))

series412.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3)))
72.0ms
(- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))
157.0ms
(* y (* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0))))))
138.0ms
(* (/ 1 (+ (pow 1.0 3) (pow (/ (* x y) 2.0) 3))) (+ (* 1.0 1.0) (- (* (/ (* x y) 2.0) (/ (* x y) 2.0)) (* 1.0 (/ (* x y) 2.0)))))

simplify140.0ms

Algorithm
egg-herbie
Counts
430 → 430
Iterations

Useful iterations: 1 (62.0ms)

IterNodesCost
036898077
150017951

prune860.0ms

Filtered
430 candidates to 182 candidates (42.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New4300430
Fresh000
Picked011
Done022
Total4303433

Merged error: 0.0b

Counts
433 → 3

regimes33.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
0166
1166

end0.0ms

sample336.0ms

Algorithm
intervals
Results
207.0ms7999×body80valid
0.0ms1×body2560valid