Add x1 Add atanh x0 Add x0 Add x5 Mul -3 Add x0 Pow x3 Mul Mul x0 Pow sech Mul pi -2 Add sech x0 x3 x7 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add 1 Mul -3 Add 1 Mul Pow x3 Add Mul Mul x0 Pow sech Mul pi -2 Add sech x0 x3 x7 -1 Mul Mul x3 log x3 Mul x7 Add Pow sech Mul pi -2 Add sech x0 x3 Mul x0 Mul Pow sech Mul pi -2 Add Add sech x0 x3 -1 Mul Mul sech Mul pi -2 log sech Mul pi -2 Mul tanh x0 Mul -1 sech x0 