Add x0 Pow acosh tanh Pow pi 3 Add atan Add Pow atanh x0 acoth acot tanh E x0 x0 
Add 1 Mul Pow acosh tanh Pow pi 3 Add Add atan Add Pow atanh x0 acoth acot tanh E x0 x0 -1 Mul Mul acosh tanh Pow pi 3 log acosh tanh Pow pi 3 Add Mul Add Mul Pow atanh x0 Add acoth acot tanh E -1 Mul acoth acot tanh E Pow Add 1 Mul -1 Mul x0 x0 -1 1 Pow Add 1 Mul Add Pow atanh x0 acoth acot tanh E x0 Add Pow atanh x0 acoth acot tanh E x0 -1 1 