Pow Mul Mul x0 x1 cosh acoth Mul Mul x0 -5 -3 -1 
Mul Pow Mul Mul x0 x1 cosh acoth Mul Mul x0 -5 -3 2 Mul -1 Add Mul cosh acoth Mul Mul x0 -5 -3 x1 Mul Mul x0 x1 Mul sinh acoth Mul Mul x0 -5 -3 Mul 8 Pow Add 1 Mul -1 Mul Mul Mul x0 -5 -3 Mul Mul x0 -5 -3 -1 