Mul sech Add acoth x0 atan asec Add pi x1 Add x1 x0 
Add Mul Add x1 x0 Mul Mul tanh Add acoth x0 atan asec Add pi x1 Mul -1 sech Add acoth x0 atan asec Add pi x1 Pow Add 1 Mul -1 Mul x0 x0 -1 sech Add acoth x0 atan asec Add pi x1 