Add Mul acosh csc Pow x0 Mul pi coth csch x3 Add x0 x0 -4 
Add Mul Add x0 x0 Mul Mul Mul Mul -1 cot Pow x0 Mul pi coth csch x3 csc Pow x0 Mul pi coth csch x3 Mul Pow x0 Add Mul pi coth csch x3 -1 Mul pi coth csch x3 Pow Mul sqrt Add csc Pow x0 Mul pi coth csch x3 -1 sqrt Add 1 csc Pow x0 Mul pi coth csch x3 -1 Mul acosh csc Pow x0 Mul pi coth csch x3 2 