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