This test doesn't really future proof against a future algorithm that can compute this integral (it's li or Li or something like that). Is there a way to test the issue more directly, or using a function that won't likely be replaced with a special function?