log Pow tan Pow Mul cosh x0 acoth x1 x0 x0 
Mul Mul Pow tan Pow Mul cosh x0 acoth x1 x0 Add x0 -1 Add Mul x0 Mul Pow sec Pow Mul cosh x0 acoth x1 x0 2 Mul Pow Mul cosh x0 acoth x1 Add x0 -1 Add Mul x0 Mul acoth x1 sinh x0 Mul Mul cosh x0 acoth x1 log Mul cosh x0 acoth x1 Mul tan Pow Mul cosh x0 acoth x1 x0 log tan Pow Mul cosh x0 acoth x1 x0 Pow Pow tan Pow Mul cosh x0 acoth x1 x0 x0 -1 