Mul Pow x7 acot Mul Add Pow acot x1 Pow Pow x6 x3 Pow x0 Mul pi Pow x3 -4 cosh E -5 x6 
Mul x6 Mul Pow x7 Add acot Mul Add Pow acot x1 Pow Pow x6 x3 Pow x0 Mul pi Pow x3 -4 cosh E -5 -1 Mul Mul x7 log x7 Mul -1 Mul Mul -5 Mul Pow acot x1 Add Pow Pow x6 x3 Pow x0 Mul pi Pow x3 -4 -1 Mul Mul acot x1 log acot x1 Mul Pow Pow x6 x3 Add Pow x0 Mul pi Pow x3 -4 -1 Mul Mul Pow x6 x3 log Pow x6 x3 Mul Pow x0 Add Mul pi Pow x3 -4 -1 Mul pi Pow x3 -4 Pow Add 1 Mul Mul Add Pow acot x1 Pow Pow x6 x3 Pow x0 Mul pi Pow x3 -4 cosh E -5 Mul Add Pow acot x1 Pow Pow x6 x3 Pow x0 Mul pi Pow x3 -4 cosh E -5 -1 