Mul Pow x0 Mul x4 0.577350269189626 coth Mul x3 x0 
Add Mul coth Mul x3 x0 Mul Pow x0 Add Mul x4 0.577350269189626 -1 Mul x4 0.577350269189626 Mul Pow x0 Mul x4 0.577350269189626 Mul Mul -1 Pow csch Mul x3 x0 2 x3 