analytically irreducible