[{"name":"307-z0sin2z13z2","spec":"(* z0 (sin (+ (* 2 z1) (* 3 z2))))"},{"name":"317-z0powz1z22","spec":"(* z0 (pow (/ z1 z2) 2))"},{"name":"572-3z0sin2z1z2","spec":"(* (* 3 z0) (sin (+ (* 2 z1) z2)))"},{"name":"306-z0sin2z1z2","spec":"(* z0 (sin (+ (* 2 z1) z2)))"},{"name":"490-cosz0z1","spec":"(* (cos z0) z1)"}]