Add cos Pow E x6 Pow Add atan x0 Pow Mul Pow Pow x0 acoth x0 x4 x0 Mul x7 x1 Mul -2 Mul x0 x0 
Mul Pow Add atan x0 Pow Mul Pow Pow x0 acoth x0 x4 x0 Mul x7 x1 Add Mul -2 Mul x0 x0 -1 Add Mul Mul -2 Mul x0 x0 Add Pow Add 1 Mul x0 x0 -1 Mul Pow Mul Pow Pow x0 acoth x0 x4 x0 Add Mul x7 x1 -1 Mul Mul x7 x1 Add Mul x0 Mul Pow Pow x0 acoth x0 Add x4 -1 Mul x4 Mul Pow x0 Add acoth x0 -1 Add acoth x0 Mul Mul x0 log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow x0 acoth x0 x4 Mul Mul Add atan x0 Pow Mul Pow Pow x0 acoth x0 x4 x0 Mul x7 x1 log Add atan x0 Pow Mul Pow Pow x0 acoth x0 x4 x0 Mul x7 x1 Mul -2 Add x0 x0 