Details

Time bar (total: 17.0s)

sample156.0ms

Algorithm
intervals
Results
59.0ms52×body2560valid
45.0ms77×body1280valid
16.0ms33×body640valid
5.0ms63×body80valid
5.0ms19×body320valid
3.0ms1×body5120valid
2.0ms11×body160valid

simplify97.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04414
110314
223414
345014
480014
5113614
6137614
7148214
8167614
9171214
10171214

prune5.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: 45.4b

Counts
2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (* (+ (* y 2.0) 1.0) z) t)
2.7b
(* (* (+ (* a 2.0) 1.0) b) t)
33.3b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
34.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
40×associate-*l*
26×add-sqr-sqrt
20×*-un-lft-identity
14×pow1 add-exp-log add-cbrt-cube
12×add-cube-cbrt associate-*r*
8×associate-*l/ unswap-sqr
6×pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u *-commutative log1p-expm1-u distribute-lft-out add-log-exp
2×flip3-+ flip-+
Counts
4 → 92
Calls
4 calls:
19.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
15.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
21.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
21.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series154.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
44.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
34.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
36.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify61.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0461602
12024520
25002514

prune589.0ms

Filtered
104 candidates to 84 candidates (80.8%)
Pruning

28 alts after pruning (28 fresh and 0 done)

PrunedKeptTotal
New7628104
Fresh000
Picked101
Done000
Total7728105

Merged error: 40.9b

Counts
105 → 28

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x (cos (/ 0 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
0.2b
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
2.7b
(* (* (+ (* a 2.0) 1.0) b) t)
34.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
115×associate-*l*
99×add-sqr-sqrt
77×*-un-lft-identity
72×times-frac
57×add-cube-cbrt
36×associate-*r*
24×associate-/l* unswap-sqr
23×add-exp-log add-cbrt-cube
14×pow1
12×*-commutative
10×distribute-lft-out
9×prod-exp cbrt-unprod
8×associate-*l/
6×pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv div-exp associate-/r*
2×flip3-+ flip-+ associate-/l/
1×frac-2neg clear-num div-inv
Counts
4 → 198
Calls
4 calls:
23.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
21.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
15.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
24.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series198.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
47.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
41.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
39.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify108.0ms

Algorithm
egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 2 (88.0ms)

IterNodesCost
07921800
138281607
250021585

prune984.0ms

Filtered
210 candidates to 163 candidates (77.6%)
Pruning

44 alts after pruning (44 fresh and 0 done)

PrunedKeptTotal
New18426210
Fresh91827
Picked101
Done000
Total19444238

Merged error: 39.2b

Counts
238 → 44

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune176.0ms

Pruning

44 alts after pruning (43 fresh and 1 done)

PrunedKeptTotal
New000
Fresh04343
Picked011
Done000
Total04444

Merged error: 39.2b

Counts
44 → 44

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
2.8b
(* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b)))
34.8b
(cos (* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b))))

rewrite449.0ms

Algorithm
rewrite-expression-head
Rules
1534×associate-/r*
1330×add-sqr-sqrt
924×frac-times
899×times-frac
893×*-un-lft-identity
892×add-cube-cbrt
888×cbrt-prod
277×associate-*l*
274×associate-*r*
200×swap-sqr
196×associate-/l*
184×unswap-sqr
96×add-cbrt-cube
65×clear-num
64×frac-2neg
50×cbrt-undiv
40×add-exp-log cbrt-unprod
39×div-inv
37×*-commutative
33×associate-*l/
28×associate-*r/
15×div-exp
12×prod-exp associate-/r/
6×pow1
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 un-div-inv
1×pow-prod-down
Counts
4 → 1273
Calls
4 calls:
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
132.0ms
(* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b)))
171.0ms
(cos (* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b))))

series238.0ms

Counts
4 → 8
Calls
4 calls:
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
145.0ms
(* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b)))
92.0ms
(cos (* (/ t (* (cbrt 16.0) (cbrt 16.0))) (/ (fma a 2.0 1.0) (/ (cbrt 16.0) b))))

simplify215.0ms

Algorithm
egg-herbie
Counts
1281 → 1281
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
0500120179

prune5.5s

Filtered
1281 candidates to 877 candidates (68.5%)
Pruning

49 alts after pruning (48 fresh and 1 done)

PrunedKeptTotal
New1265161281
Fresh103242
Picked101
Done011
Total1276491325

Merged error: 39.0b

Counts
1325 → 49

regimes3.2s

Accuracy

0% (4.8b remaining)

Error of 43.7b against oracle of 38.8b and baseline of 43.7b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0114
1123
2143
3143

end0.0ms

sample4.6s

Algorithm
intervals
Results
1.9s1748×body2560valid
1.4s2237×body1280valid
468.0ms1205×body640valid
177.0ms1964×body80valid
154.0ms551×body320valid
107.0ms43×body5120valid
47.0ms252×body160valid