GrowLibm Report

Herbie Dump

All Candidates

Top 500 Candidates

Candidate Counts

Candidate Costs

More info

Accelerators

Overall Summary

Start: 86.1% - Folder

End: 91.8% - Folder

Accelerators

Name Spec Uses
52-sqrtz0z1z1z2(sqrt (+ (* (* z0 z1) z1) z2))8
484-sinz0z1z2(* (sin (* z0 z1)) z2)59
407-z0log1z1sinz21z1sinz2(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))4
99-sinz0z1z2(sin (+ (/ z0 z1) z2))40
53-sqrtz0z1z1z2z2(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))8
173-cosz0z1(cos (* z0 z1))49
312-logtanPI412z0z1z2(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 z2))5

Grow Platform Iterations

Iteration Accuracy
iter092.4%
iter197.4%