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