tan(π/12)+cos(π/12)=