Mul Pow x0 sin acoth Pow Mul x0 x7 sin E pi 
Mul pi Mul Pow x0 Add sin acoth Pow Mul x0 x7 sin E -1 Add sin acoth Pow Mul x0 x7 sin E Mul Mul x0 log x0 Mul cos acoth Pow Mul x0 x7 sin E Mul Mul Pow Mul x0 x7 Add sin E -1 Mul sin E x7 Pow Add 1 Mul -1 Mul Pow Mul x0 x7 sin E Pow Mul x0 x7 sin E -1 