integral (arctan(4x