Pow Mul x0 Pow Pow Add -1 x3 3 x0 Pow atan Mul acoth x0 x0 -4.60718336656795 
Mul Pow Mul x0 Pow Pow Add -1 x3 3 x0 Add Pow atan Mul acoth x0 x0 -4.60718336656795 -1 Add Mul Pow atan Mul acoth x0 x0 -4.60718336656795 Add Pow Pow Add -1 x3 3 x0 Mul x0 Mul Pow Pow Add -1 x3 3 Add x0 -1 Mul Pow Add -1 x3 3 log Pow Add -1 x3 3 Mul Mul Mul x0 Pow Pow Add -1 x3 3 x0 log Mul x0 Pow Pow Add -1 x3 3 x0 Mul Pow atan Mul acoth x0 x0 -5.60718336656795 Mul -4.60718336656795 Mul Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Pow Add 1 Mul Mul acoth x0 x0 Mul acoth x0 x0 -1 