FullSimplify

FullSimplify[expr] tries a wide range of transformations on expr involving elementary and special functions and returns the simplest form it finds. 

FullSimplify[expr,assum] does simplification using assumptions. 

Please visit the official Wolfram Language Reference for more details and examples on core symbols.