Li-Fan Chen says to YSITD
b = sin(a)^2 + cos(a)^2