Mul Mul atanh tan Mul x0 Add x0 x0 exp Mul E x4 sech Pow x6 x0 
Add Mul sech Pow x6 x0 Mul exp Mul E x4 Mul Mul Pow sec Mul x0 Add x0 x0 2 Add Add x0 x0 Mul x0 2 Pow Add 1 Mul -1 Mul tan Mul x0 Add x0 x0 tan Mul x0 Add x0 x0 -1 Mul Mul atanh tan Mul x0 Add x0 x0 exp Mul E x4 Mul Mul tanh Pow x6 x0 Mul -1 sech Pow x6 x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 