Mul Mul x0 -2 acot csch acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 
Add Mul acot csch acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 -2 Mul Mul x0 -2 Mul -1 Mul Mul Mul Mul -1 coth acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 csch acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 Mul Mul Pow Pow x0 atan x5 Add Mul Mul -2 log E x5 -1 Mul Mul Mul -2 log E x5 Mul Pow x0 Add atan x5 -1 atan x5 Pow Add 1 Mul -1 Mul Pow Pow x0 atan x5 Mul Mul -2 log E x5 Pow Pow x0 atan x5 Mul Mul -2 log E x5 -1 Pow Add 1 Mul csch acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 csch acoth Pow Pow x0 atan x5 Mul Mul -2 log E x5 -1 