derivative logtan(x/2)