Add x2 Add Pow x0 E Add Mul tanh acoth sech acot x0 asin E x1 
Add Mul Pow x0 Add E -1 E Mul asin E Mul Pow sech acoth sech acot x0 2 Mul Mul Mul tanh acot x0 Mul -1 sech acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sech acot x0 sech acot x0 -1 