Average Error: 30.2 → 30.2
Time: 35.6s
Precision: 64
Internal precision: 128
\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
⬇
\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]

Error

Bits error versus a

Derivation

  1. Initial program 30.2

    \[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 35.6s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3833035124 3885449540 2804873515 4224100940 1272383717 3681088648)'
(FPCore (a)
  :name "Random Jason Timeout Test 011"
  (pow (atan (fmod a (asin a))) (* a a)))