Subtract from .

Split into two angles where the values of the six trigonometric functions are known.

Separate negation.

Apply the difference of angles identity.

The exact value of is .

The exact value of is .

The exact value of is .

The exact value of is .

Simplify .

Simplify each term.

Multiply .

Multiply and .

Combine using the product rule for radicals.

Multiply by .

Multiply by .

Multiply .

Multiply and .

Multiply by .

Combine the numerators over the common denominator.

The result can be shown in multiple forms.

Exact Form:

Decimal Form:

Find the Exact Value sin(45-30)