[{"name":"263-sqrtz0z0z1z1z1","spec":"(+ (sqrt (+ (* z0 z0) (* z1 z1))) z1)"},{"name":"61-powz0z0z1z1z2","spec":"(pow (+ (* z0 z0) (* z1 z1)) z2)"},{"name":"331-z0logz1z1z2z2","spec":"(* z0 (log (+ (* z1 z1) (* z2 z2))))"},{"name":"87-cosatan2z0z1z2","spec":"(cos (* (atan2 z0 z1) z2))"},{"name":"53-sinatan2z0z1z2","spec":"(sin (* (atan2 z0 z1) z2))"},{"name":"54-sin12z0logz1z1z2z2","spec":"(sin (* (* 1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))"},{"name":"90-cos12z0logz1z1z2z2","spec":"(cos (* (* -1/2 z0) (log (+ (* z1 z1) (* z2 z2)))))"}]