Pow acsc csch x4 Pow Pow sec x1 x0 Pow Mul sech csc atan x7 -1 Add -4 Pow x3 x0 
Mul Pow acsc csch x4 Add Pow Pow sec x1 x0 Pow Mul sech csc atan x7 -1 Add -4 Pow x3 x0 -1 Mul Mul acsc csch x4 log acsc csch x4 Mul Pow Pow sec x1 x0 Add Pow Mul sech csc atan x7 -1 Add -4 Pow x3 x0 -1 Add Mul Pow Mul sech csc atan x7 -1 Add -4 Pow x3 x0 Mul Pow sec x1 Add x0 -1 Mul sec x1 log sec x1 Mul Mul Pow sec x1 x0 log Pow sec x1 x0 Mul Pow Mul sech csc atan x7 -1 Add Add -4 Pow x3 x0 -1 Mul Mul Mul sech csc atan x7 -1 log Mul sech csc atan x7 -1 Mul Pow x3 Add x0 -1 Mul x3 log x3 