O simples
awk '{print $1 * $3}' input.txt
O comando fará o trabalho. Extrair os números do campo não é necessário neste caso.
É causado o mecanismo de conversão numérica de awk
- Como o awk se converte entre strings e números , a saber:
A string is converted to a number by interpreting any numeric prefix of the string as numerals: "2.5" converts to 2.5, "1e3" converts to 1,000, and "25fix" has a numeric value of 25. Strings that can’t be interpreted as valid numbers convert to zero.
Resultado
45
30
69