tanh acoth Add 4 Pow Pow x0 x0 acsch acosh sec asinh asech E 
Mul Pow sech acoth Add 4 Pow Pow x0 x0 acsch acosh sec asinh asech E 2 Mul Mul Pow Pow x0 x0 Add acsch acosh sec asinh asech E -1 Mul acsch acosh sec asinh asech E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul Add 4 Pow Pow x0 x0 acsch acosh sec asinh asech E Add 4 Pow Pow x0 x0 acsch acosh sec asinh asech E -1 