Mul acosh x1 Pow Add Pow x4 Add pi 2.18503986326152 x0 Mul E x0 
Mul acosh x1 Mul Pow Add Pow x4 Add pi 2.18503986326152 x0 Add Mul E x0 -1 Add Mul E x0 Mul Mul Add Pow x4 Add pi 2.18503986326152 x0 log Add Pow x4 Add pi 2.18503986326152 x0 E 