Android Symbolic-differentiation Resources