Pow acot Pow x0 pi Mul E Mul exp x0 acosh x1 
Mul Pow acot Pow x0 pi Add Mul E Mul exp x0 acosh x1 -1 Add Mul Mul E Mul exp x0 acosh x1 Mul -1 Mul Mul Pow x0 Add pi -1 pi Pow Add 1 Mul Pow x0 pi Pow x0 pi -1 Mul Mul acot Pow x0 pi log acot Pow x0 pi Mul E Mul acosh x1 exp x0 