Mul Mul Mul -5 cot Mul tanh acoth Mul x0 x0 -1 x5 acoth atanh x4 
Mul acoth atanh x4 Mul x5 Mul -5 Mul Mul -1 Pow csc Mul tanh acoth Mul x0 x0 -1 2 Mul -1 Mul Pow sech acoth Mul x0 x0 2 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 