acot Add x7 Mul x4 Pow Mul -2 atanh x0 x5 
Mul -1 Mul Mul x4 Mul Pow Mul -2 atanh x0 Add x5 -1 Mul x5 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add x7 Mul x4 Pow Mul -2 atanh x0 x5 Add x7 Mul x4 Pow Mul -2 atanh x0 x5 -1 