0.5*⍨1⊥2*⍨-
{*∘.5+⌿*∘2⊢⍺-⍵}
+/⍢(×⍨)-
×⍨
*∘2
*∘2⊢
+.×⍨⍤-*.5⍨
%+/*/1{x}\-
{x}
1{x}
\
⍣
%+/{x*x}-
{x*x}
%+/{x*x}@-
1{x}\
2#
2#,
⍢
{⍺←{⍵ ⋄ ⍺⍺} ⋄ ⍵⍵⍣¯1⊢(⍵⍵ ⍺)⍺⍺(⍵⍵ ⍵)}
⍺←{⍵ ⋄ ⍺⍺}