Int log 1 tan x