Details

Time bar (total: 11.8s)

sample163.0ms

Algorithm
intervals
Results
66.0ms52×body2560valid
47.0ms77×body1280valid
13.0ms33×body640valid
6.0ms19×body320valid
6.0ms63×body80valid
3.0ms1×body5120valid
2.0ms11×body160valid

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

Counts
2 → 1

localize28.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))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
8×associate-*l/
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*r* pow-prod-down prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 62
Calls
4 calls:
9.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
9.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
3.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)
45.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
34.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify55.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0387460
11897378
25001372

prune433.0ms

Filtered
74 candidates to 60 candidates (81.1%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New512374
Fresh000
Picked101
Done000
Total522375

Merged error: 41.1b

Counts
75 → 23

localize13.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 1) (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))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
25×add-exp-log
23×add-cbrt-cube
14×pow1
11×prod-exp
9×cbrt-unprod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity associate-*l/
6×associate-*r* pow-prod-down
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-undiv times-frac div-exp associate-/r*
2×flip3-+ associate-*l* *-commutative flip-+ associate-/l/
1×frac-2neg 1-exp clear-num div-inv associate-/l*
Counts
4 → 79
Calls
4 calls:
5.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
10.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
9.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
3.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series201.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
44.0ms
(/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)
46.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
36.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify56.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 2 (49.0ms)

IterNodesCost
0430667
12035539
25001534

prune414.0ms

Filtered
91 candidates to 69 candidates (75.8%)
Pruning

38 alts after pruning (38 fresh and 0 done)

PrunedKeptTotal
New702191
Fresh51722
Picked101
Done000
Total7638114

Merged error: 39.5b

Counts
114 → 38

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

prune146.0ms

Pruning

38 alts after pruning (37 fresh and 1 done)

PrunedKeptTotal
New000
Fresh03737
Picked011
Done000
Total03838

Merged error: 39.5b

Counts
38 → 38

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 1) (cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
0.2b
(/ (/ (sqrt 16.0) t) b)
4.1b
(/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b))
34.7b
(cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

rewrite150.0ms

Algorithm
rewrite-expression-head
Rules
828×times-frac
399×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
144×sqrt-prod
73×associate-/r*
25×add-exp-log associate-/l*
23×add-cbrt-cube
22×div-inv
9×pow1 cbrt-undiv div-exp
5×prod-exp
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* pow-prod-down cbrt-unprod
2×frac-2neg clear-num
1×1-exp associate-*l* associate-/r/ *-commutative associate-/l/
Counts
4 → 440
Calls
4 calls:
5.0ms
(* (* x 1) (cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
8.0ms
(/ (/ (sqrt 16.0) t) b)
18.0ms
(/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b))
80.0ms
(cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

series833.0ms

Counts
4 → 12
Calls
4 calls:
241.0ms
(* (* x 1) (cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0))))
45.0ms
(/ (/ (sqrt 16.0) t) b)
162.0ms
(/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b))
385.0ms
(cos (/ (/ (fma 2.0 a 1.0) (/ (/ (sqrt 16.0) t) b)) (sqrt 16.0)))

simplify85.0ms

Algorithm
egg-herbie
Counts
452 → 452
Iterations

Useful iterations: 1 (31.0ms)

IterNodesCost
016145478
150025206

prune1.7s

Filtered
452 candidates to 312 candidates (69.0%)
Pruning

47 alts after pruning (46 fresh and 1 done)

PrunedKeptTotal
New42923452
Fresh132336
Picked101
Done011
Total44347490

Merged error: 39.2b

Counts
490 → 47

regimes2.7s

Accuracy

0% (4.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
090
190

end0.0ms

sample4.5s

Algorithm
intervals
Results
1.9s1748×body2560valid
1.3s2237×body1280valid
469.0ms1205×body640valid
175.0ms1964×body80valid
153.0ms551×body320valid
109.0ms43×body5120valid
50.0ms252×body160valid