2 Sin[(2(prime(17))^(-1)(10^(prime(17)-1) -1))]° = x + root(x^2 +1)