add docstring to trigsimp about compare, fu and futrig