Πεψενθε 

`and`(`*`(cos, `*`(alpha)) = `/`(`*`(`+`(4, 21)), `*`(`*`(5, 5), `*`(sqrt(2)))), `/`(`*`(`+`(4, 21)), `*`(`*`(5, 5), `*`(sqrt(2)))) = `+`(`*`(`/`(1, 2), `*`(sqrt(2)))))