Pow Add exp Mul x0 csch Mul Pow acosh E atanh x0 5 4 Mul x0 -4 
Mul Pow Add exp Mul x0 csch Mul Pow acosh E atanh x0 5 4 Add Mul x0 -4 -1 Add Mul Mul x0 -4 Mul exp Mul x0 csch Mul Pow acosh E atanh x0 5 Add csch Mul Pow acosh E atanh x0 5 Mul x0 Mul Mul Mul -1 coth Mul Pow acosh E atanh x0 5 csch Mul Pow acosh E atanh x0 5 Mul 5 Mul Pow acosh E Add atanh x0 -1 Mul Mul acosh E log acosh E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add exp Mul x0 csch Mul Pow acosh E atanh x0 5 4 log Add exp Mul x0 csch Mul Pow acosh E atanh x0 5 4 -4 