Answer:
( sin(5) sin(10) + (Sqrt[3] - 1) / (4 Sqrt[2]) ) / (cos(10) sin(5) + 1/4 Sqrt[3/2] (Sqrt[3] - 1) ) = tan(25)
Explanation
(8 sin(5) sin(10) - Sqrt[2] + Sqrt[6]) / (8 cos(10) sin(5) + 3 Sqrt[2] - Sqrt[6] ) = tan(25)
(sin(5) sin(10) + Sqrt[ 2-Sqrt[3] ] / 4) / (cos(10) sin(5) + 1/4 Sqrt[3 (2 - Sqrt[3] ) ] ) = tan(25)
( sin(5) sin(10) + (Sqrt[3] - 1) / (4 Sqrt[2]) ) / (cos(10) sin(5) + 1/4 Sqrt[3/2] (Sqrt[3] - 1) ) = tan(25)