How do you use the half angle formula to simplify cos2(π3)?