atan acos Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 x0 x4 
Mul Mul -1 Mul Mul x4 Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow coth Mul x0 acsc x0 Add Pow log x2 x0 -1 Add Mul Pow log x2 x0 Mul Mul -1 Pow csch Mul x0 acsc x0 2 Add acsc x0 Mul x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul coth Mul x0 acsc x0 log coth Mul x0 acsc x0 Mul Pow log x2 Add x0 -1 Mul log x2 log log x2 Mul Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 log Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 x0 x4 Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 x0 x4 -1 Pow Add 1 Mul acos Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 x0 x4 acos Mul Pow Add x0 Pow coth Mul x0 acsc x0 Pow log x2 x0 x0 x4 -1 