Formula Solver: More Documentation