How do you simplify cos(tan1(b3))?