Add sqrt Mul 2 Pow x0 pi tanh asin Pow coth sinh Add x2 3 x0 
Add Mul Pow Mul 2 sqrt Mul 2 Pow x0 pi -1 Mul 2 Mul Pow x0 Add pi -1 pi Mul Pow sech asin Pow coth sinh Add x2 3 x0 2 Mul Mul Pow coth sinh Add x2 3 Add x0 -1 Mul coth sinh Add x2 3 log coth sinh Add x2 3 Pow sqrt Add 1 Mul -1 Mul Pow coth sinh Add x2 3 x0 Pow coth sinh Add x2 3 x0 -1 