Mul x4 Mul csch Add Mul acosh acoth x4 Add x0 x0 tanh acot Pow x0 Mul x0 2 x0 
Mul x4 Add Mul x0 Mul Mul Mul -1 coth Add Mul acosh acoth x4 Add x0 x0 tanh acot Pow x0 Mul x0 2 csch Add Mul acosh acoth x4 Add x0 x0 tanh acot Pow x0 Mul x0 2 Add Mul acosh acoth x4 2 Mul Pow sech acot Pow x0 Mul x0 2 2 Mul -1 Mul Mul Pow x0 Add Mul x0 2 -1 Add Mul x0 2 Mul Mul x0 log x0 2 Pow Add 1 Mul Pow x0 Mul x0 2 Pow x0 Mul x0 2 -1 csch Add Mul acosh acoth x4 Add x0 x0 tanh acot Pow x0 Mul x0 2 