acot Add Add Mul Pow pi x0 sqrt x6 Add sech E pi x0 
Mul -1 Mul Add Mul sqrt x6 Mul Pow pi Add x0 -1 Mul pi log pi 1 Pow Add 1 Mul Add Add Mul Pow pi x0 sqrt x6 Add sech E pi x0 Add Add Mul Pow pi x0 sqrt x6 Add sech E pi x0 -1 