\draw[fill,opacity=0.25] plot[domain={0}:{pi/2}, variable=\t, smooth]({myx(\t)},{myy(\t)});
の代わりに
\draw plot[domain={0}:{pi/2}, variable=\t, smooth]({myx(\t)},{myy(\t)}); \fill[opacity=0.25] plot[domain={0}:{pi/2}, variable=\t, smooth]({myx(\t)},{myy(\t)}) -- ({myx(pi/2)}, {0}) -- (O);
とすればよいでしょう。
ポイントは、「plot
は --
や to
などと同じくパス構築子の一種」であり、よって「プロットの曲線と直線を組み合わせた複雑なパスを作ることができる」ということです。