Details

Time bar (total: 7.2s)

sample21.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify40.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0278
1638
21498
33588
48408
550018

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: 11.5b

Counts
2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.7b
(- (* (* z 2.0) z) (* y t))
19.5b
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
987×add-sqr-sqrt
717×associate-*l*
524×*-un-lft-identity
354×unswap-sqr
330×times-frac
264×prod-diff
240×associate-*r*
236×add-cube-cbrt
144×distribute-lft-out-- difference-of-squares
80×*-commutative
22×fma-neg associate-/l*
15×associate-/r*
11×add-exp-log add-cbrt-cube
4×add-log-exp
3×cbrt-undiv div-exp prod-exp cbrt-unprod
2×pow1 expm1-log1p-u flip3-- associate-/r/ flip-- log1p-expm1-u
1×sub-neg frac-2neg diff-log clear-num div-inv
Counts
2 → 699
Calls
2 calls:
29.0ms
(- (* (* z 2.0) z) (* y t))
44.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series232.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(- (* (* z 2.0) z) (* y t))
194.0ms
(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify138.0ms

Algorithm
egg-herbie
Counts
705 → 705
Iterations

Useful iterations: 1 (42.0ms)

IterNodesCost
0179910461
150028885

prune1.3s

Filtered
705 candidates to 274 candidates (38.9%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New6978705
Fresh000
Picked101
Done000
Total6988706

Merged error: 3.2b

Counts
706 → 8

localize11.0ms

Local error

Found 3 expressions with local error:

0.7b
(- (* (* z 2.0) z) (* y t))
7.7b
(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
11.7b
(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
2228×add-sqr-sqrt
1452×times-frac
1372×*-un-lft-identity
1059×associate-*l*
718×unswap-sqr
616×add-cube-cbrt
378×distribute-lft-out-- difference-of-squares
375×associate-*r*
264×prod-diff
208×associate-/r*
125×*-commutative
33×associate-/l*
32×associate-/r/
22×fma-neg
17×add-exp-log add-cbrt-cube
7×cbrt-undiv div-exp
6×div-inv
5×add-log-exp
4×associate-/l/
3×pow1 expm1-log1p-u flip3-- frac-2neg clear-num flip-- log1p-expm1-u
2×prod-exp cbrt-unprod
1×sub-neg diff-log div-sub
Counts
3 → 1327
Calls
3 calls:
30.0ms
(- (* (* z 2.0) z) (* y t))
65.0ms
(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
53.0ms
(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

series167.0ms

Counts
3 → 9
Calls
3 calls:
39.0ms
(- (* (* z 2.0) z) (* y t))
61.0ms
(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
68.0ms
(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

simplify261.0ms

Algorithm
egg-herbie
Counts
1336 → 1336
Iterations

Useful iterations: 1 (65.0ms)

IterNodesCost
0313519224
1500117936

prune2.7s

Filtered
1336 candidates to 633 candidates (47.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New133151336
Fresh707
Picked101
Done000
Total133951344

Merged error: 2.4b

Counts
1344 → 5

localize11.0ms

Local error

Found 2 expressions with local error:

6.8b
(/ (pow z 2) y)
7.7b
(/ z (- (* 1.0 (/ (pow z 2) y)) (* 0.5 t)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
219×add-sqr-sqrt
113×times-frac
75×*-un-lft-identity
64×unswap-sqr
48×difference-of-squares
43×add-cube-cbrt
22×associate-/r*
20×unpow-prod-down
16×associate-*l* distribute-lft-out--
12×unpow2 sqr-pow
11×associate-/l*
9×add-exp-log
6×add-cbrt-cube
4×div-exp
2×pow1 cbrt-undiv expm1-log1p-u frac-2neg clear-num associate-/r/ log1p-expm1-u div-inv add-log-exp
1×pow-to-exp flip3-- pow-exp flip--
Counts
2 → 146
Calls
2 calls:
6.0ms
(/ (pow z 2) y)
41.0ms
(/ z (- (* 1.0 (/ (pow z 2) y)) (* 0.5 t)))

series65.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(/ (pow z 2) y)
46.0ms
(/ z (- (* 1.0 (/ (pow z 2) y)) (* 0.5 t)))

simplify63.0ms

Algorithm
egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04951556
116581429
250021378

prune407.0ms

Filtered
152 candidates to 98 candidates (64.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1502152
Fresh314
Picked101
Done000
Total1543157

Merged error: 0.5b

Counts
157 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ z (/ y z))
7.7b
(/ z (- (* 1.0 (/ z (/ y z))) (* 0.5 t)))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
224×add-sqr-sqrt
150×times-frac
100×*-un-lft-identity
68×add-cube-cbrt
52×unswap-sqr
40×difference-of-squares
33×associate-/r*
19×associate-/r/
17×associate-/l*
16×associate-*l* distribute-lft-out--
9×add-exp-log add-cbrt-cube
6×div-inv
4×cbrt-undiv div-exp
3×frac-2neg clear-num
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×flip3-- flip--
Counts
2 → 167
Calls
2 calls:
7.0ms
(/ z (/ y z))
61.0ms
(/ z (- (* 1.0 (/ z (/ y z))) (* 0.5 t)))

series71.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(/ z (/ y z))
52.0ms
(/ z (- (* 1.0 (/ z (/ y z))) (* 0.5 t)))

simplify94.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
06261634
129451525
250011504

prune440.0ms

Filtered
173 candidates to 118 candidates (68.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1721173
Fresh112
Picked011
Done000
Total1733176

Merged error: 0.5b

Counts
176 → 3

regimes89.0ms

Accuracy

0% (0.4b remaining)

Error of 1.2b against oracle of 0.8b and baseline of 1.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0157
1157

end0.0ms

sample516.0ms

Algorithm
intervals
Results
314.0ms8000×body80valid