Details

Time bar (total: 13.2s)

sample164.0ms

Algorithm
intervals
Results
61.0ms56×body2560valid
46.0ms78×body1280valid
23.0ms46×body640valid
5.0ms56×body80valid
4.0ms13×body320valid
1.0ms7×body160valid

simplify135.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

prune4.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: 47.3b

Counts
2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

2.0b
(* (* (+ (* a 2.0) 1.0) b) t)
3.1b
(* (* (+ (* y 2.0) 1.0) z) t)
34.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
37.0b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite77.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:
15.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
15.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
20.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
24.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series157.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
45.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
34.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
38.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify61.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 2 (52.0ms)

IterNodesCost
0453602
11983520
25003514

prune676.0ms

Filtered
104 candidates to 84 candidates (80.8%)
Pruning

29 alts after pruning (29 fresh and 0 done)

PrunedKeptTotal
New7529104
Fresh000
Picked101
Done000
Total7629105

Merged error: 41.7b

Counts
105 → 29

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.0b
(* (* (+ (* a 2.0) 1.0) b) t)
34.6b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite96.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)
16.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
24.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series201.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
49.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
41.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
35.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify111.0ms

Algorithm
egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 2 (91.0ms)

IterNodesCost
07871800
138051607
250021585

prune901.0ms

Filtered
210 candidates to 163 candidates (77.6%)
Pruning

42 alts after pruning (42 fresh and 0 done)

PrunedKeptTotal
New18723210
Fresh91928
Picked101
Done000
Total19742239

Merged error: 40.2b

Counts
239 → 42

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 (1.0ms)

IterNodesCost
000

prune163.0ms

Pruning

42 alts after pruning (41 fresh and 1 done)

PrunedKeptTotal
New000
Fresh04141
Picked011
Done000
Total04242

Merged error: 40.2b

Counts
42 → 42

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x (cos (/ 0 16.0))) (cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
0.2b
(/ (/ (sqrt 16.0) t) b)
2.3b
(/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b))
34.6b
(cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
846×times-frac
429×add-sqr-sqrt
422×add-cube-cbrt *-un-lft-identity
159×sqrt-prod
82×associate-/r*
59×associate-/l*
40×associate-/r/
24×associate-/l/
23×add-exp-log add-cbrt-cube div-inv
15×associate-*l*
9×pow1 cbrt-undiv div-exp
6×associate-*r*
5×frac-2neg clear-num
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down prod-exp cbrt-unprod
2×*-commutative
Counts
4 → 502
Calls
4 calls:
65.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
12.0ms
(/ (/ (sqrt 16.0) t) b)
25.0ms
(/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b))
121.0ms
(cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

series720.0ms

Counts
4 → 12
Calls
4 calls:
268.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
51.0ms
(/ (/ (sqrt 16.0) t) b)
170.0ms
(/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b))
231.0ms
(cos (/ (/ (fma a 2.0 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

simplify110.0ms

Algorithm
egg-herbie
Counts
514 → 514
Iterations

Useful iterations: 1 (50.0ms)

IterNodesCost
017085979
150015621

prune1.6s

Filtered
514 candidates to 357 candidates (69.5%)
Pruning

45 alts after pruning (44 fresh and 1 done)

PrunedKeptTotal
New50113514
Fresh93140
Picked101
Done011
Total51145556

Merged error: 40.1b

Counts
556 → 45

regimes3.0s

Accuracy

0% (5.1b remaining)

Error of 44.8b against oracle of 39.7b and baseline of 44.8b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
0114
1123
2143
3143

end0.0ms

sample4.7s

Algorithm
intervals
Results
2.0s1813×body2560valid
1.4s2301×body1280valid
486.0ms1242×body640valid
169.0ms1837×body80valid
140.0ms513×body320valid
111.0ms45×body5120valid
53.0ms249×body160valid