Mul Pow x0 x2 log Pow x3 Mul csch Pow x0 acoth asec asec x3 Add Pow acos pi x1 csch x0 
Add Mul log Pow x3 Mul csch Pow x0 acoth asec asec x3 Add Pow acos pi x1 csch x0 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul Mul Pow x3 Add Mul csch Pow x0 acoth asec asec x3 Add Pow acos pi x1 csch x0 -1 Mul Mul x3 log x3 Add Mul Add Pow acos pi x1 csch x0 Mul Mul Mul -1 coth Pow x0 acoth asec asec x3 csch Pow x0 acoth asec asec x3 Mul Pow x0 Add acoth asec asec x3 -1 acoth asec asec x3 Mul csch Pow x0 acoth asec asec x3 Mul Mul -1 coth x0 csch x0 Pow Pow x3 Mul csch Pow x0 acoth asec asec x3 Add Pow acos pi x1 csch x0 -1 