sec Pow coth asec x0 asinh Mul acosh x4 sinh pi 
Mul Mul tan Pow coth asec x0 asinh Mul acosh x4 sinh pi sec Pow coth asec x0 asinh Mul acosh x4 sinh pi Mul Pow coth asec x0 Add asinh Mul acosh x4 sinh pi -1 Mul asinh Mul acosh x4 sinh pi Mul Mul -1 Pow csch asec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 