[{"name":"166-log1z0","spec":"(log (- 1 z0))"},{"name":"290-12fabsz012","spec":"(- 1/2 (fabs (- z0 1/2)))"},{"name":"181-cosz0z0","spec":"(cos (* z0 z0))"},{"name":"52-powz023","spec":"(pow z0 2/3)"},{"name":"150-pow1z01z0z1","spec":"(pow (* (- 1 z0) (- 1 z0)) z1)"},{"name":"12-sqrtz0z0z1z2","spec":"(sqrt (- (* z0 z0) (* z1 z2)))"},{"name":"41-sinz0z0","spec":"(sin (* z0 z0))"},{"name":"180-cosz0z1","spec":"(cos (* z0 z1))"},{"name":"184-cosz0z01180z1","spec":"(cos (* (+ z0 z0) (* 1/180 z1)))"},{"name":"40-sinz0z1","spec":"(sin (* z0 z1))"},{"name":"27-sinz0z1","spec":"(sin (/ z0 z1))"},{"name":"523-z0sinz1180PI","spec":"(* z0 (sin (* (/ z1 180) PI)))"},{"name":"113-powz0z0z1","spec":"(pow (* z0 z0) z1)"},{"name":"188-cosPI1180z0z0","spec":"(cos (* (* PI 1/180) (+ z0 z0)))"},{"name":"563-z0cosz1180PI","spec":"(* z0 (cos (* (/ z1 180) PI)))"},{"name":"326-sqrtz0z0z1z2z0","spec":"(- (sqrt (- (* z0 z0) (* z1 z2))) z0)"},{"name":"157-logtanPI412z0","spec":"(log (tan (+ (/ PI 4) (* 1/2 z0))))"}]