Pow x2 Add Add Pow acot pi x0 3 Mul acot x0 cosh x0 
Mul Pow x2 Add Add Add Pow acot pi x0 3 Mul acot x0 cosh x0 -1 Mul Mul x2 log x2 Add Mul Pow acot pi Add x0 -1 Mul acot pi log acot pi Add Mul cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 sinh x0 