Mul cot Mul 0.964027580075817 x7 asec coth acos cos x0 
Mul cot Mul 0.964027580075817 x7 Mul Mul Mul -1 Pow csch acos cos x0 2 Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul coth acos cos x0 coth acos cos x0 -1 coth acos cos x0 coth acos cos x0 -1 