tanh Pow Pow x0 exp x7 Add 4 coth asinh x0 
Mul Pow sech Pow Pow x0 exp x7 Add 4 coth asinh x0 2 Mul Pow Pow x0 exp x7 Add Add 4 coth asinh x0 -1 Add Mul Add 4 coth asinh x0 Mul Pow x0 Add exp x7 -1 exp x7 Mul Mul Pow x0 exp x7 log Pow x0 exp x7 Mul Mul -1 Pow csch asinh x0 2 Pow sqrt Add 1 Mul x0 x0 -1 