[(* 2 $x)]
0.02user 0.00system 0:00.02elapsed 100%CPU (0avgtext+0avgdata 24276maxresident)k
0inputs+0outputs (0major+2732minor)pagefaults 0swaps