ddx sin-1x+sec-1x