tan(25pi/36)