formation analysis