acot exp Pow cosh acosh x0 Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 
Mul -1 Mul Mul exp Pow cosh acosh x0 Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 Mul Pow cosh acosh x0 Add Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 -1 Add Mul Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 Mul sinh acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul cosh acosh x0 log cosh acosh x0 Mul x3 Add Pow x2 Add Pow x0 x2 x0 Mul x0 Mul Pow x2 Add Add Pow x0 x2 x0 -1 Mul Mul x2 log x2 Add Mul Pow x0 Add x2 -1 x2 1 Pow Add 1 Mul exp Pow cosh acosh x0 Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 exp Pow cosh acosh x0 Mul Mul x0 Pow x2 Add Pow x0 x2 x0 x3 -1 