tan(x) symbolic derivatives