Example=: verb def '(*: y), (%: y)'
   Example 3
9 1.73205