tanh acot Mul acosh Mul asech asec x2 x6 Pow x4 exp x0 
Mul Pow sech acot Mul acosh Mul asech asec x2 x6 Pow x4 exp x0 2 Mul -1 Mul Mul acosh Mul asech asec x2 x6 Mul Pow x4 Add exp x0 -1 Mul Mul x4 log x4 exp x0 Pow Add 1 Mul Mul acosh Mul asech asec x2 x6 Pow x4 exp x0 Mul acosh Mul asech asec x2 x6 Pow x4 exp x0 -1 