Mul x0 cosh sech acos log x0 
Add cosh sech acos log x0 Mul x0 Mul sinh sech acos log x0 Mul Mul tanh acos log x0 Mul -1 sech acos log x0 Mul -1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 