Mul 2 Pow Pow asec pi Mul Pow sech acosh cot x0 Add x2 1 asech Add acoth pi x0 x6 
Mul 2 Mul Pow Pow asec pi Mul Pow sech acosh cot x0 Add x2 1 asech Add acoth pi x0 Add x6 -1 Mul x6 Mul Pow asec pi Add Mul Pow sech acosh cot x0 Add x2 1 asech Add acoth pi x0 -1 Mul Mul asec pi log asec pi Add Mul asech Add acoth pi x0 Mul Pow sech acosh cot x0 Add Add x2 1 -1 Mul Add x2 1 Mul Mul tanh acosh cot x0 Mul -1 sech acosh cot x0 Mul Mul -1 Pow csc x0 2 Pow Mul sqrt Add cot x0 -1 sqrt Add 1 cot x0 -1 Mul Pow sech acosh cot x0 Add x2 1 Pow Mul Mul Add acoth pi x0 Add acoth pi x0 sqrt Add 1 Mul -1 Pow Mul Add acoth pi x0 Add acoth pi x0 -1 -1 