Pow x2 sech exp Pow tan Add x0 Add x0 x3 x0 
Mul Pow x2 Add sech exp Pow tan Add x0 Add x0 x3 x0 -1 Mul Mul x2 log x2 Mul Mul tanh exp Pow tan Add x0 Add x0 x3 x0 Mul -1 sech exp Pow tan Add x0 Add x0 x3 x0 Mul exp Pow tan Add x0 Add x0 x3 x0 Mul Pow tan Add x0 Add x0 x3 Add x0 -1 Add Mul x0 Mul Pow sec Add x0 Add x0 x3 2 2 Mul tan Add x0 Add x0 x3 log tan Add x0 Add x0 x3 