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