Add -1 Pow Add acot Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 x3 Mul x0 x6 
Mul Pow Add acot Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 x3 Add Mul x0 x6 -1 Add Mul Mul x0 x6 Mul -1 Mul Mul x6 Mul Pow Mul atanh x6 -3 Add Add x0 5 -1 Mul Mul atanh x6 -3 log Mul atanh x6 -3 Pow Add 1 Mul Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 -1 Mul Mul Add acot Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 x3 log Add acot Add 4 Add Mul Pow Mul atanh x6 -3 Add x0 5 x6 4 x3 x6 