Pow Mul x0 Mul x4 x0 cbrt Pow atanh x0 acoth Pow x7 x7 
Mul Pow Mul x0 Mul x4 x0 Add cbrt Pow atanh x0 acoth Pow x7 x7 -1 Add Mul cbrt Pow atanh x0 acoth Pow x7 x7 Add Mul x4 x0 Mul x0 x4 Mul Mul Mul x0 Mul x4 x0 log Mul x0 Mul x4 x0 Mul Pow Mul Mul 3 cbrt Pow atanh x0 acoth Pow x7 x7 cbrt Pow atanh x0 acoth Pow x7 x7 -1 Mul Pow atanh x0 Add acoth Pow x7 x7 -1 Mul acoth Pow x7 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 