Add sec Mul 4 E acosh sinh acosh atanh Mul 3 x0 
Mul Mul cosh acosh atanh Mul 3 x0 Mul Mul 3 Pow Add 1 Mul -1 Mul Mul 3 x0 Mul 3 x0 -1 Pow Mul sqrt Add atanh Mul 3 x0 -1 sqrt Add 1 atanh Mul 3 x0 -1 Pow Mul sqrt Add sinh acosh atanh Mul 3 x0 -1 sqrt Add 1 sinh acosh atanh Mul 3 x0 -1 