acosh coth Pow Pow x0 Mul x0 asech x5 -1 
Mul Mul Mul -1 Pow csch Pow Pow x0 Mul x0 asech x5 -1 2 Mul Pow Pow x0 Mul x0 asech x5 2 Mul -1 Mul Pow x0 Add Mul x0 asech x5 -1 Add Mul x0 asech x5 Mul Mul x0 log x0 asech x5 Pow Mul sqrt Add coth Pow Pow x0 Mul x0 asech x5 -1 -1 sqrt Add 1 coth Pow Pow x0 Mul x0 asech x5 -1 -1 