Add Leibnitz's formula for pi/8.