GrowLibm Report

Herbie Dump

Candidates

Candidate Counts

Grow Platform

Overall Summary

Start: 84.4% - Folder

End: 89.8% - Folder

Accelerators

Name Spec Uses
16-powz11z11z0(pow (* (- z1 1) (- z1 1)) z0)156
28-pow1z2z012z1(pow (* (- 1 z2) z0) (/ 1/2 z1))255
40-z1z2z0z2(/ z1 (* (* z2 z0) z2))105
27-pow1z2z0z1(pow (* (- 1 z2) z0) z1)66
241-z0z1z2(* (* z0 z1) z2)16
217-1z2z2z23z1z2z0z2(* (- (+ (+ (/ 1 z2) z2) z2) 3) (/ z1 (* (* z2 z0) z2)))0
137-powz21z2112z11z0(* (pow (* (- z2 1) (- z2 1)) (- (/ 1/2 z1) 1)) z0)137
216-1z2z2z23z1z2z0(* (- (+ (+ (/ 1 z2) z2) z2) 3) (/ z1 (* z2 z0)))0
331-z1z1z2z0(* (* (* z1 z1) z2) z0)105
239-z1z1z2z2z0(* (* z1 (/ z1 (* z2 z2))) z0)21

Grow Platform Iterations

Iteration Accuracy
iter096.6%
iter198.2%
iter298.2%
iter398.2%
iter498.2%
iter598.3%
iter698.3%
iter798.4%
iter898.4%
iter998.4%