legendre duplication formula