TQSCAS: Targeted Quasi-Symbolic Computer Algebra System supported in part by NSF grant #1510741 and DARPA award FA8750-14-2-0010