Pow Mul 4 Pow atan x5 x0 Mul cot x0 atanh x4 
Mul Pow Mul 4 Pow atan x5 x0 Add Mul cot x0 atanh x4 -1 Add Mul Mul cot x0 atanh x4 Mul 4 Mul Pow atan x5 Add x0 -1 Mul atan x5 log atan x5 Mul Mul Mul 4 Pow atan x5 x0 log Mul 4 Pow atan x5 x0 Mul atanh x4 Mul -1 Pow csc x0 2 