Pow Add Pow csch log x0 Mul x0 exp x7 asech x1 x0 
Mul Pow Add Pow csch log x0 Mul x0 exp x7 asech x1 Add x0 -1 Add Mul x0 Mul Pow csch log x0 Add Mul x0 exp x7 -1 Add Mul Mul x0 exp x7 Mul Mul Mul -1 coth log x0 csch log x0 Pow x0 -1 Mul Mul csch log x0 log csch log x0 exp x7 Mul Add Pow csch log x0 Mul x0 exp x7 asech x1 log Add Pow csch log x0 Mul x0 exp x7 asech x1 