tanh Mul Pow Pow x3 Add x0 x0 pi Add -1 acoth x0 
Mul Pow sech Mul Pow Pow x3 Add x0 x0 pi Add -1 acoth x0 2 Add Mul Add -1 acoth x0 Mul Pow Pow x3 Add x0 x0 Add pi -1 Mul pi Mul Pow x3 Add Add x0 x0 -1 Mul Mul x3 log x3 2 Mul Pow Pow x3 Add x0 x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 