semianalytic