Hi! I calculated a matrix whose first entry is a huge numerical value:
N=1/16(44(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + 2(11(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - (3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 40(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - 4(3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + (22(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + (11(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - (3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - 2(3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 4((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 8((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))(((sqrt(2)sqrt(sqrt(2) + 2) - sqrt(2) - 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) - 1)(8((5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - ((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 4sqrt(2) + 6)sqrt(-17sqrt(2) + 26) - 122sqrt(2) + 170)sqrt(-sqrt(2) + 2) - 11((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 10sqrt(2) + 14)sqrt(-17sqrt(2) + 26) - 890sqrt(2) + 1260)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 2(10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - ((85sqrt(2) - 122)sqrt(sqrt(2) + 2) - 3((3sqrt(2) - 4)sqrt(sqrt(2) + 2) - 6sqrt(2) + 8)sqrt(-17sqrt(2) + 26) - 170sqrt(2) + 244)sqrt(-sqrt(2) + 2) - 11((7sqrt(2) - 10)sqrt(sqrt(2) + 2) - 14sqrt(2) + 20)sqrt(-17sqrt(2) + 26) - 1260sqrt(2) + 1780)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5))(1/((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1) + ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)^2((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(sqrt(sqrt(2) + 2) - 2)^3))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132) + (44(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + 2(11(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - (3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 40(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - 4(3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + (22(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + (11(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - (3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - 2(3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 4((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 8((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)sqrt(sqrt(sqrt(2) + 2) + 2)/((2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(-1/4sqrt(sqrt(2) + 2) + 1/2)^(3/2)))sqrt(sqrt(sqrt(2) + 2) + 2)/sqrt(-1/4sqrt(sqrt(2) + 2) + 1/2) + 2(sqrt(sqrt(2) + 2)(sqrt(2) - 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(2) + sqrt(sqrt(2) + 2))(8(44(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 2(11(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - (3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 40(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - 4(3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + (22(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (11(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - (3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 2((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - 2(3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 4((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) - 8((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))(1/((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1) + ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)^2((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(sqrt(sqrt(2) + 2) - 2)^3))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132) + ((5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - ((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 4sqrt(2) + 6)sqrt(-17sqrt(2) + 26) - 122sqrt(2) + 170)sqrt(-sqrt(2) + 2) - 11((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 10sqrt(2) + 14)sqrt(-17sqrt(2) + 26) - 890sqrt(2) + 1260)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 2(10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - ((85sqrt(2) - 122)sqrt(sqrt(2) + 2) - 3((3sqrt(2) - 4)sqrt(sqrt(2) + 2) - 6sqrt(2) + 8)sqrt(-17sqrt(2) + 26) - 170sqrt(2) + 244)sqrt(-sqrt(2) + 2) - 11((7sqrt(2) - 10)sqrt(sqrt(2) + 2) - 14sqrt(2) + 20)sqrt(-17sqrt(2) + 26) - 1260sqrt(2) + 1780)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5))((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)sqrt(sqrt(sqrt(2) + 2) + 2)/((2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(-1/4sqrt(sqrt(2) + 2) + 1/2)^(3/2)))/(sqrt(sqrt(2) + 2) - 2))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132) - 1/16((5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - ((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 4sqrt(2) + 6)sqrt(-17sqrt(2) + 26) - 122sqrt(2) + 170)sqrt(-sqrt(2) + 2) - 11((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 10sqrt(2) + 14)sqrt(-17sqrt(2) + 26) - 890sqrt(2) + 1260)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 2(10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - ((85sqrt(2) - 122)sqrt(sqrt(2) + 2) - 3((3sqrt(2) - 4)sqrt(sqrt(2) + 2) - 6sqrt(2) + 8)sqrt(-17sqrt(2) + 26) - 170sqrt(2) + 244)sqrt(-sqrt(2) + 2) - 11((7sqrt(2) - 10)sqrt(sqrt(2) + 2) - 14sqrt(2) + 20)sqrt(-17sqrt(2) + 26) - 1260sqrt(2) + 1780)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5))(((sqrt(2)sqrt(sqrt(2) + 2) - sqrt(2) - 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) + 1)(8(44(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 2(11(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - (3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 40(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - 4(3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + (22(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (11(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - (3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 2((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - 2(3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) - 4((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) - 8((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))(1/((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1) + ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)^2((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(sqrt(sqrt(2) + 2) - 2)^3))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132) + ((5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - ((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 4sqrt(2) + 6)sqrt(-17sqrt(2) + 26) - 122sqrt(2) + 170)sqrt(-sqrt(2) + 2) - 11((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 10sqrt(2) + 14)sqrt(-17sqrt(2) + 26) - 890sqrt(2) + 1260)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 2(10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - ((85sqrt(2) - 122)sqrt(sqrt(2) + 2) - 3((3sqrt(2) - 4)sqrt(sqrt(2) + 2) - 6sqrt(2) + 8)sqrt(-17sqrt(2) + 26) - 170sqrt(2) + 244)sqrt(-sqrt(2) + 2) - 11((7sqrt(2) - 10)sqrt(sqrt(2) + 2) - 14sqrt(2) + 20)sqrt(-17sqrt(2) + 26) - 1260sqrt(2) + 1780)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5))((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)sqrt(sqrt(sqrt(2) + 2) + 2)/((2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(-1/4sqrt(sqrt(2) + 2) + 1/2)^(3/2)))sqrt(sqrt(sqrt(2) + 2) + 2)/sqrt(-1/4sqrt(sqrt(2) + 2) + 1/2) - 2(sqrt(sqrt(2) + 2)(sqrt(2) - 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(2) - sqrt(sqrt(2) + 2))(8((5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - ((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 4sqrt(2) + 6)sqrt(-17sqrt(2) + 26) - 122sqrt(2) + 170)sqrt(-sqrt(2) + 2) - 11((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 10sqrt(2) + 14)sqrt(-17sqrt(2) + 26) - 890sqrt(2) + 1260)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 2(10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - ((85sqrt(2) - 122)sqrt(sqrt(2) + 2) - 3((3sqrt(2) - 4)sqrt(sqrt(2) + 2) - 6sqrt(2) + 8)sqrt(-17sqrt(2) + 26) - 170sqrt(2) + 244)sqrt(-sqrt(2) + 2) - 11((7sqrt(2) - 10)sqrt(sqrt(2) + 2) - 14sqrt(2) + 20)sqrt(-17sqrt(2) + 26) - 1260sqrt(2) + 1780)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5))(1/((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1) + ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)^2((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(sqrt(sqrt(2) + 2) - 2)^3))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132) + (44(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + 2(11(7sqrt(2) - 10)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 10(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - (3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 40(63sqrt(2) - 89)sqrt(sqrt(2) + 2) - 4(3(3sqrt(2) - 4)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (85sqrt(2) - 122)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + (22(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) + (11(5sqrt(2) - 7)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - 5(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - (3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 2((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) - 2(3(2sqrt(2) - 3)sqrt(sqrt(2) + 2)sqrt(-17sqrt(2) + 26) - (61sqrt(2) - 85)sqrt(sqrt(2) + 2))sqrt(-sqrt(2) + 2) + 4((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 8((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(sqrt(sqrt(2) + 2) - 1))((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)sqrt(sqrt(sqrt(2) + 2) + 2)/((2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) - sqrt(sqrt(2) + 2) - ((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) + 3sqrt(2) - 5sqrt(sqrt(2) + 2) + 8)((sqrt(2) + sqrt(sqrt(2) + 2))sqrt(sqrt(sqrt(2) + 2) - 1) - 3sqrt(2) + 5sqrt(sqrt(2) + 2) - 8)(sqrt(sqrt(2) + 2) + 2)/(((sqrt(sqrt(2) + 2) + 1)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(sqrt(2) + 2) + 1)(sqrt(sqrt(2) + 2) - 2)^3) - 1)(-1/4sqrt(sqrt(2) + 2) + 1/2)^(3/2)))/(sqrt(sqrt(2) + 2) - 2))/(2((3(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 85sqrt(2) + 122)sqrt(-sqrt(2) + 2) - 11(7sqrt(2) - 10)sqrt(-17sqrt(2) + 26) + 630sqrt(2) - 890)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 2(4896sqrt(2) - 6923)sqrt(sqrt(2) + 2) + (20(79sqrt(2) - 112)sqrt(sqrt(2) + 2) - (7(27sqrt(2) - 38)sqrt(sqrt(2) + 2) - 342sqrt(2) + 484)sqrt(-17sqrt(2) + 26) - 2820sqrt(2) + 3992)sqrt(-sqrt(2) + 2) + (((3(2sqrt(2) - 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) - 11(5sqrt(2) - 7)sqrt(-17sqrt(2) + 26) + 445sqrt(2) - 630)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) - 10(89sqrt(2) - 126)sqrt(sqrt(2) + 2) + 2((61sqrt(2) - 85)sqrt(sqrt(2) + 2) - 3((2sqrt(2) - 3)sqrt(sqrt(2) + 2) - 2sqrt(2) + 3)sqrt(-17sqrt(2) + 26) - 61sqrt(2) + 85)sqrt(-sqrt(2) + 2) + 22((5sqrt(2) - 7)sqrt(sqrt(2) + 2) - 5sqrt(2) + 7)sqrt(-17sqrt(2) + 26) + 890sqrt(2) - 1260)sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) + 4((319sqrt(2) - 452)sqrt(sqrt(2) + 2) - 561sqrt(2) + 794)sqrt(-17sqrt(2) + 26) + 17064sqrt(2) - 24132)
I have to check if this value is equal to -(1-(abs(pim))^2)^2)
where M=-(4(6sqrt(2) + sqrt(-sqrt(2) + 2) + sqrt(-17sqrt(2) + 26) - 8)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5) - sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)(-24Isqrt(2) - 4Isqrt(-sqrt(2) + 2) - 4Isqrt(-17sqrt(2) + 26) + 32I) - ((sqrt(2)sqrt(-sqrt(2) + 2) + sqrt(2)sqrt(-17sqrt(2) + 26) - 8sqrt(2) + 12)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5) + (Isqrt(2)sqrt(-sqrt(2) + 2) + Isqrt(2)sqrt(-17sqrt(2) + 26) - 8Isqrt(2) + 12I)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) - ((24Isqrt(2) + 4Isqrt(-17sqrt(2) + 26) - 32I)sqrt(-sqrt(2) + 2) + 8I(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) - 228Isqrt(2) + 328I)sqrt(sqrt(sqrt(2) + 2) - 1))/(4(6sqrt(2) + sqrt(-sqrt(2) + 2) + sqrt(-17sqrt(2) + 26) - 8)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1) + sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)(-24Isqrt(2) - 4Isqrt(-sqrt(2) + 2) - 4Isqrt(-17sqrt(2) + 26) + 32I)sqrt(sqrt(sqrt(2) + 2) - 1) - 4(6sqrt(2) + sqrt(-17sqrt(2) + 26) - 8)sqrt(-sqrt(2) + 2) + ((Isqrt(2)sqrt(-sqrt(2) + 2) + Isqrt(2)sqrt(-17sqrt(2) + 26) - 8Isqrt(2) + 12I)sqrt(3sqrt(2) + sqrt(-sqrt(2) + 2) - 5)sqrt(sqrt(sqrt(2) + 2) - 1) - (sqrt(2)sqrt(-sqrt(2) + 2) + sqrt(2)sqrt(-17sqrt(2) + 26) - 8sqrt(2) + 12)sqrt(3sqrt(2) + sqrt(-17sqrt(2) + 26) - 3)sqrt(sqrt(sqrt(2) + 2) - 1))sqrt(-12sqrt(2) - 2sqrt(-sqrt(2) + 2) - 2sqrt(-17sqrt(2) + 26) + 24) - 8(3sqrt(2) - 4)sqrt(-17sqrt(2) + 26) + 228*sqrt(2) - 328)
so i run the following cell:
bool((N==-(1-(abs(M))^2)^2))
sadly it keeps loading during hours (at 6 hours I stopped the kernel), and i do not know if this last cell gives me true of false.
I want to know if there exists another way to verify equality between large symbolic expresions like before, within SAGE or with another software, please help!!!