Mul x0 Pow x0 acot sech Add x0 exp x1 
Add Pow x0 acot sech Add x0 exp x1 Mul x0 Mul Pow x0 Add acot sech Add x0 exp x1 -1 Add acot sech Add x0 exp x1 Mul Mul x0 log x0 Mul -1 Mul Mul tanh Add x0 exp x1 Mul -1 sech Add x0 exp x1 Pow Add 1 Mul sech Add x0 exp x1 sech Add x0 exp x1 -1 