Add Pow Pow Pow sech Add acosh acosh x0 x1 Add x0 asinh x0 acsc E x0 2 
Mul Pow Pow Pow sech Add acosh acosh x0 x1 Add x0 asinh x0 acsc E Add x0 -1 Add Mul x0 Mul Pow Pow sech Add acosh acosh x0 x1 Add x0 asinh x0 Add acsc E -1 Mul acsc E Mul Pow sech Add acosh acosh x0 x1 Add Add x0 asinh x0 -1 Add Mul Add x0 asinh x0 Mul Mul tanh Add acosh acosh x0 x1 Mul -1 sech Add acosh acosh x0 x1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 Mul Mul sech Add acosh acosh x0 x1 log sech Add acosh acosh x0 x1 Add 1 Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow Pow sech Add acosh acosh x0 x1 Add x0 asinh x0 acsc E log Pow Pow sech Add acosh acosh x0 x1 Add x0 asinh x0 acsc E 