Details

Time bar (total: 7.7s)

sample83.0ms

Algorithm
intervals
Results
26.0ms558×body80valid
22.0ms546×body80nan

simplify108.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0259
1419
2889
31659
42879
56259
620149
750029

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

Counts
2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (* t t) 2.0)
0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.0b
(exp (/ (* t t) 2.0))
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
137×add-sqr-sqrt
91×*-un-lft-identity
90×times-frac
83×add-cube-cbrt
73×associate-*l*
60×associate-*r*
49×exp-prod
30×sqrt-prod
27×unswap-sqr
21×swap-sqr
19×add-exp-log
16×add-cbrt-cube
15×associate-/l*
12×*-commutative
11×pow1
8×prod-exp
6×associate-*l/
5×cbrt-unprod add-log-exp
4×pow-prod-down distribute-lft-out-- difference-of-squares
3×associate-/r*
2×cbrt-undiv flip3-- div-exp flip-- div-inv
1×frac-2neg clear-num rem-exp-log
Counts
4 → 227
Calls
4 calls:
8.0ms
(/ (* t t) 2.0)
42.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
11.0ms
(exp (/ (* t t) 2.0))
20.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series327.0ms

Counts
4 → 12
Calls
4 calls:
26.0ms
(/ (* t t) 2.0)
170.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
19.0ms
(exp (/ (* t t) 2.0))
112.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify130.0ms

Algorithm
egg-herbie
Counts
239 → 239
Iterations

Useful iterations: 2 (106.0ms)

IterNodesCost
07631581
131661471
250011452

prune512.0ms

Filtered
239 candidates to 161 candidates (32.6%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New2309239
Fresh000
Picked101
Done000
Total2319240

Merged error: 0.0b

Counts
240 → 9

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
0.3b
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
52×associate-*l*
43×associate-*r*
36×unswap-sqr
34×sqrt-prod
23×*-un-lft-identity
20×add-exp-log
15×add-cube-cbrt
13×prod-exp
9×pow1 add-cbrt-cube
7×unpow-prod-down
6×associate-*l/
5×*-commutative sqr-pow
4×pow-prod-down pow-exp cbrt-unprod distribute-lft-out-- difference-of-squares
2×pow-to-exp flip3-- flip-- add-log-exp
Counts
2 → 109
Calls
2 calls:
31.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
16.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series307.0ms

Counts
2 → 6
Calls
2 calls:
192.0ms
(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (pow (exp t) (/ t 2.0)))
114.0ms
(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify87.0ms

Algorithm
egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
05211182
120911111
250031111

prune271.0ms

Filtered
115 candidates to 79 candidates (31.3%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New1087115
Fresh718
Picked011
Done000
Total1159124

Merged error: 0.0b

Counts
124 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (* z (sqrt 2.0)))
0.3b
(* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0))))
0.4b
(* (* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0)))) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
0.5b
(* z (sqrt 2.0))

rewrite99.0ms

Algorithm
rewrite-expression-head
Rules
286×add-sqr-sqrt
188×unswap-sqr
176×sqrt-prod
99×associate-*r*
72×associate-*l*
38×*-un-lft-identity
37×add-exp-log
30×add-cube-cbrt
25×prod-exp
23×pow1
21×unpow-prod-down
20×add-cbrt-cube
19×sqr-pow
11×pow-prod-down
10×cbrt-unprod
8×*-commutative
6×associate-*l/
4×pow-exp distribute-lft-out-- add-log-exp difference-of-squares
3×rem-sqrt-square
2×pow-to-exp flip3-- sqrt-pow1 flip--
1×pow1/2
Counts
4 → 237
Calls
4 calls:
6.0ms
(sqrt (* z (sqrt 2.0)))
18.0ms
(* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0))))
57.0ms
(* (* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0)))) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
5.0ms
(* z (sqrt 2.0))

series613.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(sqrt (* z (sqrt 2.0)))
163.0ms
(* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0))))
325.0ms
(* (* (- (* x 0.5) y) (sqrt (* z (sqrt 2.0)))) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
47.0ms
(* z (sqrt 2.0))

simplify152.0ms

Algorithm
egg-herbie
Counts
249 → 249
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
08643681
142383511
250013511

prune518.0ms

Filtered
249 candidates to 130 candidates (47.8%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New2445249
Fresh707
Picked101
Done011
Total2526258

Merged error: 0b

Counts
258 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (* z (sqrt 2.0)))
0.2b
(* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
0.3b
(* (sqrt (* z (sqrt 2.0))) (* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0)))))
0.5b
(* z (sqrt 2.0))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
314×add-sqr-sqrt
208×unswap-sqr
179×sqrt-prod
144×associate-*r*
62×associate-*l*
39×*-un-lft-identity
37×add-exp-log
31×add-cube-cbrt
30×unpow-prod-down
26×sqr-pow
25×prod-exp
23×pow1
20×add-cbrt-cube
11×pow-prod-down
10×cbrt-unprod
8×*-commutative
4×associate-*l/ pow-exp distribute-lft-out-- add-log-exp difference-of-squares
3×rem-sqrt-square
2×pow-to-exp flip3-- sqrt-pow1 associate-*r/ flip--
1×pow1/2
Counts
4 → 254
Calls
4 calls:
5.0ms
(sqrt (* z (sqrt 2.0)))
35.0ms
(* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
59.0ms
(* (sqrt (* z (sqrt 2.0))) (* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0)))))
5.0ms
(* z (sqrt 2.0))

series730.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(sqrt (* z (sqrt 2.0)))
198.0ms
(* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0))))
409.0ms
(* (sqrt (* z (sqrt 2.0))) (* (- (* x 0.5) y) (* (sqrt (sqrt 2.0)) (pow (exp t) (/ t 2.0)))))
47.0ms
(* z (sqrt 2.0))

simplify155.0ms

Algorithm
egg-herbie
Counts
266 → 266
Iterations

Useful iterations: 2 (122.0ms)

IterNodesCost
08373962
143273798
250023791

prune518.0ms

Filtered
266 candidates to 136 candidates (48.9%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2651266
Fresh134
Picked011
Done011
Total2666272

Merged error: 0b

Counts
272 → 6

regimes338.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0199
1199

end0.0ms

sample2.4s

Algorithm
intervals
Results
766.0ms17900×body80valid
711.0ms17607×body80nan