Average Error: 0.1 → 0.1
Time: 35.7s
Precision: 64
Internal Precision: 576
\[\sin \left(\tan^{-1} \left(\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}\right)\right)\]
\[\sin \left(\tan^{-1} \left(\sqrt{\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}} \cdot \sqrt{\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}}\right)\right)\]

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\sin \left(\tan^{-1} \left(\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}\right)\right)\]
  2. Using strategy rm
  3. Applied add-sqr-sqrt0.1

    \[\leadsto \sin \left(\tan^{-1} \color{blue}{\left(\sqrt{\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}} \cdot \sqrt{\sqrt{\left(\left(-0.5\right) \cdot 0.5\right) \cdot \log x}}\right)}\right)\]

Runtime

Time bar (total: 35.7s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (x)
  :name "sin(atan(sqrt(-0.5*0.5*log(x))))"
  (sin (atan (sqrt (* (* (- 0.5) 0.5) (log x))))))