derivative sqrt x - arctan sqrt x