asech Pow x0 acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 
Mul Mul Pow x0 Add acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 -1 Add acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 Mul Mul x0 log x0 Mul Mul Pow Mul atanh x0 -4 Add cosh Mul Add x0 x2 -3 -1 Add Mul cosh Mul Add x0 x2 -3 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul atanh x0 -4 log Mul atanh x0 -4 Mul sinh Mul Add x0 x2 -3 -3 Pow Mul sqrt Add Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 -1 sqrt Add 1 Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 -1 Pow Mul Mul Pow x0 acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 Pow x0 acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 sqrt Add 1 Mul -1 Pow Mul Pow x0 acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 Pow x0 acosh Pow Mul atanh x0 -4 cosh Mul Add x0 x2 -3 -1 -1 