Add Pow x4 Pow Pow x0 acot x0 Add cot Mul x3 coth E x3 -1 
Mul Pow x4 Add Pow Pow x0 acot x0 Add cot Mul x3 coth E x3 -1 Mul Mul x4 log x4 Mul Pow Pow x0 acot x0 Add Add cot Mul x3 coth E x3 -1 Mul Add cot Mul x3 coth E x3 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 