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

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 30.8

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

  2. Final simplification30.8

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

Reproduce

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