Add Mul Pow cot acos x0 cosh x0 pi sech x0 
Add Mul pi Mul Pow cot acos x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul -1 Pow csc acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul cot acos x0 log cot acos x0 sinh x0 Mul tanh x0 Mul -1 sech x0 