Add coth cot Mul Pow acos x0 asech x7 -2 sqrt Pow pi x0 
Add Mul Mul -1 Pow csch cot Mul Pow acos x0 asech x7 -2 2 Mul Mul -1 Pow csc Mul Pow acos x0 asech x7 -2 2 Mul -2 Mul Pow acos x0 Add asech x7 -1 Mul asech x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul 2 sqrt Pow pi x0 -1 Mul Pow pi Add x0 -1 Mul pi log pi 