Pow Mul acot Pow x0 x0 4 coth Mul Mul 3.62686040784702 x7 x7 
Mul Pow Mul acot Pow x0 x0 4 Add coth Mul Mul 3.62686040784702 x7 x7 -1 Mul coth Mul Mul 3.62686040784702 x7 x7 Mul 4 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 