Details

Time bar (total: 2.0s)

sample22.0ms

Algorithm
intervals
Results
6.0ms191×body80valid
3.0ms19×body1280valid
2.0ms19×body640valid
1.0ms14×body320valid
1.0ms13×body160valid

simplify65.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0165
1355
2745
31285
42525
53745
65145
76425
87775
910105
1016865
1150025

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.9b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

3.4b
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
7.3b
(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite16.0ms

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

series17.0ms

Counts
2 → 6
Calls
2 calls:
11.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
6.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify37.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0287314
11151281
25001280

prune76.0ms

Filtered
35 candidates to 47 candidates (-34.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New43447
Fresh000
Picked101
Done000
Total44448

Merged error: 0.2b

Counts
48 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 1.0 x) (/ y (+ y 1.0)))
0.0b
(/ y (+ y 1.0))
3.4b
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
28×add-sqr-sqrt
25×times-frac
21×add-cube-cbrt
18×associate-*r*
10×add-exp-log add-cbrt-cube
7×distribute-lft-out
5×pow1 associate-*l* add-log-exp
4×associate-/r* associate-/r/
3×flip3-- flip-- associate-/l*
2×cbrt-undiv frac-times flip3-+ div-exp associate-*l/ prod-exp cbrt-unprod flip-+ div-inv unswap-sqr
1×sub-neg frac-2neg diff-log associate-*r/ pow-prod-down clear-num *-commutative distribute-lft-out-- difference-of-squares
Counts
3 → 88
Calls
3 calls:
11.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
5.0ms
(/ y (+ y 1.0))
3.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series22.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
2.0ms
(/ y (+ y 1.0))
13.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify53.0ms

Algorithm
egg-herbie
Counts
97 → 97
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0400572
11790526
25001526

prune110.0ms

Filtered
70 candidates to 97 candidates (-38.6%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New97097
Fresh033
Picked011
Done000
Total974101

Merged error: 0.2b

Counts
101 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

1.4b
(/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0)))
2.2b
(/ (* (- 1.0 x) y) (sqrt (+ y 1.0)))
4.2b
(- 1.0 (/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
156×times-frac
109×*-un-lft-identity
97×sqrt-prod
67×add-sqr-sqrt
59×add-cube-cbrt
24×distribute-lft-out
20×sqrt-div associate-/r/
17×add-exp-log add-cbrt-cube
14×associate-/r* associate-/l*
10×flip3-+ flip-+ div-inv
7×cbrt-undiv div-exp
5×add-log-exp
3×pow1 associate-/l/ difference-of-squares
2×flip3-- frac-2neg associate-*l/ prod-exp clear-num flip-- cbrt-unprod
1×sub-neg diff-log distribute-lft-out--
Counts
3 → 179
Calls
3 calls:
15.0ms
(/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0)))
12.0ms
(/ (* (- 1.0 x) y) (sqrt (+ y 1.0)))
28.0ms
(- 1.0 (/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0))))

series29.0ms

Counts
3 → 9
Calls
3 calls:
7.0ms
(/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0)))
11.0ms
(/ (* (- 1.0 x) y) (sqrt (+ y 1.0)))
11.0ms
(- 1.0 (/ (/ (* (- 1.0 x) y) (sqrt (+ y 1.0))) (sqrt (+ y 1.0))))

simplify79.0ms

Algorithm
egg-herbie
Counts
188 → 188
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
06902332
128692050
250022038

prune242.0ms

Filtered
98 candidates to 188 candidates (-91.8%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1871188
Fresh022
Picked011
Done101
Total1884192

Merged error: 0.2b

Counts
192 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
18×*-un-lft-identity
14×times-frac
6×add-log-exp difference-of-squares
5×div-inv distribute-lft-out--
4×add-cube-cbrt associate-+l+
3×sub-neg distribute-rgt-out--
2×pow1 add-exp-log distribute-rgt-in distribute-lft-in add-cbrt-cube
1×+-commutative flip3-- flip3-+ diff-log sum-log frac-sub flip-- flip-+ sub-div
Counts
2 → 43
Calls
2 calls:
16.0ms
(+ (* 1.0 (- (/ 1 y) (/ x y))) x)
12.0ms
(- (/ 1 y) (/ x y))

series9.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(+ (* 1.0 (- (/ 1 y) (/ x y))) x)
4.0ms
(- (/ 1 y) (/ x y))

simplify78.0ms

Algorithm
egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 3 (71.0ms)

IterNodesCost
0224317
1627291
22875282
35001274

prune44.0ms

Filtered
33 candidates to 49 candidates (-48.5%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New47249
Fresh022
Picked011
Done011
Total47653

Merged error: 0.2b

Counts
53 → 6

regimes352.0ms

Accuracy

99.7% (0.1b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 27.3b

bsearch34.0ms

Steps
ItersRangePoint
9
11977547.733654179
6887157482418.996
121510515.30725509
11
-12261081.339984152
-5.550846520329113e-21
-0.9898640770877373

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03114
13114

end0.0ms

sample588.0ms

Algorithm
intervals
Results
179.0ms6067×body80valid
81.0ms722×body640valid
54.0ms392×body1280valid
47.0ms517×body320valid
19.0ms302×body160valid

Profiling

Loading profile data...