[(* 2 $x)]
0.13user 0.00system 0:00.13elapsed 99%CPU (0avgtext+0avgdata 35728maxresident)k
0inputs+0outputs (0major+3903minor)pagefaults 0swaps