Mul x0 Pow Mul E x0 Mul Mul cosh acosh sinh acoth pi -3 Mul 2 x5 
Add Pow Mul E x0 Mul Mul cosh acosh sinh acoth pi -3 Mul 2 x5 Mul x0 Mul Pow Mul E x0 Add Mul Mul cosh acosh sinh acoth pi -3 Mul 2 x5 -1 Mul Mul Mul cosh acosh sinh acoth pi -3 Mul 2 x5 E 