pitaya @pitayascastle.bsky.social · 23/09/2026new trigonometric identity i just came up with You guys can name it if you want 010
