Add Pow Mul -1 Mul x1 atan x0 4 Pow x0 Add coth Mul Add E -2 Pow E x3 x0 
Add Mul Pow Mul -1 Mul x1 atan x0 3 Mul 4 Mul -1 Mul x1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 Add Add coth Mul Add E -2 Pow E x3 x0 -1 Add Add coth Mul Add E -2 Pow E x3 x0 Mul x0 log x0 