Report
Log
Metrics
could not determine a ground truth for program body
(more)
a = -4.648971779522128e-86
\[\left|\left(\left(\tan^{-1}_* \frac{(e^{\sin \left((e^{a} - 1)^*\right)} - 1)^*}{\tan^{-1} a}\right) \bmod a\right)\right|\]
Cannot sample enough valid points.
(more)