acot atanh Mul x0 acot Add x0 Pow x1 Add 5 x7 
Mul -1 Mul Mul Add acot Add x0 Pow x1 Add 5 x7 Mul x0 Mul -1 Pow Add 1 Mul Add x0 Pow x1 Add 5 x7 Add x0 Pow x1 Add 5 x7 -1 Pow Add 1 Mul -1 Mul Mul x0 acot Add x0 Pow x1 Add 5 x7 Mul x0 acot Add x0 Pow x1 Add 5 x7 -1 Pow Add 1 Mul atanh Mul x0 acot Add x0 Pow x1 Add 5 x7 atanh Mul x0 acot Add x0 Pow x1 Add 5 x7 -1 