acosh Add acosh sech x0 Mul sec asinh acosh Add 3 pi x0 
Mul Add Mul Mul tanh x0 Mul -1 sech x0 Pow Mul sqrt Add sech x0 -1 sqrt Add 1 sech x0 -1 sec asinh acosh Add 3 pi Pow Mul sqrt Add Add acosh sech x0 Mul sec asinh acosh Add 3 pi x0 -1 sqrt Add 1 Add acosh sech x0 Mul sec asinh acosh Add 3 pi x0 -1 