[math-fun] integral identities for Pi and Log[2]