sec Mul Mul acot Mul x0 pi acosh Pow sech x0 x0 x1 
Mul Mul tan Mul Mul acot Mul x0 pi acosh Pow sech x0 x0 x1 sec Mul Mul acot Mul x0 pi acosh Pow sech x0 x0 x1 Mul x1 Add Mul acosh Pow sech x0 x0 Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul acot Mul x0 pi Mul Mul Pow sech x0 Add x0 -1 Add Mul x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 log sech x0 Pow Mul sqrt Add Pow sech x0 x0 -1 sqrt Add 1 Pow sech x0 x0 -1 