Add x4 Add Add 1 x6 Pow atan Add x0 Add pi -2 Add x3 Pow 3.52532008581609 Pow Mul x0 acoth x0 x2 
Mul Pow atan Add x0 Add pi -2 Add Add x3 Pow 3.52532008581609 Pow Mul x0 acoth x0 x2 -1 Add Mul Add x3 Pow 3.52532008581609 Pow Mul x0 acoth x0 x2 Pow Add 1 Mul Add x0 Add pi -2 Add x0 Add pi -2 -1 Mul Mul atan Add x0 Add pi -2 log atan Add x0 Add pi -2 Mul Pow 3.52532008581609 Add Pow Mul x0 acoth x0 x2 -1 Mul 4.78529132244468 Mul Pow Mul x0 acoth x0 Add x2 -1 Mul x2 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 