https://www.masdayat.net/2022/10/lim-x4-1-tan-x-cos-2x.html
lim x→π/4 1 - tan x / cos 2x