Details

Time bar (total: 9.9s)

sample171.0ms

Algorithm
intervals
Results
76.0ms67×body2560valid
41.0ms72×body1280valid
14.0ms37×body640valid
5.0ms2×body5120valid
5.0ms19×body320valid
4.0ms54×body80valid
1.0ms5×body160valid

simplify96.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
04214
19914
222214
340214
467614
592814
6111614
7120614
8136814
9138014
10138014

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 47.9b

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

rewrite93.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×add-log-exp
2×flip3-+ associate-*l* *-commutative flip-+
Counts
4 → 54
Calls
4 calls:
39.0ms
(* (* (+ (* a 2.0) 1.0) b) t)
44.0ms
(* (* (+ (* y 2.0) 1.0) z) t)
4.0ms
(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))
4.0ms
(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))

series167.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0371438
11835354
25001354

prune348.0ms

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 43.5b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ (* a 2.0) 1.0) b)
0.2b
(* (* x (cos (/ 0 16.0))) (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))

rewrite93.0ms

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

series200.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0318605
11500470
25001442

prune340.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 41.9b

localize16.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (* x (cos (/ 0 16.0))) (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))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*r* associate-*l*
3×add-log-exp
2×associate-*l/ *-commutative
1×flip3-+ flip-+
Counts
3 → 45
Calls
3 calls:
19.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
35.0ms
(* (+ (* a 2.0) 1.0) (* b t))
7.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series162.0ms

Counts
3 → 9
Calls
3 calls:
78.0ms
(* (* x (cos (/ 0 16.0))) (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)))
43.0ms
(* (+ (* a 2.0) 1.0) (* b t))
41.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify105.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0278492
11233374
24722346
35001346

prune261.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 41.9b

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

rewrite48.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×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 → 71
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)
36.0ms
(* (+ (* a 2.0) 1.0) (* b t))
4.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series184.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(cbrt (pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3))
61.0ms
(pow (cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0)) 3)
44.0ms
(* (+ (* a 2.0) 1.0) (* b t))
38.0ms
(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify44.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0271703
11140639
25001629

prune249.0ms

Pruning

37 alts after pruning (37 fresh and 0 done)

Merged error: 41.9b

regimes2.2s

Accuracy

22.1% (4.2b remaining)

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

bsearch262.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
05219
15219

end0.0ms

sample4.6s

Algorithm
intervals
Results
2.0s1832×body2560valid
1.3s2225×body1280valid
464.0ms1213×body640valid
149.0ms1865×body80valid
142.0ms544×body320valid
114.0ms44×body5120valid
48.0ms277×body160valid