Pow Mul x0 asech x7 Add Pow Pow Mul x0 Pow x0 x2 csch Mul x3 x0 x3 x0 
Mul Pow Mul x0 asech x7 Add Add Pow Pow Mul x0 Pow x0 x2 csch Mul x3 x0 x3 x0 -1 Add Mul Add Pow Pow Mul x0 Pow x0 x2 csch Mul x3 x0 x3 x0 asech x7 Mul Mul Mul x0 asech x7 log Mul x0 asech x7 Add Mul Pow Pow Mul x0 Pow x0 x2 csch Mul x3 x0 Add x3 -1 Mul x3 Mul Pow Mul x0 Pow x0 x2 Add csch Mul x3 x0 -1 Add Mul csch Mul x3 x0 Add Pow x0 x2 Mul x0 Mul Pow x0 Add x2 -1 x2 Mul Mul Mul x0 Pow x0 x2 log Mul x0 Pow x0 x2 Mul Mul Mul -1 coth Mul x3 x0 csch Mul x3 x0 x3 1 