Mul Pow Add x2 Add x0 pi Mul acosh x1 x0 exp Add sinh x0 x0 
Add Mul exp Add sinh x0 x0 Mul Pow Add x2 Add x0 pi Add Mul acosh x1 x0 -1 Add Mul acosh x1 x0 Mul Mul Add x2 Add x0 pi log Add x2 Add x0 pi acosh x1 Mul Pow Add x2 Add x0 pi Mul acosh x1 x0 Mul exp Add sinh x0 x0 Add cosh x0 1 