Average Error: 1.0 → 1.0
Time: 1.3s
Precision: binary64
\[\sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)\]
↓
\[\sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)\]
\sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)
↓
\sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)
double code() {
	return ((double) asin(((double) acos(((double) atan(((double) tan(((double) cos(((double) sin(9.0))))))))))));
}
↓
double code() {
	return ((double) asin(((double) acos(((double) atan(((double) tan(((double) cos(((double) sin(9.0))))))))))));
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)\]

    2. Final simplification1.0

      \[\leadsto \sin^{-1} \left(\cos^{-1} \left(\tan^{-1} \left(\tan \left(\cos \left(\sin 9\right)\right)\right)\right)\right)\]

    Reproduce

    herbie shell --seed 2020152 
(FPCore ()
  :name "(asin (acos (atan (tan (cos (sin 9))))))"
  :precision binary64
  (asin (acos (atan (tan (cos (sin 9.0)))))))