sqrt(6sqrt3 + sqrt(12))