Mul 3 Pow Add -4 Pow sech Add -4 Mul exp E Mul coth Mul atanh x7 x7 exp x5 x0 E 
Mul 3 Mul Pow Add -4 Pow sech Add -4 Mul exp E Mul coth Mul atanh x7 x7 exp x5 x0 Add E -1 Mul E Mul Pow sech Add -4 Mul exp E Mul coth Mul atanh x7 x7 exp x5 Add x0 -1 Mul sech Add -4 Mul exp E Mul coth Mul atanh x7 x7 exp x5 log sech Add -4 Mul exp E Mul coth Mul atanh x7 x7 exp x5 