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