Mul x0 csch acoth Mul x0 Mul x0 -2 
Add csch acoth Mul x0 Mul x0 -2 Mul x0 Mul Mul Mul -1 coth acoth Mul x0 Mul x0 -2 csch acoth Mul x0 Mul x0 -2 Mul Add Mul x0 -2 Mul x0 -2 Pow Add 1 Mul -1 Mul Mul x0 Mul x0 -2 Mul x0 Mul x0 -2 -1 