Pow atan Pow x0 -2 Pow coth x3 Pow x0 1.24904577239825 
Mul Pow atan Pow x0 -2 Add Pow coth x3 Pow x0 1.24904577239825 -1 Add Mul Pow coth x3 Pow x0 1.24904577239825 Mul Mul Pow x0 3 -2 Pow Add 1 Mul Pow x0 -2 Pow x0 -2 -1 Mul Mul atan Pow x0 -2 log atan Pow x0 -2 Mul Pow coth x3 Add Pow x0 1.24904577239825 -1 Mul Mul coth x3 log coth x3 Mul Pow x0 0.249045772398254 1.24904577239825 