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