Pow Pow x0 Pow Mul x3 -4 atanh acot Mul x3 x6 Mul x0 -4 
Mul Pow Pow x0 Pow Mul x3 -4 atanh acot Mul x3 x6 Add Mul x0 -4 -1 Add Mul Mul x0 -4 Mul Pow x0 Add Pow Mul x3 -4 atanh acot Mul x3 x6 -1 Pow Mul x3 -4 atanh acot Mul x3 x6 Mul Mul Pow x0 Pow Mul x3 -4 atanh acot Mul x3 x6 log Pow x0 Pow Mul x3 -4 atanh acot Mul x3 x6 -4 