Πεψενθε 

`and`(c = sqrt(`+`(`+`(3, 1), `-`(`*`(`+`(`*`(2, `*`(sqrt(3)))), `+`(`*`(`/`(1, 2), `*`(sqrt(3)))))))), `and`(sqrt(`+`(`+`(3, 1), `-`(`*`(`+`(`*`(2, `*`(sqrt(3)))), `+`(`*`(`/`(1, 2), `*`(sqrt(3))))))...