GrowLibm Report

Herbie Dump

All Candidates

Top 500 Candidates

Candidate Counts

Candidate Costs

More info

Accelerators

Overall Summary

Start: 86.8% - Folder

End: 94.9% - Folder

Accelerators

Name Spec Uses
28-sqrtz0z0z1z1(sqrt (+ (* z0 z0) (* z1 z1)))10
481-sinz0z1z2(* (sin (* z0 z1)) z2)33
115-log1z0sinz1z0sinz11(log (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)))1
151-cosz0z1z2(cos (+ (/ z0 z1) z2))29
96-logtan54PI12z0(log (tan (- (* 5/4 PI) (* -1/2 z0))))8
152-cosz0z1(cos (* z0 z1))50
328-cosz0z01(- (cos (+ z0 z0)) 1)21
29-sqrtz0z0z1z1z2(sqrt (+ (* z0 z0) (* (* z1 z1) z2)))2
114-log1z0z01(log (/ (- 1 z0) (- z0 -1)))3
527-log1z0sinz1z0sinz11z2(* (log (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1))) z2)2
458-sqrt2z0(* (sqrt 2) z0)3

Grow Platform Iterations

Iteration Accuracy
iter089.2%
iter193.5%