Lambda Calculus And Trigonometry