Mul x0 Mul x4 sqrt Mul x0 Add x0 coth Add x0 1 
Add Mul x4 sqrt Mul x0 Add x0 coth Add x0 1 Mul x0 Mul x4 Mul Pow Mul 2 sqrt Mul x0 Add x0 coth Add x0 1 -1 Add Add x0 coth Add x0 1 Mul x0 Add 1 Mul -1 Pow csch Add x0 1 2 