Add x2 Add Mul Mul x3 x0 Mul Pow Mul sech acsc x1 4 x0 2 csch x0 
Add Add Mul Mul Pow Mul sech acsc x1 4 x0 2 x3 Mul Mul x3 x0 Mul 2 Mul Pow Mul sech acsc x1 4 Add x0 -1 Mul Mul sech acsc x1 4 log Mul sech acsc x1 4 Mul Mul -1 coth x0 csch x0 