Details

Time bar (total: 7.5s)

sample17.0ms

Algorithm
intervals
Results
5.0ms202×body80valid
2.0ms21×body640valid
1.0ms10×body1280valid
1.0ms15×body320valid
0.0ms8×body160valid

simplify78.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
1150015

prune2.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.5b

Counts
2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 1.0 x) y)
2.4b
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
7.1b
(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
68×add-sqr-sqrt
58×times-frac
35×add-cube-cbrt
30×associate-*l*
18×associate-*r*
15×distribute-lft-out
14×associate-/l*
10×add-exp-log add-cbrt-cube
9×difference-of-squares
7×distribute-lft-out-- unswap-sqr
6×*-commutative
5×pow1 add-log-exp
4×associate-*l/ associate-/r*
3×flip3-- flip--
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/
1×sub-neg frac-2neg flip3-+ diff-log pow-prod-down clear-num flip-+ div-inv
Counts
3 → 130
Calls
3 calls:
6.0ms
(* (- 1.0 x) y)
21.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
12.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series153.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(* (- 1.0 x) y)
74.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
47.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify80.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
0494987
12196943
25002943

prune196.0ms

Filtered
139 candidates to 92 candidates (33.8%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1336139
Fresh000
Picked101
Done000
Total1346140

Merged error: 0.3b

Counts
140 → 6

localize6.0ms

Local error

Found 3 expressions with local error:

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

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
43×add-sqr-sqrt
27×add-cube-cbrt
26×times-frac
20×frac-times
18×associate-*r*
16×associate-/r*
13×associate-/l*
12×flip3-- flip--
10×add-exp-log associate-*r/ add-cbrt-cube distribute-lft-out
7×associate-*l*
5×pow1 clear-num distribute-lft-out-- add-log-exp
4×frac-2neg associate-/r/ difference-of-squares unswap-sqr
2×cbrt-undiv flip3-+ div-exp associate-*l/ prod-exp un-div-inv cbrt-unprod flip-+ div-inv
1×sub-neg diff-log pow-prod-down *-commutative
Counts
3 → 123
Calls
3 calls:
5.0ms
(/ y (+ y 1.0))
14.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
16.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

series160.0ms

Counts
3 → 9
Calls
3 calls:
37.0ms
(/ y (+ y 1.0))
49.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
74.0ms
(- 1.0 (* (- 1.0 x) (/ y (+ y 1.0))))

simplify82.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 1 (15.0ms)

IterNodesCost
0498862
12461814
25001814

prune183.0ms

Filtered
132 candidates to 91 candidates (31.1%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1284132
Fresh415
Picked011
Done000
Total1326138

Merged error: 0.3b

Counts
138 → 6

localize6.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (- 1.0 x) (/ (+ y 1.0) y))
2.4b
(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
155×times-frac
143×*-un-lft-identity
112×add-sqr-sqrt
69×add-cube-cbrt
20×difference-of-squares
19×associate-/r* distribute-lft-out
18×distribute-lft-out--
12×associate-/r/
9×associate-/l*
7×add-exp-log add-cbrt-cube div-inv
4×associate-/l/ add-log-exp
3×cbrt-undiv div-exp
2×pow1 flip3-- frac-2neg div-sub clear-num flip--
1×sub-neg flip3-+ diff-log flip-+ associate--r-
Counts
2 → 147
Calls
2 calls:
12.0ms
(/ (- 1.0 x) (/ (+ y 1.0) y))
31.0ms
(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

series125.0ms

Counts
2 → 6
Calls
2 calls:
49.0ms
(/ (- 1.0 x) (/ (+ y 1.0) y))
76.0ms
(- 1.0 (/ (- 1.0 x) (/ (+ y 1.0) y)))

simplify90.0ms

Algorithm
egg-herbie
Counts
153 → 153
Iterations

Useful iterations: 1 (19.0ms)

IterNodesCost
07001392
126851348
250011348

prune206.0ms

Filtered
153 candidates to 99 candidates (35.3%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1530153
Fresh044
Picked011
Done011
Total1536159

Merged error: 0.3b

Counts
159 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- 1.0 x) (/ y (+ y 1.0)))
0.1b
(* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))
2.4b
(- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0)))))
7.6b
(/ (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))

rewrite619.0ms

Algorithm
rewrite-expression-head
Rules
3217×add-sqr-sqrt
2576×frac-times
2309×*-un-lft-identity
1151×unswap-sqr
973×times-frac
858×associate-/r*
805×associate-/l*
783×flip3-- flip--
744×associate-*r/
605×difference-of-squares
586×add-cube-cbrt
522×distribute-lft-out
463×associate-*l*
426×swap-sqr
305×distribute-lft-out--
285×clear-num
214×frac-2neg
176×associate-*l/
166×*-commutative
142×un-div-inv
132×associate-*r*
47×add-exp-log add-cbrt-cube
45×pow1
23×prod-exp cbrt-unprod
18×pow-prod-down
12×associate-/r/
8×cbrt-undiv div-exp
6×flip3-+ flip-+ div-inv add-log-exp
4×pow-sqr pow-prod-up
2×pow-plus associate-/l/
1×pow2 sub-neg diff-log div-sub
Counts
4 → 2240
Calls
4 calls:
14.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
77.0ms
(* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))
105.0ms
(- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0)))))
145.0ms
(/ (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))

series639.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
56.0ms
(* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))
92.0ms
(- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0)))))
441.0ms
(/ (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))

simplify513.0ms

Algorithm
egg-herbie
Counts
2252 → 2252
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0500146533

prune3.5s

Filtered
2252 candidates to 867 candidates (61.5%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New225112252
Fresh123
Picked101
Done022
Total225352258

Merged error: 0.2b

Counts
2258 → 5

regimes81.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 14.6b

bsearch85.0ms

Steps
ItersRangePoint
10
188836.9734675514
2.769850331238764e+21
263274906.56591013
8
-5154421704.732712
-137459.4213561049
-168866689.00666866

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02910
12910

end0.0ms

sample456.0ms

Algorithm
intervals
Results
159.0ms6067×body80valid
67.0ms731×body640valid
48.0ms395×body1280valid
35.0ms503×body320valid
14.0ms304×body160valid