[{"name":"81-log1z0","spec":"(log (- 1 z0))"},{"name":"158-12fabsz012","spec":"(- 1/2 (fabs (- z0 1/2)))"},{"name":"309-z0508136250","spec":"(* z0 50813/6250)"},{"name":"106-cos190PIz0","spec":"(cos (* (* 1/90 (PI)) z0))"},{"name":"14-sqrtz1z1z0z0","spec":"(sqrt (+ (* z1 z1) (* z0 z0)))"},{"name":"73-pow1z11z112z0","spec":"(pow (* (- 1 z1) (- 1 z1)) (/ 1/2 z0))"},{"name":"13-sqrtz1z1z2z03","spec":"(sqrt (- (* z1 z1) (* z2 (* z0 3))))"},{"name":"270-sqrtz1z0z0z1z0","spec":"(+ (sqrt (* (+ z1 z0) (- z0 z1))) z0)"},{"name":"169-1cosz0z0","spec":"(- 1 (cos (+ z0 z0)))"},{"name":"12-sqrtz1z1z2z04","spec":"(sqrt (- (* z1 z1) (* z2 (* z0 4))))"}]