atanh Add Pow x4 acoth Pow x6 Mul x1 x0 Mul cos x0 -4 
Mul Add Mul Pow x4 Add acoth Pow x6 Mul x1 x0 -1 Mul Mul x4 log x4 Mul Mul Pow x6 Add Mul x1 x0 -1 Mul Mul x6 log x6 x1 Pow Add 1 Mul -1 Mul Pow x6 Mul x1 x0 Pow x6 Mul x1 x0 -1 Mul -4 Mul -1 sin x0 Pow Add 1 Mul -1 Mul Add Pow x4 acoth Pow x6 Mul x1 x0 Mul cos x0 -4 Add Pow x4 acoth Pow x6 Mul x1 x0 Mul cos x0 -4 -1 