Pow Add log Add 5 E Add Mul x0 x3 log x4 Pow acosh cosh pi Mul x0 Mul x0 x0 
Mul Pow Add log Add 5 E Add Mul x0 x3 log x4 Add Pow acosh cosh pi Mul x0 Mul x0 x0 -1 Add Mul Pow acosh cosh pi Mul x0 Mul x0 x0 x3 Mul Mul Add log Add 5 E Add Mul x0 x3 log x4 log Add log Add 5 E Add Mul x0 x3 log x4 Mul Pow acosh cosh pi Add Mul x0 Mul x0 x0 -1 Mul Mul acosh cosh pi log acosh cosh pi Add Mul x0 x0 Mul x0 Add x0 x0 