{ x3 = 1 - t^10/(34^10 + t^10) }