Mul Mul Pow acoth exp x0 exp x0 E sinh x1 
Mul sinh x1 Mul E Mul Pow acoth exp x0 Add exp x0 -1 Add Mul exp x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Mul acoth exp x0 log acoth exp x0 exp x0 