Pow Add cot x4 Pow log atanh x0 x0 Add 3 Pow Mul x1 x4 x0 
Mul Pow Add cot x4 Pow log atanh x0 x0 Add Add 3 Pow Mul x1 x4 x0 -1 Add Mul Add 3 Pow Mul x1 x4 x0 Mul Pow log atanh x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 Mul log atanh x0 log log atanh x0 Mul Mul Add cot x4 Pow log atanh x0 x0 log Add cot x4 Pow log atanh x0 x0 Mul Pow Mul x1 x4 Add x0 -1 Mul Mul x1 x4 log Mul x1 x4 