Details

Time bar (total: 2.5s)

sample15.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0155
1225
2255
3265
4265

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

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite9.0ms

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

series103.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
64.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify70.0ms

Algorithm
egg-herbie
Counts
15 → 15
Iterations

Useful iterations: 2 (16.0ms)

IterNodesCost
0161120
1505118
22231110
35001110

prune33.0ms

Filtered
15 candidates to 12 candidates (80.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New12315
Fresh000
Picked101
Done000
Total13316

Merged error: 0.0b

Counts
16 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
0.2b
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
3.3b
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
16.2b
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
39×frac-times
30×*-commutative
24×associate-/l*
17×clear-num
16×frac-2neg associate-/r* difference-of-squares
12×associate-*l/
11×flip3-- flip--
7×associate-*r/
6×div-inv
5×sub-neg
4×distribute-rgt-in distribute-lft-in associate-*l* associate-/r/ associate--r+
1×pow2 swap-sqr associate-*r* un-div-inv
Counts
4 → 89
Calls
4 calls:
2.0ms
(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
8.0ms
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
8.0ms
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
11.0ms
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

series294.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(- x (* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0))))
35.0ms
(* (/ (* x y) 2.0) (/ (* x y) 2.0))
58.0ms
(/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))
120.0ms
(* (/ y (- (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))

simplify94.0ms

Algorithm
egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 2 (82.0ms)

IterNodesCost
0498938
12983927
25001925

prune170.0ms

Filtered
101 candidates to 58 candidates (57.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1001101
Fresh022
Picked101
Done000
Total1013104

Merged error: 0b

Counts
104 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b
(pow (/ (* x y) 2.0) 3)
1.5b
(/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4)))
16.2b
(* (* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))
21.2b
(* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
46×frac-times
23×associate-*l/
19×flip3-+ flip-+
13×frac-2neg clear-num
12×flip3-- flip--
11×associate-*l*
10×associate-*r/
6×associate-/r/
4×distribute-rgt-in distribute-lft-in div-inv
3×*-commutative
2×+-commutative sub-neg
1×pow-to-exp unpow-prod-down unpow3 sqr-pow
Counts
4 → 73
Calls
4 calls:
4.0ms
(pow (/ (* x y) 2.0) 3)
11.0ms
(/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4)))
27.0ms
(* (* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))
20.0ms
(* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))

series445.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(pow (/ (* x y) 2.0) 3)
105.0ms
(/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4)))
181.0ms
(* (* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0)))) (- 1.0 (/ (* x y) 2.0)))
103.0ms
(* (/ y (+ (- (* (pow (/ (* x y) 2.0) 3) (/ (* x y) 2.0))) (pow 1.0 4))) (+ (* 1.0 1.0) (* (/ (* x y) 2.0) (/ (* x y) 2.0))))

simplify140.0ms

Algorithm
egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 2 (118.0ms)

IterNodesCost
07531890
143951826
250011776

prune350.0ms

Filtered
85 candidates to 75 candidates (88.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New85085
Fresh022
Picked011
Done000
Total85388

Merged error: 0b

Counts
88 → 3

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b
(- x (/ 2.0 x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
1×sub-neg flip3-- flip--
Counts
1 → 4
Calls
1 calls:
2.0ms
(- x (/ 2.0 x))

series47.0ms

Counts
1 → 3
Calls
1 calls:
47.0ms
(- x (/ 2.0 x))

simplify57.0ms

Algorithm
egg-herbie
Counts
7 → 7
Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
05530
112127
244227
3155627
4500127

prune7.0ms

Filtered
7 candidates to 3 candidates (42.9%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New707
Fresh011
Picked011
Done011
Total7310

Merged error: 0b

Counts
10 → 3

regimes65.0ms

Accuracy

74.8% (5.3b remaining)

Error of 5.3b against oracle of 0.0b and baseline of 21.1b

bsearch88.0ms

Steps
ItersRangePoint
8
1.5556181911831613e-38
6.477266690690568e-36
6.683607068885727e-37
8
-2.9148937725967404e-17
-3.1158541889032954e-21
-2.522951099518876e-17

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04225
14625
25225
35225

end0.0ms

sample329.0ms

Algorithm
intervals
Results
204.0ms7998×body80valid
0.0ms1×body1280valid
0.0ms1×body320valid