Mul Pow x6 4 Pow atanh x7 Pow sqrt x0 csc Pow -4 pi 
Mul Pow x6 4 Mul Pow atanh x7 Add Pow sqrt x0 csc Pow -4 pi -1 Mul Mul atanh x7 log atanh x7 Mul Pow sqrt x0 Add csc Pow -4 pi -1 Mul csc Pow -4 pi Pow Mul 2 sqrt x0 -1 