y'=2^tan(x/2)*ln2*[tan(x/2)]'
=2^tan(x/2)*ln2*sec²(x/2)*(x/2)'
=1/2*2^tan(x/2)*ln2*sec²(x/2)