Add cosh Pow x0 Pow coth x6 asech atan x0 acot x0 
Add Mul sinh Pow x0 Pow coth x6 asech atan x0 Mul Pow x0 Add Pow coth x6 asech atan x0 -1 Add Pow coth x6 asech atan x0 Mul Mul x0 log x0 Mul Pow coth x6 Add asech atan x0 -1 Mul Mul coth x6 log coth x6 Mul Pow Add 1 Mul x0 x0 -1 Pow Mul Mul atan x0 atan x0 sqrt Add 1 Mul -1 Pow Mul atan x0 atan x0 -1 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 