Mul Pow x1 Mul x0 x5 Pow acosh Pow acosh cosh x0 x0 pi 
Add Mul Pow acosh Pow acosh cosh x0 x0 pi Mul Pow x1 Add Mul x0 x5 -1 Mul Mul x1 log x1 x5 Mul Pow x1 Mul x0 x5 Mul Pow acosh Pow acosh cosh x0 x0 Add pi -1 Mul pi Mul Mul Pow acosh cosh x0 Add x0 -1 Add Mul x0 Mul sinh x0 Pow Mul sqrt Add cosh x0 -1 sqrt Add 1 cosh x0 -1 Mul acosh cosh x0 log acosh cosh x0 Pow Mul sqrt Add Pow acosh cosh x0 x0 -1 sqrt Add 1 Pow acosh cosh x0 x0 -1 