csc Mul Pow Pow atanh x7 Pow atanh x2 x0 x7 Mul x0 4 
Mul Mul Mul -1 cot Mul Pow Pow atanh x7 Pow atanh x2 x0 x7 Mul x0 4 csc Mul Pow Pow atanh x7 Pow atanh x2 x0 x7 Mul x0 4 Add Mul Mul x0 4 Mul Pow Pow atanh x7 Pow atanh x2 x0 Add x7 -1 Mul x7 Mul Pow atanh x7 Add Pow atanh x2 x0 -1 Mul Mul atanh x7 log atanh x7 Mul Pow atanh x2 Add x0 -1 Mul atanh x2 log atanh x2 Mul Pow Pow atanh x7 Pow atanh x2 x0 x7 4 