acsch acsch sec Pow x0 E 
Mul Mul -1 Mul Mul -1 Mul Mul tan Pow x0 E sec Pow x0 E Mul Pow x0 Add E -1 E Pow Mul Mul sec Pow x0 E sec Pow x0 E sqrt Add 1 Mul -1 Pow Mul sec Pow x0 E sec Pow x0 E -1 -1 Pow Mul Mul acsch sec Pow x0 E acsch sec Pow x0 E sqrt Add 1 Mul -1 Pow Mul acsch sec Pow x0 E acsch sec Pow x0 E -1 -1 