cot tan Mul Add sech x0 x0 Mul acosh x0 pi 
Mul Mul -1 Pow csc tan Mul Add sech x0 x0 Mul acosh x0 pi 2 Mul Pow sec Mul Add sech x0 x0 Mul acosh x0 pi 2 Add Mul Mul acosh x0 pi Add Mul tanh x0 Mul -1 sech x0 1 Mul Add sech x0 x0 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 