\[\frac{x - \sin x}{x - \tan x}\]
Test:
NMSE problem 3.4.5
Bits:
128 bits
Bits error versus
x
Time:
20.2 s
Input Error:
31.6
Output Error:
31.6
Log:
⚲
Profile:
🕒
\(\log_* (1 + (e^{\frac{x - \sin x}{x - \tan x}} - 1)^*)\)
Started with
\[\frac{x - \sin x}{x - \tan x}\]
31.6
Using strategy
rm
31.6
Applied
log1p-expm1-u
to get
\[\color{red}{\frac{x - \sin x}{x - \tan x}} \leadsto \color{blue}{\log_* (1 + (e^{\frac{x - \sin x}{x - \tan x}} - 1)^*)}\]
31.6
Original test:
(lambda ((x default)) #:name "NMSE problem 3.4.5" (/ (- x (sin x)) (- x (tan x))))
