Pow x0 Pow Mul log Add -4 x2 cbrt acoth x0 3 
Mul Pow x0 Add Pow Mul log Add -4 x2 cbrt acoth x0 3 -1 Add Pow Mul log Add -4 x2 cbrt acoth x0 3 Mul Mul x0 log x0 Mul Pow Mul log Add -4 x2 cbrt acoth x0 2 Mul 3 Mul log Add -4 x2 Mul Pow Mul Mul 3 cbrt acoth x0 cbrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 