arctg derivative