Mul Pow x0 Mul Mul x7 cosh x1 Pow sec Mul cot x2 0.850918128239322 x0 acoth asinh x3 
Mul acoth asinh x3 Mul Pow x0 Add Mul Mul x7 cosh x1 Pow sec Mul cot x2 0.850918128239322 x0 -1 Add Mul Mul x7 cosh x1 Pow sec Mul cot x2 0.850918128239322 x0 Mul Mul x0 log x0 Mul Mul x7 cosh x1 Mul Pow sec Mul cot x2 0.850918128239322 Add x0 -1 Mul sec Mul cot x2 0.850918128239322 log sec Mul cot x2 0.850918128239322 