Pow Add Mul x2 Pow x0 Mul x3 -3 x0 acot Pow Mul pi log sinh x6 E 
Mul Pow Add Mul x2 Pow x0 Mul x3 -3 x0 Add acot Pow Mul pi log sinh x6 E -1 Mul acot Pow Mul pi log sinh x6 E Add Mul x2 Mul Pow x0 Add Mul x3 -3 -1 Mul x3 -3 1 