Pow Add acosh x1 exp Mul asech Mul x0 x5 acoth x0 atan E 
Mul Pow Add acosh x1 exp Mul asech Mul x0 x5 acoth x0 Add atan E -1 Mul atan E Mul exp Mul asech Mul x0 x5 acoth x0 Add Mul acoth x0 Mul x5 Pow Mul Mul Mul x0 x5 Mul x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul x0 x5 Mul x0 x5 -1 -1 Mul asech Mul x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 