GrowLibm Report

Herbie Dump

All Candidates

Top 500 Candidates

Candidate Counts

Candidate Costs

More info

Accelerators

Overall Summary

Start: 86.5% - Folder

End: 95.9% - Folder

Accelerators

Name Spec Uses
65-sqrtz0z1z1z2z2(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))11
692-z01cosz1z1(* z0 (- 1 (cos (+ z1 z1))))20
301-cosz0z1(cos (* z0 z1))45
140-sinz0z1(sin (* z0 z1))34
294-cosz0z1z2(cos (+ (/ z0 z1) z2))34
220-logfabs1z0(log (fabs (- -1 z0)))12
56-sqrtz0z01(sqrt (- (* z0 z0) 1))4
186-pow1z0sinz11z0sinz112z0(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))2
204-logtan54PI12z0(log (tan (- (* 5/4 PI) (* -1/2 z0))))9

Grow Platform Iterations

Iteration Accuracy
iter093.3%
iter196.0%