Πεψενθε 

`and`(`*`(cos, `*`(alpha)) = `/`(`*`(sqrt(10)), `*`(sqrt(14))), `and`(`/`(`*`(sqrt(10)), `*`(sqrt(14))) = sqrt(`/`(5, 7)), sqrt(`/`(5, 7)) = `+`(`*`(`/`(1, 7), `*`(sqrt(35))))))