Three essays on Machins type formulas