Pow atan Add Add acoth x0 1 Mul exp x4 2 Add Add x0 x0 Add Mul -2 Pow 2 Pow x6 3 x0 
Mul Pow atan Add Add acoth x0 1 Mul exp x4 2 Add Add Add x0 x0 Add Mul -2 Pow 2 Pow x6 3 x0 -1 Add Mul Add Add x0 x0 Add Mul -2 Pow 2 Pow x6 3 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add Add acoth x0 1 Mul exp x4 2 Add Add acoth x0 1 Mul exp x4 2 -1 Mul Mul atan Add Add acoth x0 1 Mul exp x4 2 log atan Add Add acoth x0 1 Mul exp x4 2 3 