\[\frac{a}{-\cos^{-1} a}\]
Test:
Random Jason Timeout Test 010
Bits:
128 bits
Bits error versus
a
Time:
3.2 s
Input Error:
0.3
Output Error:
0.3
Log:
⚲
Profile:
🕒
\(\log_* (1 + (e^{\frac{a}{-\cos^{-1} a}} - 1)^*)\)
Started with
\[\frac{a}{-\cos^{-1} a}\]
0.3
Using strategy
rm
0.3
Applied
log1p-expm1-u
to get
\[\color{red}{\frac{a}{-\cos^{-1} a}} \leadsto \color{blue}{\log_* (1 + (e^{\frac{a}{-\cos^{-1} a}} - 1)^*)}\]
0.3
Original test:
(lambda ((a default)) #:name "Random Jason Timeout Test 010" (/ a (- (acos a))))
