GrowLibm Report

Herbie Dump

All Candidates

Top 500 Candidates

Candidate Counts

Candidate Costs

More info

Accelerators

Overall Summary

Start: 87.3% - Folder

End: 94.3% - Folder

Accelerators

Name Spec Uses
241-z0sqrtz1z1z2z2(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))9
595-z0logtan14PIz1z1(* z0 (log (tan (* 1/4 (+ PI (+ z1 z1))))))1
158-logtanz0z0PI14(log (tan (* (+ (+ z0 z0) PI) 1/4)))2
594-z0logtan14PIz1z1(* z0 (log (tan (* 1/4 (- (- PI z1) z1)))))1
60-sqrtz0z0z1z1(sqrt (+ (* z0 z0) (* z1 z1)))1
84-sinz1z0(sin (* z1 z0))40
176-logsinz1z011sinz1z0(log (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))))5
618-PIz0(* PI z0)8
579-z0PI(* z0 PI)45
685-sinz2z1z0(* (sin (* z2 z1)) z0)104
232-z2sqrtz1z1z0z2z2(/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2)))))1
144-logtan94PI12z0(log (tan (- (* 9/4 PI) (* -1/2 z0))))4

Grow Platform Iterations

Iteration Accuracy
iter089.9%
iter189.1%