tan(arctan(4)-arcsec((sqrt(5)))