sech tan Mul acosh sech Mul x0 x0 Pow x2 -4 
Mul Mul tanh tan Mul acosh sech Mul x0 x0 Pow x2 -4 Mul -1 sech tan Mul acosh sech Mul x0 x0 Pow x2 -4 Mul Pow sec Mul acosh sech Mul x0 x0 Pow x2 -4 2 Mul Pow x2 -4 Mul Mul Mul tanh Mul x0 x0 Mul -1 sech Mul x0 x0 Add x0 x0 Pow Mul sqrt Add sech Mul x0 x0 -1 sqrt Add 1 sech Mul x0 x0 -1 