Pow Pow Mul x3 Mul x1 csch E x0 x0 
Mul Pow Pow Mul x3 Mul x1 csch E x0 Add x0 -1 Add Mul x0 Mul Pow Mul x3 Mul x1 csch E Add x0 -1 Mul Mul x3 Mul x1 csch E log Mul x3 Mul x1 csch E Mul Pow Mul x3 Mul x1 csch E x0 log Pow Mul x3 Mul x1 csch E x0 