sqrt Add acos E Mul Pow acosh pi Pow x5 x0 x0 
Mul Pow Mul 2 sqrt Add acos E Mul Pow acosh pi Pow x5 x0 x0 -1 Add Mul x0 Mul Pow acosh pi Add Pow x5 x0 -1 Mul Mul acosh pi log acosh pi Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow acosh pi Pow x5 x0 