Add Mul acot Pow Mul sin acoth E Mul x0 Add Mul x5 x6 x2 cosh E 5 x0 
Add Mul 5 Mul -1 Mul Mul Pow Mul sin acoth E Mul x0 Add Mul x5 x6 x2 Add cosh E -1 Mul cosh E Mul sin acoth E Add Mul x5 x6 x2 Pow Add 1 Mul Pow Mul sin acoth E Mul x0 Add Mul x5 x6 x2 cosh E Pow Mul sin acoth E Mul x0 Add Mul x5 x6 x2 cosh E -1 1 