Diff(arctan,x)