acot Pow Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 x0 
Mul -1 Mul Mul Pow Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 Add x0 -1 Add Mul x0 Add 1 Mul Pow acsc x0 Add coth x3 -1 Mul coth x3 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 log Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 Pow Add 1 Mul Pow Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 x0 Pow Add tan acos x4 Add x0 Add Pow acsc x0 coth x3 -4 x0 -1 