Add Mul x0 Mul Pow Pow x4 x0 -3 acot atanh x0 0.766420936540880 
Add Mul Pow Pow x4 x0 -3 acot atanh x0 Mul x0 Add Mul acot atanh x0 Mul Pow Pow x4 x0 4 Mul -3 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow Pow x4 x0 -3 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul atanh x0 atanh x0 -1 