awk '$0=6.2831853*($2-$1)'