Average Error: 15.3 → 0.3
Time: 13.2s
Precision: 64
Internal Precision: 1344
\[\tan^{-1} \left(x + 1\right) - \tan^{-1} x\]
\[\tan^{-1}_* \frac{1}{1 + \left(x + 1\right) \cdot x}\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 15.3

    \[\tan^{-1} \left(x + 1\right) - \tan^{-1} x\]
  2. Using strategy rm
  3. Applied diff-atan14.1

    \[\leadsto \color{blue}{\tan^{-1}_* \frac{\left(x + 1\right) - x}{1 + \left(x + 1\right) \cdot x}}\]
  4. Applied simplify0.3

    \[\leadsto \tan^{-1}_* \frac{\color{blue}{1}}{1 + \left(x + 1\right) \cdot x}\]

Runtime

Time bar (total: 13.2s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x)
  :name "atan(x+1)-atan(x)"
  (- (atan (+ x 1)) (atan x)))