Mul exp x0 Mul sec csch x7 Mul x0 Mul Mul Pow Pow 2 Pow x0 acot x0 Pow Add x0 -2 x0 x0 1.85081571768093 
Add Mul Mul sec csch x7 Mul x0 Mul Mul Pow Pow 2 Pow x0 acot x0 Pow Add x0 -2 x0 x0 1.85081571768093 exp x0 Mul exp x0 Mul sec csch x7 Add Mul Mul Pow Pow 2 Pow x0 acot x0 Pow Add x0 -2 x0 x0 1.85081571768093 Mul x0 Mul 1.85081571768093 Add Mul x0 Mul Pow Pow 2 Pow x0 acot x0 Add Pow Add x0 -2 x0 -1 Add Mul Pow Add x0 -2 x0 Mul Pow 2 Add Pow x0 acot x0 -1 Mul 2.69314718055995 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow 2 Pow x0 acot x0 log Pow 2 Pow x0 acot x0 Mul Pow Add x0 -2 Add x0 -1 Add x0 Mul Add x0 -2 log Add x0 -2 Pow Pow 2 Pow x0 acot x0 Pow Add x0 -2 x0 