sinh asec asec sinh x0 
Mul cosh asec asec sinh x0 Mul Mul cosh x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 sinh x0 sinh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asec sinh x0 asec sinh x0 -1 asec sinh x0 asec sinh x0 -1 