Mul Mul exp Mul x1 Add x0 coth Pow x1 Pow x4 x4 Mul sec sqrt x4 Add x0 -2 Pow acot x0 acsc x0 
Add Mul Pow acot x0 acsc x0 Add Mul Mul sec sqrt x4 Add x0 -2 Mul exp Mul x1 Add x0 coth Pow x1 Pow x4 x4 x1 Mul exp Mul x1 Add x0 coth Pow x1 Pow x4 x4 sec sqrt x4 Mul Mul exp Mul x1 Add x0 coth Pow x1 Pow x4 x4 Mul sec sqrt x4 Add x0 -2 Mul Pow acot x0 Add acsc x0 -1 Add Mul acsc x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 