Pow Mul x0 acot x0 Add Mul tanh x7 Pow x0 Add x3 x7 -2 
Mul Pow Mul x0 acot x0 Add Add Mul tanh x7 Pow x0 Add x3 x7 -2 -1 Add Mul Add Mul tanh x7 Pow x0 Add x3 x7 -2 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul x0 acot x0 log Mul x0 acot x0 Mul tanh x7 Mul Pow x0 Add Add x3 x7 -1 Add x3 x7 