Add Pow x6 Pow Mul acot Mul x0 x0 exp Add 3 x0 Mul sinh x1 Mul -1 Add acoth E 1 Mul x0 5 
Add Mul Pow x6 Add Pow Mul acot Mul x0 x0 exp Add 3 x0 Mul sinh x1 Mul -1 Add acoth E 1 -1 Mul Mul x6 log x6 Mul Pow Mul acot Mul x0 x0 exp Add 3 x0 Add Mul sinh x1 Mul -1 Add acoth E 1 -1 Mul Mul sinh x1 Mul -1 Add acoth E 1 Add Mul exp Add 3 x0 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul acot Mul x0 x0 exp Add 3 x0 5 