Pow cosh x0 acot atan Mul x7 Mul x0 acoth x5 
Mul Pow cosh x0 Add acot atan Mul x7 Mul x0 acoth x5 -1 Add Mul acot atan Mul x7 Mul x0 acoth x5 sinh x0 Mul Mul cosh x0 log cosh x0 Mul -1 Mul Mul Mul x7 acoth x5 Pow Add 1 Mul Mul x7 Mul x0 acoth x5 Mul x7 Mul x0 acoth x5 -1 Pow Add 1 Mul atan Mul x7 Mul x0 acoth x5 atan Mul x7 Mul x0 acoth x5 -1 