tanh atan log sec csch Mul atanh x3 x0 
Mul Pow sech atan log sec csch Mul atanh x3 x0 2 Mul Mul Mul Mul tan csch Mul atanh x3 x0 sec csch Mul atanh x3 x0 Mul Mul Mul -1 coth Mul atanh x3 x0 csch Mul atanh x3 x0 atanh x3 Pow sec csch Mul atanh x3 x0 -1 Pow Add 1 Mul log sec csch Mul atanh x3 x0 log sec csch Mul atanh x3 x0 -1 