Add x0 Pow Mul cos sech Pow x7 x6 Pow Mul x0 x0 sech x4 atan x0 
Add 1 Mul Pow Mul cos sech Pow x7 x6 Pow Mul x0 x0 sech x4 Add atan x0 -1 Add Mul atan x0 Mul cos sech Pow x7 x6 Mul Pow Mul x0 x0 Add sech x4 -1 Mul sech x4 Add x0 x0 Mul Mul Mul cos sech Pow x7 x6 Pow Mul x0 x0 sech x4 log Mul cos sech Pow x7 x6 Pow Mul x0 x0 sech x4 Pow Add 1 Mul x0 x0 -1 