Pow acoth acosh tanh Mul x0 -2 Mul x7 atanh sec Mul x0 sech x0 
Mul Pow acoth acosh tanh Mul x0 -2 Add Mul x7 atanh sec Mul x0 sech x0 -1 Add Mul Mul x7 atanh sec Mul x0 sech x0 Mul Mul Mul Pow sech Mul x0 -2 2 -2 Pow Mul sqrt Add tanh Mul x0 -2 -1 sqrt Add 1 tanh Mul x0 -2 -1 Pow Add 1 Mul -1 Mul acosh tanh Mul x0 -2 acosh tanh Mul x0 -2 -1 Mul Mul acoth acosh tanh Mul x0 -2 log acoth acosh tanh Mul x0 -2 Mul x7 Mul Mul Mul tan Mul x0 sech x0 sec Mul x0 sech x0 Add sech x0 Mul x0 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sec Mul x0 sech x0 sec Mul x0 sech x0 -1 