Simplest Canonical Polyhedron with C4 Symmetry (2 of 5)

C0 = 0.0308187780001620030441686151736
C1 = 0.325860388228800701321103155061
C2 = 0.402540796919705823841610227694
C3 = 0.440854533227705161757050423590
C4 = 0.730369462550912960018630544841
C5 = 0.847678319434843440381588809243
C6 = 1.13285905470918373858302807009
C7 = 1.34525983859222754924976681308
C8 = 1.6186117032480731493269089235499

C0 = square-root of a root of the polynomial:  96721*(x^16) - 40109128*(x^15)
    + 4517911976*(x^14) - 216343403680*(x^13) + 4907014127316*(x^12)
    - 49367827272264*(x^11) + 242398042465576*(x^10) - 588376071300128*(x^9)
    + 471060187743454*(x^8) + 679308359371368*(x^7) - 887124704484040*(x^6)
    - 1287306520288864*(x^5) + 1185414761593604*(x^4) + 701905139727400*(x^3)
    + 174395271020536*(x^2) - 2658301163232*x + 2366919801
C1 = square-root of a root of the polynomial:  488601*(x^16) - 156142752*(x^15)
    + 1815104608*(x^14) - 3701387288*(x^13) - 6939932788*(x^12)
    - 26892964384*(x^11) + 110359520288*(x^10) + 185282509416*(x^9)
    - 790311949274*(x^8) - 1589471805536*(x^7) + 6150343371424*(x^6)
    - 4402579718280*(x^5) + 1077412286124*(x^4) - 105093191392*(x^3)
    + 8349052640*(x^2) - 522395080*x + 1054729
C2 = square-root of a root of the polynomial:  6999497569*(x^16)
    - 394972955904*(x^15) + 7662258308480*(x^14) - 75252619039784*(x^13)
    + 436232587595452*(x^12) - 1585408340570240*(x^11)
    + 3054258024593920*(x^10) + 762900966363352*(x^9) - 11797625051407514*(x^8)
    + 9220054649829504*(x^7) + 9644738740633216*(x^6) - 11222625622858552*(x^5)
    + 366417694003068*(x^4) + 1435015229633280*(x^3) - 53110012566528*(x^2)
    - 50477221619064*x + 4273319974401
C3 = square-root of a root of the polynomial:  6999497569*(x^16)
    + 6069153760*(x^15) - 54953890836*(x^14) + 1696460670408*(x^13)
    + 1080184789816*(x^12) - 3862194307344*(x^11) + 35045066950768*(x^10)
    + 210571960316832*(x^9) + 410269818923856*(x^8) + 364889640383424*(x^7)
    + 121291523692992*(x^6) - 37107700953984*(x^5) - 16204701888000*(x^4)
    + 46904396544*(x^3) + 392539696128*(x^2) + 32772667392*x + 589545216
C4 = square-root of a root of the polynomial:  96721*(x^16) + 20899300*(x^15)
    + 1130244104*(x^14) + 18517498392*(x^13) + 124832708400*(x^12)
    + 265973594336*(x^11) - 206323332848*(x^10) - 471054448128*(x^9)
    + 147120960240*(x^8) + 259972101504*(x^7) - 14167617984*(x^6)
    - 83661424128*(x^5) - 17319547008*(x^4) + 25384036608*(x^3)
    + 1247954688*(x^2) - 3597737472*x + 589545216
C5 = square-root of a root of the polynomial:  6999497569*(x^16)
    + 315418307760*(x^15) + 4667567741356*(x^14) + 25939467967560*(x^13)
    - 95382164103048*(x^12) - 1636892136175088*(x^11) - 9654580301032784*(x^10)
    + 81469866774153504*(x^9) + 162717391459682640*(x^8)
    - 1561838749256908224*(x^7) + 2429878312336146624*(x^6)
    - 250881640165858176*(x^5) - 537987174851086848*(x^4)
    - 20396561468947200*(x^3) + 6641543580069888*(x^2) + 418141384095744*x
    + 3868006162176
C6 = square-root of a root of the polynomial:  488601*(x^16) - 222822336*(x^15)
    - 2845975232*(x^14) - 1747991680*(x^13) + 29582706944*(x^12)
    - 88606552064*(x^11) - 24219782144*(x^10) + 340614320128*(x^9)
    - 459840327680*(x^8) - 827465072640*(x^7) + 167311638528*(x^6)
    + 795004895232*(x^5) + 1773676265472*(x^4) + 230003048448*(x^3)
    - 1749993652224*(x^2) - 207920037888*x + 476993028096
C7 = square-root of a root of the polynomial:  825585289*(x^16)
    - 6477875944*(x^15) + 28814720744*(x^14) - 90674026816*(x^13)
    + 197147649684*(x^12) - 295170099240*(x^11) + 320321746216*(x^10)
    - 271359198848*(x^9) + 186888743182*(x^8) - 100771449336*(x^7)
    + 38612442488*(x^6) - 9204552640*(x^5) + 1079102084*(x^4) - 25739000*(x^3)
    + 236152*(x^2) - 5760*x + 81
C8 = square-root of a root of the polynomial:  21687649*(x^16)
    - 469831080*(x^15) + 3111976440*(x^14) - 11112023088*(x^13)
    + 26064269780*(x^12) - 42821716392*(x^11) + 51023711416*(x^10)
    - 44665706672*(x^9) + 28294997182*(x^8) - 12490234296*(x^7)
    + 3639797032*(x^6) - 652518032*(x^5) + 66511108*(x^4) - 3754744*(x^3)
    + 113704*(x^2) - 1680*x + 9

V0  = (0.0, 0.0,  C7)
V1  = (0.0, 0.0, -C8)
V2  = ( C6, 0.0,  C1)
V3  = (-C6, 0.0,  C1)
V4  = (0.0,  C6,  C1)
V5  = (0.0, -C6,  C1)
V6  = ( C5,  C3, -C2)
V7  = (-C5, -C3, -C2)
V8  = ( C3, -C5, -C2)
V9  = (-C3,  C5, -C2)
V10 = ( C4,  C4,  C0)
V11 = ( C4, -C4,  C0)
V12 = (-C4,  C4,  C0)
V13 = (-C4, -C4,  C0)

Faces:
{  1,  6,  2, 11,  8 }
{  1,  8,  5, 13,  7 }
{  1,  7,  3, 12,  9 }
{  1,  9,  4, 10,  6 }
{  0,  2, 10,  4 }
{  0,  4, 12,  3 }
{  0,  3, 13,  5 }
{  0,  5, 11,  2 }
{  2,  6, 10 }
{  3,  7, 13 }
{  4,  9, 12 }
{  5,  8, 11 }
