Eu suspeito que seu shell interativo seja bash ou zsh, em que time
é uma palavra-chave.
E seu script é um script sh
(em que sh
não é baseado em bash
, ksh
nem zsh
) onde time
é /usr/bin/time
, o que seria apenas time
o echo
comando acima.
Basta fazer:
echo ... | "time" bc ...
como é realmente bc
você deseja obter o tempo de execução daqui.
As citações de time
garantem que ele não seja tratado como uma palavra-chave em shells que tenham uma palavra-chave time
.