Mul 0.457657554360286 sqrt Mul Add x6 x3 acos acsch Mul E cos x0 
Mul 0.457657554360286 Mul Pow Mul 2 sqrt Mul Add x6 x3 acos acsch Mul E cos x0 -1 Mul Add x6 x3 Mul -1 Mul Mul Mul -1 Mul E Mul -1 sin x0 Pow Mul Mul Mul E cos x0 Mul E cos x0 sqrt Add 1 Mul -1 Pow Mul Mul E cos x0 Mul E cos x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch Mul E cos x0 acsch Mul E cos x0 -1 