Details

Time bar (total: 10.7s)

sample180.0ms

Algorithm
intervals
Results
74.0ms67×body2560valid
43.0ms72×body1280valid
14.0ms37×body640valid
10.0ms19×body320valid
5.0ms2×body5120valid
5.0ms54×body80valid
1.0ms5×body160valid

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

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.9b

localize26.0ms

Local error

Found 4 expressions with local error:

2.4b
(* (* (+ (* a 2.0) 1.0) b) t)
3.4b
(* (* (+ (* y 2.0) 1.0) z) t)
37.2b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
37.3b
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

rewrite100.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:
44.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
45.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
4.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
5.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series178.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
48.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
42.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
43.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

simplify61.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0387460
11897378
25001372

prune441.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 43.4b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* a 2.0) 1.0) b)
0.2b
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
2.4b
(* (* (+ (* a 2.0) 1.0) b) t)
37.2b
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
18×add-exp-log
16×pow1 add-cbrt-cube
10×add-sqr-sqrt
9×associate-*r* prod-exp
8×add-cube-cbrt *-un-lft-identity
7×pow-prod-down cbrt-unprod
6×associate-*l/
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×*-commutative
2×flip3-+ flip-+
1×1-exp unswap-sqr
Counts
4 → 74
Calls
4 calls:
26.0ms
(* (+ (* a 2.0) 1.0) b)
20.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
43.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
5.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series217.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (+ (* a 2.0) 1.0) b)
83.0ms
(* (* x 1) (cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0)))
49.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
43.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify53.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 2 (45.0ms)

IterNodesCost
0332575
11299472
25002465

prune415.0ms

Pruning

35 alts after pruning (35 fresh and 0 done)

Merged error: 41.8b

localize17.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
1.7b
(* (+ (* a 2.0) 1.0) (* b t))
37.2b
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
15×add-exp-log
13×pow1 add-cbrt-cube
8×prod-exp
6×pow-prod-down cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* associate-*l*
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×associate-*l/ *-commutative
1×flip3-+ 1-exp flip-+
Counts
3 → 52
Calls
3 calls:
22.0ms
(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
36.0ms
(* (+ (* a 2.0) 1.0) (* b t))
4.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series170.0ms

Counts
3 → 9
Calls
3 calls:
81.0ms
(* (* x 1) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
45.0ms
(* (+ (* a 2.0) 1.0) (* b t))
43.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify121.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0289468
11111383
24167379
35001379

prune309.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 41.8b

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3))
0.5b
(pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3)
1.7b
(* (+ (* a 2.0) 1.0) (* b t))
37.2b
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
11×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×pow1 add-exp-log add-cbrt-cube
6×unpow-prod-down cube-prod
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow associate-*l* pow-prod-down prod-exp cbrt-unprod
2×cube-mult unpow3 associate-*l/ sqr-pow
1×pow-to-exp pow-pow flip3-+ pow1/3 associate-*r* pow-exp *-commutative rem-cbrt-cube flip-+ rem-cube-cbrt
Counts
4 → 79
Calls
4 calls:
2.0ms
(cbrt (pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3))
3.0ms
(pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3)
38.0ms
(* (+ (* a 2.0) 1.0) (* b t))
4.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series204.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(cbrt (pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3))
71.0ms
(pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3)
48.0ms
(* (+ (* a 2.0) 1.0) (* b t))
42.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify51.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0283745
11173682
25001672

prune289.0ms

Pruning

38 alts after pruning (38 fresh and 0 done)

Merged error: 41.8b

regimes2.4s

Accuracy

21.7% (4.2b remaining)

Error of 44.3b against oracle of 40.1b and baseline of 45.5b

bsearch283.0ms

Steps
ItersRangePoint
9
7.97910084581087e-211
1.5294122773599795e-204
2.298617900197692e-208
9
-2.08252338405172e-64
-5.205591404552929e-70
-2.060669677199602e-68

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04916
15316
25316

end0.0ms

sample4.8s

Algorithm
intervals
Results
2.0s1832×body2560valid
1.3s2225×body1280valid
460.0ms1213×body640valid
168.0ms1865×body80valid
148.0ms544×body320valid
112.0ms44×body5120valid
48.0ms277×body160valid