Average Error: 30.7 → 30.7

Time: 18.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

Derivation

Initial program 30.7
\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
Final simplification30.7
\[\leadsto {\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]

herbie shell --seed 2018362 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.5b

Local error

Found 2 expressions with local error:

28.6b	(pow (atan (fmod a (asin a))) (* a a))
2.4b	(fmod a (asin a))

Algorithm

rewrite-expression-head

Counts

2 → 25

Calls

2 calls. Slowest were:

2.0ms	(pow (atan (fmod a (asin a))) (* a a))
0.0ms	(fmod a (asin a))

Counts

2 → 6

Calls

2 calls. Slowest were:

15.0ms	(pow (atan (fmod a (asin a))) (* a a))
2.0ms	(fmod a (asin a))

Counts

11 → 31

Calls

11 calls. Slowest were:

85.0ms	(+ (* 1/2 (* (pow a 4) (pow (log (atan (fmod a (asin a)))) 2))) (+ 1 (* (pow a 2) (log (atan (fmod a (asin a)))))))
5.0ms	(* (log (atan (fmod a (asin a)))) (* a a))
4.0ms	(pow (atan (fmod a (asin a))) (pow a 2))

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 31.5b