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