Pow Add Add Pow acot pi 2 x2 sqrt Add E pi cosh x0 
Mul Pow Add Add Pow acot pi 2 x2 sqrt Add E pi Add cosh x0 -1 Mul Mul Add Add Pow acot pi 2 x2 sqrt Add E pi log Add Add Pow acot pi 2 x2 sqrt Add E pi sinh x0 