log Pow Mul sech x0 Mul asin atanh E x0 Add Mul -2 x0 x0 
Mul Mul Pow Mul sech x0 Mul asin atanh E x0 Add Add Mul -2 x0 x0 -1 Add Mul Add Mul -2 x0 x0 Add Mul Mul asin atanh E x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 asin atanh E Mul Mul sech x0 Mul asin atanh E x0 log Mul sech x0 Mul asin atanh E x0 Pow Pow Mul sech x0 Mul asin atanh E x0 Add Mul -2 x0 x0 -1 