csc acoth acot Pow acosh Pow -5 x2 Mul x0 atanh coth E 
Mul Mul Mul -1 cot acoth acot Pow acosh Pow -5 x2 Mul x0 atanh coth E csc acoth acot Pow acosh Pow -5 x2 Mul x0 atanh coth E Mul Mul -1 Mul Mul Pow acosh Pow -5 x2 Add Mul x0 atanh coth E -1 Mul Mul acosh Pow -5 x2 log acosh Pow -5 x2 atanh coth E Pow Add 1 Mul Pow acosh Pow -5 x2 Mul x0 atanh coth E Pow acosh Pow -5 x2 Mul x0 atanh coth E -1 Pow Add 1 Mul -1 Mul acot Pow acosh Pow -5 x2 Mul x0 atanh coth E acot Pow acosh Pow -5 x2 Mul x0 atanh coth E -1 