Mul coth Pow x3 x0 Mul Pow 0.707106781186548 x0 x0 
Add Mul Mul Pow 0.707106781186548 x0 x0 Mul Mul -1 Pow csch Pow x3 x0 2 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul coth Pow x3 x0 Add Mul x0 Mul Pow 0.707106781186548 Add x0 -1 0.360533190906575 Pow 0.707106781186548 x0 