tanh sinh atanh csch log Mul x0 x7 
Mul Pow sech sinh atanh csch log Mul x0 x7 2 Mul cosh atanh csch log Mul x0 x7 Mul Mul Mul Mul -1 coth log Mul x0 x7 csch log Mul x0 x7 Mul x7 Pow Mul x0 x7 -1 Pow Add 1 Mul -1 Mul csch log Mul x0 x7 csch log Mul x0 x7 -1 