sqrt 3 * sqrt12