Skip to content

Instantly share code, notes, and snippets.

@asmeurer

asmeurer/cospi257

Created January 20, 2023 23:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save asmeurer/4c40e1b778b307483bc09b7b97da3f27 to your computer and use it in GitHub Desktop.
Save asmeurer/4c40e1b778b307483bc09b7b97da3f27 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
cospi257
>>> from sympy.functions.elementary.trigonometric import _cospi257
>>> expr = _cospi257()
>>> expr
sqrt(sqrt(2)*sqrt(-sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + 1 + (-1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2)/4 + sqrt(257)/64 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/32 + sqrt(-2*sqrt(-sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 + 1/4 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/8 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/16 - sqrt(257)/32 + 1/32 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/4 + sqrt(-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 1 + 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + (-sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 - 1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2 + 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) + 2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)))/2)**2 + sqrt(257)/4 + 2*sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) - sqrt((-1/2 + sqrt(257)/2)**2 + 64) - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-2*sqrt(257) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 4 + 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2 - 1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4)**2 + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 2*sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + (-sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2))/2 - sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8 - sqrt(257)/16 - 1/16 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/4)**2) + sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) + 2*sqrt(-2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) + 4 + 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + (-sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 2*sqrt(-4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(257) + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 - 1/8)**2) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) + (-sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))/2 - sqrt(257)/16 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/4 - 1/16 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8)**2)) - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 - sqrt(257)/16 + 1/16 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 + sqrt(-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 1 + 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + (-sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 - 1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2 + 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) + 2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))) + (-sqrt(-sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 + 1/4 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(257)/4 + 2*sqrt(-2*sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - sqrt((-1/2 + sqrt(257)/2)**2 + 64) - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 2*sqrt(-2*sqrt(257) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 4 + 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2 - 1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4)**2 + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8 - sqrt(257)/16 - 1/16 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/4 + sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2))/2)**2 + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) + 2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))) + 2*sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - 2*sqrt(-4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(257) + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 - 1/8)**2) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) + 4 + 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + (-sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt(257)/16 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/4 - 1/16 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8 + sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))/2)**2) + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/8 - sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/4 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/16 - sqrt(257)/32 + 1/32 + sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + 1 + (-1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2)/2)**2)/2 - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/16 - sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/8 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/32 - sqrt(257)/64 + 1/64 + sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + 1 + (-1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2)/4)**2) + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/8 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/16 + sqrt(-sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 + 1/4 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(257)/4 + 2*sqrt(-2*sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - sqrt((-1/2 + sqrt(257)/2)**2 + 64) - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 2*sqrt(-2*sqrt(257) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 4 + 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2 - 1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4)**2 + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8 - sqrt(257)/16 - 1/16 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/4 + sqrt(-2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2)**2 + 2*sqrt(257) + 4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2))/2)**2 + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) + 2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))) + 2*sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) - 2*sqrt(-4*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(257) + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4 - sqrt(257)/8 - sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2)/2 - 1/8)**2) + 1 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) + 4 + 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + (-sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt(257)/16 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/4 - 1/16 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/8 + sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257))/2)**2) + (-sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/8 - sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/4 - sqrt((-1/2 + sqrt(257)/2)**2 + 64)/16 - sqrt(257)/32 + 1/32 + sqrt(-2*sqrt((-sqrt(257)/8 - sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 - 1/8 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) + 2*sqrt(257)) - sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2) - sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) - 2*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + (-sqrt(257)/8 - 1/8 + sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2))/2 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/4)**2 + 4 + 2*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 2*sqrt(257)) - sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 2*sqrt(-2*sqrt(257) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) - 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 16 + (-sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2 - sqrt(257)/4 - 1/4)**2) + 4 + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 - 1/8 + sqrt(257)/8 + sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257))/2)**2 + 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) + 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)) + 1 + (-1/16 + sqrt(257)/16 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/8 + sqrt(-2*sqrt(257) - 2*sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2) - 2*sqrt(64 + (-sqrt(257)/2 - 1/2)**2) - 2*sqrt(-4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + (-sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2 - 1/4 + sqrt(257)/4)**2 + 16 + 4*sqrt(257)) - 4*sqrt(-4*sqrt(257) + (-sqrt(257)/4 - 1/4 + sqrt(64 + (-sqrt(257)/2 - 1/2)**2)/2)**2 + 16 + 4*sqrt(64 + (-sqrt(257)/2 - 1/2)**2)) + 4 + (-1/8 + sqrt(257)/8 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/4 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/2)**2)/2 + sqrt(16 + 4*sqrt((-1/2 + sqrt(257)/2)**2 + 64) + 4*sqrt(257) + (-1/4 + sqrt(257)/4 + sqrt((-1/2 + sqrt(257)/2)**2 + 64)/2)**2)/4)**2)/2)**2)/2 + 255/64)/8 + 1/2)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment