sec sqrt Pow Add x4 coth x0 x1 
Mul Mul tan sqrt Pow Add x4 coth x0 x1 sec sqrt Pow Add x4 coth x0 x1 Mul Pow Mul 2 sqrt Pow Add x4 coth x0 x1 -1 Mul Pow Add x4 coth x0 Add x1 -1 Mul x1 Mul -1 Pow csch x0 2 