tan15°=tan(45°-30°)