acoth tan Pow Pow log asec x0 x0 log Mul cosh x4 Pow x0 x0 
Mul Mul Pow sec Pow Pow log asec x0 x0 log Mul cosh x4 Pow x0 x0 2 Mul Pow Pow log asec x0 x0 Add log Mul cosh x4 Pow x0 x0 -1 Add Mul log Mul cosh x4 Pow x0 x0 Mul Pow log asec x0 Add x0 -1 Add Mul x0 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow asec x0 -1 Mul log asec x0 log log asec x0 Mul Mul Pow log asec x0 x0 log Pow log asec x0 x0 Mul Mul cosh x4 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul cosh x4 Pow x0 x0 -1 Pow Add 1 Mul -1 Mul tan Pow Pow log asec x0 x0 log Mul cosh x4 Pow x0 x0 tan Pow Pow log asec x0 x0 log Mul cosh x4 Pow x0 x0 -1 