Add asech Pow Add E E acoth x0 Mul Mul Mul x0 -3 pi -1 
Add Mul Mul Pow Add E E Add acoth x0 -1 Mul Mul Add E E log Add E E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow Add E E acoth x0 Pow Add E E acoth x0 sqrt Add 1 Mul -1 Pow Mul Pow Add E E acoth x0 Pow Add E E acoth x0 -1 -1 Mul -1 Mul pi -3 