coth Mul Mul Pow Add 5 E Mul E x0 x3 x0 
Mul Mul -1 Pow csch Mul Mul Pow Add 5 E Mul E x0 x3 x0 2 Add Mul x0 Mul x3 Mul Pow Add 5 E Add Mul E x0 -1 Mul Mul Add 5 E log Add 5 E E Mul Pow Add 5 E Mul E x0 x3 