x^(-sqrt(2))