I found Approach0 works poorly when searching with the Weierstrass p $\wp$. For example, when I tried to search with the famous identity $\wp'(z)=\wp(z)^3-4g_1\wp(z)-g_2$ I found nothing.