Tính đạo hàm

a. Tính đạo hàm của các hàm số: y = cosx . e^(2tanx) và y = log2(sin⁡x) 
 
b) Chứng minh rằng hàm số y = e^(4x) + 2 . e - x thõa mãn hệ thức.
 
y''' - 13y' - 12y = 0