Add Pow Add Pow Pow acosh Mul x0 -5 cosh x0 pi -2 Add x4 x0 Mul x0 x0 
Add Mul Pow Add Pow Pow acosh Mul x0 -5 cosh x0 pi -2 Add Add x4 x0 -1 Add Mul Add x4 x0 Mul Pow Pow acosh Mul x0 -5 cosh x0 Add pi -1 Mul pi Mul Pow acosh Mul x0 -5 Add cosh x0 -1 Add Mul cosh x0 Mul -5 Pow Mul sqrt Add Mul x0 -5 -1 sqrt Add 1 Mul x0 -5 -1 Mul Mul acosh Mul x0 -5 log acosh Mul x0 -5 sinh x0 Mul Add Pow Pow acosh Mul x0 -5 cosh x0 pi -2 log Add Pow Pow acosh Mul x0 -5 cosh x0 pi -2 Add x0 x0 