It uses a generate-and-test approach to find the shortest instruction sequence for a given function. This is very low level stuff. Some of the functions include eq, ne, les, ges, lts, gts, sgn, abs and so on. The output is in assembly language by default. .
