sin(ax^2)+cos(ay^2)=1 Implicit test-case

– Michael Borcherds

Information: sin(ax^2)+cos(ay^2)=1 Implicit test-case