(sqrt(12)-sqrt(3))*sqrt(3)