sinh exp Pow Pow acot Mul x0 asec sinh exp acosh x2 x0 x0 
Mul cosh exp Pow Pow acot Mul x0 asec sinh exp acosh x2 x0 x0 Mul exp Pow Pow acot Mul x0 asec sinh exp acosh x2 x0 x0 Mul Pow Pow acot Mul x0 asec sinh exp acosh x2 x0 Add x0 -1 Add Mul x0 Mul Pow acot Mul x0 asec sinh exp acosh x2 Add x0 -1 Add Mul x0 Mul -1 Mul asec sinh exp acosh x2 Pow Add 1 Mul Mul x0 asec sinh exp acosh x2 Mul x0 asec sinh exp acosh x2 -1 Mul acot Mul x0 asec sinh exp acosh x2 log acot Mul x0 asec sinh exp acosh x2 Mul Pow acot Mul x0 asec sinh exp acosh x2 x0 log Pow acot Mul x0 asec sinh exp acosh x2 x0 