update leibniz_pi