Mul atanh acsch tanh x3 Pow cosh Add Mul x0 x0 Add 3 acot x2 Pow x0 Pow x0 x2 
Mul atanh acsch tanh x3 Mul Pow cosh Add Mul x0 x0 Add 3 acot x2 Add Pow x0 Pow x0 x2 -1 Add Mul Pow x0 Pow x0 x2 Mul sinh Add Mul x0 x0 Add 3 acot x2 Add x0 x0 Mul Mul cosh Add Mul x0 x0 Add 3 acot x2 log cosh Add Mul x0 x0 Add 3 acot x2 Mul Pow x0 Add Pow x0 x2 -1 Add Pow x0 x2 Mul Mul x0 log x0 Mul Pow x0 Add x2 -1 x2 