Details

Time bar (total: 5.6s)

sample44.0ms

Algorithm
intervals
Results
23.0ms266×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0268
1398
2518
3618
4658
5658

prune3.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: 15.1b

Counts
2 → 1

localize13.0ms

Local error

Found 3 expressions with local error:

5.0b
(/ (* y z) t)
5.1b
(/ (* y b) t)
10.7b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
109×*-un-lft-identity
92×add-sqr-sqrt times-frac
72×add-cube-cbrt
52×associate-/l*
38×associate-/r/
36×frac-add
30×associate-*r* associate-*l*
21×distribute-lft-out
20×flip3-+ flip-+
17×associate-/r*
15×add-exp-log add-cbrt-cube
10×*-commutative unswap-sqr
5×cbrt-undiv frac-2neg div-exp clear-num
3×pow1 expm1-log1p-u log1p-expm1-u div-inv add-log-exp
2×prod-exp cbrt-unprod associate-/l/
Counts
3 → 217
Calls
3 calls:
11.0ms
(/ (* y z) t)
8.0ms
(/ (* y b) t)
35.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series139.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(/ (* y z) t)
19.0ms
(/ (* y b) t)
102.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify129.0ms

Algorithm
egg-herbie
Counts
226 → 226
Iterations

Useful iterations: 2 (108.0ms)

IterNodesCost
09831871
145451768
250011765

prune977.0ms

Filtered
226 candidates to 167 candidates (73.9%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New21214226
Fresh000
Picked101
Done000
Total21314227

Merged error: 8.6b

Counts
227 → 14

localize16.0ms

Local error

Found 3 expressions with local error:

3.4b
(* b (/ y t))
5.0b
(/ (* y z) t)
10.7b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
124×*-un-lft-identity
74×times-frac
68×add-sqr-sqrt
55×add-cube-cbrt
38×distribute-lft-out
28×associate-/l*
27×associate-*r/
25×associate-*r* associate-*l*
24×associate-/r/
22×frac-add
19×associate-/r*
15×add-exp-log add-cbrt-cube
13×flip3-+ flip-+
8×clear-num
6×un-div-inv unswap-sqr
5×pow1 frac-2neg *-commutative
4×cbrt-undiv div-exp
3×expm1-log1p-u prod-exp cbrt-unprod log1p-expm1-u div-inv add-log-exp
2×associate-/l/
1×pow-prod-down
Counts
3 → 190
Calls
3 calls:
8.0ms
(* b (/ y t))
7.0ms
(/ (* y z) t)
32.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

series139.0ms

Counts
3 → 9
Calls
3 calls:
21.0ms
(* b (/ y t))
17.0ms
(/ (* y z) t)
100.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

simplify106.0ms

Algorithm
egg-herbie
Counts
199 → 199
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
07911532
135511436
250021375

prune579.0ms

Filtered
199 candidates to 131 candidates (65.8%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New1909199
Fresh8513
Picked101
Done000
Total19914213

Merged error: 7.7b

Counts
213 → 14

localize12.0ms

Local error

Found 3 expressions with local error:

3.4b
(* b (/ y t))
4.9b
(/ z (/ t y))
10.7b
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (* b (/ y t))))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
143×*-un-lft-identity
113×times-frac
79×add-sqr-sqrt
74×add-cube-cbrt
38×distribute-lft-out
33×associate-/r/
32×associate-/r*
27×associate-*r/
22×frac-add associate-/l*
15×add-exp-log add-cbrt-cube
13×flip3-+ associate-*r* associate-*l* flip-+
9×clear-num
7×div-inv
6×frac-2neg un-div-inv
5×pow1 cbrt-undiv div-exp
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×prod-exp cbrt-unprod associate-/l/ unswap-sqr
1×pow-prod-down *-commutative
Counts
3 → 203
Calls
3 calls:
11.0ms
(* b (/ y t))
7.0ms
(/ z (/ t y))
35.0ms
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (* b (/ y t))))

series134.0ms

Counts
3 → 9
Calls
3 calls:
18.0ms
(* b (/ y t))
21.0ms
(/ z (/ t y))
95.0ms
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (* b (/ y t))))

simplify116.0ms

Algorithm
egg-herbie
Counts
212 → 212
Iterations

Useful iterations: 2 (97.0ms)

IterNodesCost
08711661
139911515
250011487

prune629.0ms

Filtered
212 candidates to 144 candidates (67.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2084212
Fresh5813
Picked101
Done000
Total21412226

Merged error: 7.7b

Counts
226 → 12

localize11.0ms

Local error

Found 3 expressions with local error:

3.5b
(/ b (/ t y))
4.9b
(/ z (/ t y))
10.7b
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ b (/ t y))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
188×times-frac
155×*-un-lft-identity
118×add-sqr-sqrt add-cube-cbrt
63×associate-/r*
58×associate-/r/
38×frac-add
22×associate-/l*
21×flip3-+ flip-+ distribute-lft-out
15×add-exp-log add-cbrt-cube
13×div-inv
7×cbrt-undiv frac-2neg div-exp clear-num
3×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
2×associate-/l/
Counts
3 → 245
Calls
3 calls:
7.0ms
(/ b (/ t y))
7.0ms
(/ z (/ t y))
45.0ms
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ b (/ t y))))

series141.0ms

Counts
3 → 9
Calls
3 calls:
22.0ms
(/ b (/ t y))
21.0ms
(/ z (/ t y))
97.0ms
(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ b (/ t y))))

simplify143.0ms

Algorithm
egg-herbie
Counts
254 → 254
Iterations

Useful iterations: 1 (33.0ms)

IterNodesCost
011272220
149962033
250012033

prune851.0ms

Filtered
254 candidates to 198 candidates (78.0%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New2522254
Fresh2911
Picked011
Done000
Total25412266

Merged error: 7.7b

Counts
266 → 12

regimes390.0ms

Accuracy

7.9% (4.7b remaining)

Error of 14.0b against oracle of 9.3b and baseline of 14.4b

bsearch121.0ms

Steps
ItersRangePoint
10
9.179272095882935e-210
4.29900927954791e-200
2.4514315965089217e-200
7
-4.975242368557838e-08
-1.4619390579143067e-09
-3.547266425250832e-09

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03615
13815
23815

end0.0ms

sample663.0ms

Algorithm
intervals
Results
377.0ms8293×body80valid