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