[{"name":"25-sqrtz0z0z1z1","spec":"(sqrt (+ (* z0 z0) (* z1 z1)))"},{"name":"333-z0logz1z1z2z2","spec":"(* z0 (log (+ (* z1 z1) (* z2 z2))))"},{"name":"450-sqrtfabsz0z1","spec":"(* (sqrt (fabs z0)) z1)"}]