Add Mul atanh Pow sech x3 Pow Add x0 -2 x0 Mul x0 2 -4 
Add Mul Mul x0 2 Mul Mul Pow sech x3 Add Pow Add x0 -2 x0 -1 Mul Mul sech x3 log sech x3 Mul Pow Add x0 -2 Add x0 -1 Add x0 Mul Add x0 -2 log Add x0 -2 Pow Add 1 Mul -1 Mul Pow sech x3 Pow Add x0 -2 x0 Pow sech x3 Pow Add x0 -2 x0 -1 Mul atanh Pow sech x3 Pow Add x0 -2 x0 2 