csc Mul coth x0 Mul Pow x0 acot atan asech x4 4 
Mul Mul Mul -1 cot Mul coth x0 Mul Pow x0 acot atan asech x4 4 csc Mul coth x0 Mul Pow x0 acot atan asech x4 4 Add Mul Mul Pow x0 acot atan asech x4 4 Mul -1 Pow csch x0 2 Mul coth x0 Mul 4 Mul Pow x0 Add acot atan asech x4 -1 acot atan asech x4 