Πεψενθε 

`and`(`*`(sin, `*`(alpha)) = sqrt(`+`(1, `-`(`*`(`^`(cos, 2), `*`(alpha))))), `and`(sqrt(`+`(1, `-`(`*`(`^`(cos, 2), `*`(alpha))))) = sqrt(`+`(1, `-`(`^`(`/`(12, 13), 2)))), `and`(sqrt(`+`(1, `-`(`^`(...