Add Pow acosh pi Add Pow Mul x0 x2 x0 x1 Pow E Mul x3 x7 
Mul Pow acosh pi Add Add Pow Mul x0 x2 x0 x1 -1 Mul Mul acosh pi log acosh pi Mul Pow Mul x0 x2 Add x0 -1 Add Mul x0 x2 Mul Mul x0 x2 log Mul x0 x2 