Report
Log
Metrics
could not determine a ground truth for program body
(more)
a = 3.4436517735436936e+302
\[\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)