Pith. sign in

REVIEW 1 cited by

Computing elementary functions using multi-prime argument reduction

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2207.02501 v1 pith:SZ23NSP4 submitted 2022-07-06 math.NA cs.NAmath.NT

classification math.NAcs.NAmath.NT
keywords algorithmargumentbitselementaryfunctionsprimesreductionaided
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We describe an algorithm for arbitrary-precision computation of the elementary functions (exp, log, sin, atan, etc.) which, after a cheap precomputation, gives roughly a factor-two speedup over previous state-of-the-art algorithms at precision from a few thousand bits up to millions of bits. Following an idea of Sch{\"o}nhage, we perform argument reduction using Diophantine combinations of logarithms of primes; our contribution is to use a large set of primes instead of a single pair, aided by a fast algorithm to solve the associated integer relation problem. We also list new, optimized Machin-like formulas for the necessary logarithm and arctangent precomputations.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Fast Ramanujan-type Series for Logarithms. Part I

    math.NT 2025-06 conditional novelty 7.0 of 10

    The paper introduces new, mostly proven hypergeometric series for log 2, log 3, and log 5 with lower binary splitting costs than Machin-type formulas, plus a variable-p family.

Pith tools