Pow x0 Add Mul Mul Add Add x0 3 Add acot x0 x0 Mul 3 x0 x1 Pow x0 atanh x7 
Mul Pow x0 Add Add Mul Mul Add Add x0 3 Add acot x0 x0 Mul 3 x0 x1 Pow x0 atanh x7 -1 Add Add Mul Mul Add Add x0 3 Add acot x0 x0 Mul 3 x0 x1 Pow x0 atanh x7 Mul Mul x0 log x0 Add Mul x1 Add Mul Mul 3 x0 Add 1 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Add Add x0 3 Add acot x0 x0 3 Mul Pow x0 Add atanh x7 -1 atanh x7 