Mul Mul Add Mul -2 x0 x0 4 sinh acoth Pow x1 exp x0 
Add Mul sinh acoth Pow x1 exp x0 4 Mul Mul Add Mul -2 x0 x0 4 Mul cosh acoth Pow x1 exp x0 Mul Mul Pow x1 Add exp x0 -1 Mul Mul x1 log x1 exp x0 Pow Add 1 Mul -1 Mul Pow x1 exp x0 Pow x1 exp x0 -1 