Mul Add x7 Mul Mul atan Pow 2 E Add Pow sech x0 x0 1 x1 Add x6 x0 
Add Mul Add x6 x0 Mul x1 Mul atan Pow 2 E Mul Pow sech x0 Add x0 -1 Add Mul x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 log sech x0 Add x7 Mul Mul atan Pow 2 E Add Pow sech x0 x0 1 x1 