-42744511676domain: ZAppears in sequencesa(n) = 5^n*sin(2n*arctan(1/2)) or numerator of tan(2n*arctan(1/2)).at n=16A066770Real part of (4 + 3i)^n.at n=17A139030