Average Error: 28.1 → 28.1

Time: 2.3s

Precision: binary64

could not determine a ground truth for program body (more)
1. x = -6.10631847857502e+16

\[\frac{-1}{\tan \left(\frac{x \cdot \pi}{360}\right)}\]

↓

\[\frac{-1}{\tan \left(\frac{x \cdot \pi}{360}\right)}\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 28.1
\[\frac{-1}{\tan \left(\frac{x \cdot \pi}{360}\right)}\]
Final simplification28.1
\[\leadsto \frac{-1}{\tan \left(\frac{x \cdot \pi}{360}\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(/ (- 1) (tan (/ (* x PI) 360)))"
  :precision binary64
  (/ (neg 1.0) (tan (/ (* x PI) 360.0))))