Pow Mul Mul atanh x0 -3 asech sech Add x0 x6 x0 
Mul Pow Mul Mul atanh x0 -3 asech sech Add x0 x6 Add x0 -1 Add Mul x0 Add Mul asech sech Add x0 x6 Mul -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 -3 Mul Mul tanh Add x0 x6 Mul -1 sech Add x0 x6 Pow Mul Mul sech Add x0 x6 sech Add x0 x6 sqrt Add 1 Mul -1 Pow Mul sech Add x0 x6 sech Add x0 x6 -1 -1 Mul Mul Mul atanh x0 -3 asech sech Add x0 x6 log Mul Mul atanh x0 -3 asech sech Add x0 x6 