Revive the atan formula