Mul Mul Pow x2 Pow x0 Mul pi Add exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 1 -5 x0 
Add Mul x0 Mul -5 Mul Pow x2 Add Pow x0 Mul pi Add exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 1 -1 Mul Mul x2 log x2 Mul Pow x0 Add Mul pi Add exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 1 -1 Add Mul pi Add exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 1 Mul Mul x0 log x0 Mul pi Mul exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 Mul -5 Mul 5 Mul Pow Pow acosh x0 x6 Add x0 -1 Add Mul x0 Mul Pow acosh x0 Add x6 -1 Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow acosh x0 x6 log Pow acosh x0 x6 Mul Pow x2 Pow x0 Mul pi Add exp Mul -5 Mul Pow Pow acosh x0 x6 x0 5 1 -5 