Add Pow Add pi -3 Add acoth cos Pow acosh E x4 x0 Mul Pow x0 atan Mul -2 x0 2 
Add Mul Pow Add pi -3 Add Add acoth cos Pow acosh E x4 x0 -1 Mul Add pi -3 log Add pi -3 Mul 2 Mul Pow x0 Add atan Mul -2 x0 -1 Add atan Mul -2 x0 Mul Mul x0 log x0 Mul -2 Pow Add 1 Mul Mul -2 x0 Mul -2 x0 -1 