Pow x4 Pow Mul x0 x0 Mul Add x0 acot csch Add E x0 x1 
Mul Pow x4 Add Pow Mul x0 x0 Mul Add x0 acot csch Add E x0 x1 -1 Mul Mul x4 log x4 Mul Pow Mul x0 x0 Add Mul Add x0 acot csch Add E x0 x1 -1 Add Mul Mul Add x0 acot csch Add E x0 x1 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul x1 Add 1 Mul -1 Mul Mul Mul -1 coth Add E x0 csch Add E x0 Pow Add 1 Mul csch Add E x0 csch Add E x0 -1 