General Physics Problem Solving With Cas Derive by Leon Magiera