tanh acoth Add tanh Add -1 asech x0 acoth exp Pow sech Mul atanh x3 3 x0 
Mul Pow sech acoth Add tanh Add -1 asech x0 acoth exp Pow sech Mul atanh x3 3 x0 2 Mul Add Mul Pow sech Add -1 asech x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul exp Pow sech Mul atanh x3 3 x0 Mul Pow sech Mul atanh x3 3 Add x0 -1 Mul sech Mul atanh x3 3 log sech Mul atanh x3 3 Pow Add 1 Mul -1 Mul exp Pow sech Mul atanh x3 3 x0 exp Pow sech Mul atanh x3 3 x0 -1 Pow Add 1 Mul -1 Mul Add tanh Add -1 asech x0 acoth exp Pow sech Mul atanh x3 3 x0 Add tanh Add -1 asech x0 acoth exp Pow sech Mul atanh x3 3 x0 -1 