exp acos Pow x3 asec csch Pow x0 x5 
Mul exp acos Pow x3 asec csch Pow x0 x5 Mul -1 Mul Mul Pow x3 Add asec csch Pow x0 x5 -1 Mul Mul x3 log x3 Mul Mul Mul Mul -1 coth Pow x0 x5 csch Pow x0 x5 Mul Pow x0 Add x5 -1 x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csch Pow x0 x5 csch Pow x0 x5 -1 csch Pow x0 x5 csch Pow x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul Pow x3 asec csch Pow x0 x5 Pow x3 asec csch Pow x0 x5 -1 