Add Pow Mul x0 x7 x5 atan Pow x2 Mul Pow x3 csc atanh x6 x0 
Add Mul Pow Mul x0 x7 Add x5 -1 Mul x5 x7 Mul Mul Pow x2 Add Mul Pow x3 csc atanh x6 x0 -1 Mul Mul x2 log x2 Pow x3 csc atanh x6 Pow Add 1 Mul Pow x2 Mul Pow x3 csc atanh x6 x0 Pow x2 Mul Pow x3 csc atanh x6 x0 -1 