Pow x0 acoth Mul exp x0 Pow Mul log E acoth x3 asech x4 
Mul Pow x0 Add acoth Mul exp x0 Pow Mul log E acoth x3 asech x4 -1 Add acoth Mul exp x0 Pow Mul log E acoth x3 asech x4 Mul Mul x0 log x0 Mul Mul Pow Mul log E acoth x3 asech x4 exp x0 Pow Add 1 Mul -1 Mul Mul exp x0 Pow Mul log E acoth x3 asech x4 Mul exp x0 Pow Mul log E acoth x3 asech x4 -1 