sec Mul Mul csch x0 x6 acos x0 
Mul Mul tan Mul Mul csch x0 x6 acos x0 sec Mul Mul csch x0 x6 acos x0 Add Mul acos x0 Mul x6 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 