Add coth x0 Pow Add exp Pow Mul x0 Pow Mul x0 x0 asech x3 x0 x0 -1 
Add Mul -1 Pow csch x0 2 Mul Pow Add exp Pow Mul x0 Pow Mul x0 x0 asech x3 x0 x0 2 Mul -1 Add Mul exp Pow Mul x0 Pow Mul x0 x0 asech x3 x0 Mul Pow Mul x0 Pow Mul x0 x0 asech x3 Add x0 -1 Add Mul x0 Add Pow Mul x0 x0 asech x3 Mul x0 Mul Pow Mul x0 x0 Add asech x3 -1 Mul asech x3 Add x0 x0 Mul Mul x0 Pow Mul x0 x0 asech x3 log Mul x0 Pow Mul x0 x0 asech x3 1 