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