This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A197513 #10 Feb 16 2025 05:30:41
%S A197513 2,4,0,5,2,3,3,7,0,3,8,7,7,0,3,6,5,3,6,0,3,8,1,1,2,8,0,2,5,2,2,8,2,7,
%T A197513 2,4,6,0,2,6,4,4,9,5,6,3,9,6,4,4,8,2,0,1,5,0,2,8,6,6,8,2,4,5,4,3,2,2,
%U A197513 4,5,9,6,2,3,0,7,1,7,7,3,8,0,7,2,7,9,9,8,0,9,0,1,1,6,1,1,3,8,6
%N A197513 Decimal expansion of least x > 0 having cos(2*x) = cos(Pi*x/4)^2.
%C A197513 The Mathematica program includes a graph. See A197476 for a guide for the least x > 0 satisfying cos(b*x) = cos(c*x)^2 for selected b and c.
%C A197513 This number is irrational. I cannot prove it to be algebraic or transcendental. - _Charles R Greathouse IV_, Feb 16 2025
%e A197513 2.4052337038770365360381128025228272460264...
%t A197513 b = 2; c = Pi/4; f[x_] := Cos[x]
%t A197513 t = x /. FindRoot[f[b*x] == f[c*x]^2, {x, 2.4, 2.41}, WorkingPrecision -> 110]
%t A197513 RealDigits[t] (* A197513 *)
%t A197513 Plot[{f[b*x], f[c*x]^2}, {x, 0, 3}]
%Y A197513 Cf. A197476.
%K A197513 nonn,cons
%O A197513 1,1
%A A197513 _Clark Kimberling_, Oct 16 2011