What is the derivative of tan45.tanx ?