3 ms·

I also tried “6*a(1/sqrt(3))”. On my machine, it only took 1m36.243s instead of 1m58.411s. I wonder what determines the execution time.