Equivalent expressions for cos30°