adopt java 8 lambda expressions; fix symbolic math test case