cos (arctan 1 + arccos x) = cos (A + B)

Since arctan 1 = A, then tan A = 1, and A = p/4.
                                               __                                           __
               cos A = cos p/4 = \/2  /2   and   sin A = sin p/4 = \/2  /2

Since arccos x = B, then cos B = x, and X = x while R = 1.                 _____
                 X2 + Y2 = R2  so  x2 + Y2 = 1   and Y2 = 1 - x2  so  Y = \/1 - x2
                                                                      _____
                          cos B = x   and    sin  B = \/1 - x2     

Now cos (A + B) = cos A cos B - sin A sin B
Subsituting in values,    __                __         ____
                           =  (\/2  /2 )(x) - (\/2  /2 )(\/1 - x2)
                                    __            _______
                           =  x\/2     -      \/2(1 - x2)
                                          2