Rex_OwO@tg says to YSITD
sin15=(1-cos15)^(1/2)