sin(α+β) in cos(β-α)